| Applications ILTIS - The Legacy of a Successful Product A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle An Ada Framework for QoS-Aware Applications Design and Scheduling Issues Efficient Alternatives for Implementing Fixed-Priority Schedulers A New Strategy for the HRT-HOOD to Ada Mapping Using the AADL to Describe Distributed Applications from Middleware to Software Components Formal Methods Extending Ravenscar with CSP Channels Dynamc Iasics venncataon wxm VuASAR Proving Functional Equivalence for Program Slicing in SPARKTM Ada and Education Teaching Software Engineering with Ada 95 A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM Certification and Verification Smart Certification of Mixed Criticality Systems Non-intrusive System Level Fault-Tolerance Distributed Systems Observing the Development of a Reliable Embedded System RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet Distributing Criticality Across Ada Partitions Language Issues The Implementation of Ada 2005 Interface Types in the GNAT Compiler integrating Application- Defined Scheduling with the New Dispatching Policies for Ada Tasks The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95 Ravenscar Technology |
内容加载中，请稍后...
商品评论（0条）