Вы здесь

Главная

встроенный

Связанные издания:

Experiences Structuring Software in a Periodic Real-time Environment
Extending Commonality Analysis for Embedded Control System Families
Extending the Ada95 Initial Conditions for Preelaboration for use in Real-Time Systems
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems
Fault-Tolerance in Embedded Real-Time Systems
Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures
FICO: A Fast Instruction Cache Optimizer
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors
FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006
Formal Design and Verification of Real-Time Embedded Software
Formalizing Software Architectures for Embedded Systems
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
Formal Modeling and Analysis of Timed Systems: Proc./Third International Conference, FORMATS 2005. Uppsala, Sweden, September 2005
Formal Semantics for Ward & Mellor s Transformation Schemas and the Specification of Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proc./5th Intern. Symp., FTRTFT 98. Lyngby, Denmark, September 1998
From Requuirements to Validated Embedded Systems
Generative Programming for Embedded Software: An Industrial Experience Report
Generative Programming for Embedded Systems
Generators for Synthesis of QoS Asaptation in Distributed Real-Time Embedded Systems
Giotto: A Time-Triggered Language for Embedded Programming
Guidelines for Embedded Software Documentation
HAMLET: HPCN Technology for Real-Time, Embedded Applications
Hardware and Software: Verification and Testing: Proc./4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 2008
Hardware and Software Verification and Testing: Revised Selected Papers/Fist International Haifa Verification Conference. Haifa, Israel, November 2005
Hardware/Software Embedded System Specification and Design Using Ada and VHDL
Heterogeneous Modeling Support for Embedded Systems Design
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
Hierarchical Hybrid Modeling of Embedded Systems
High Availability in a Real-Time System
High Performance Computing and Communications: Proc./First International Conference, HPCC 2005. Sorrento, Italy, September 2005
High Performance Embedded Architectures and Compilers: Proc./First International Conference, HiPEAC 2005. Barcelona, Spain, November 2005
High-Performance Embedded Software Architectures and Compilers: Proc./Third International Conference, HiPEAC 2008. Goeteborg, Sweden, January 2008
Hume: A Domain-Specific Language for Real-Time Embedded Systems
Hw/Sw Codesign of Embedded Systems
Hybrid Atomicity for Nested Transactions
Hybridization methods for the analysis of nonlinear systems
Implementing a Real-Time, Embedded, Telecommunication Switching System in Smalltalk
Implementing Embedded Valid Time Query Languages
Inductrial Requirements on Component Technologies for Embedded Systems
Industrial Requirements for the Efficient Development of Reliable Embedded Systems
Instrumentation of Synchronous Reactive Models for Performance Engineering
Integrated Circuit and System Design: Power Timing Modeling, Optimization and Simulation: Proc./ 15th International Workshop, PATMOS 2005. Leuven, Belgium, September 2005
Integrated Formal Methods: Proc./5th International Conference, IFM 2005. Eindhoven,The Netherlands,November 2005
Integrating Software Engineering Technologies for Embedded Systems Development
Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation
Interducing a Component Technology for Safety Critical Embedded Real-Time Systems
Introducing Product lines in Small Embedded Systems
Introduction to Self-adaptive Software: Applications
Java Intermediate Bytecodes
KITSS: Using Knowledge-Based Software Enginnering for Functional Testing