Вы здесь

Главная

встроенный

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

A 100% Portable Inline-Debugger
A Compositional Real-Time Semantics of STATEMATE Designs
Ada Meets Giotto
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Advances in Computer Systems Architecture: Proc./9th Asia-Pacific Conference, ACSAC 2004. Beijing, China, September 2004
Advances in Computing Science - ASIAN 99: Proc./5th Asian Computing Science Conf. Phuket, Thailand, December 1999
A Family-Oriented Software Development Process for Engine Controllers
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems
A Framework for Architectural Description of Embedded System
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Pragrams
Algorithms and Discrete Applied Mathematics: Proc./3rd International Conference, CALDAM 2017, Sancoale, Goa, India, February 2017
A Methodology and Toolset for the Design of Parallel Embedded Systems
A Model Based Development Approach for Distributed Embedded Systems
An Ada95 Solution for Certification of Embedded Safety Critical Applications
An Approach to Designing Safe Embedded Software
An Efficient Data Partitioning Method for Limited Memory Embedded Systems
An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation
A Nested-Graph Model for the Representation and Manipulation of Complex Objects
An Object-Oriented Methodology for Embedded Real-time Systems
An Operational Semantics for Stateflow
An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems
An Overview of Compositional Translations
An Overview of Real-Time Issues and Ada
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
APL as an Embedded Language: The Ultimate Application?
Architecture Based Model Driven Software and System Development for Real-Time Embedded Systems
A Real Time Fault Tolerant Microprocessor Based On-Board Computer System for INSAT-2 Spacecraft
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties
A Scalable Nonuniform Pointer Analysis for Embedded Systems
A Simple Testing Technique for Embedded Systems
A Software Bus as a Platform for a Family of Distributed Embedded System Products
A Symbolic Debugger for Real-time Embedded Ada Software
A Systematic Kernel Development
A Three-Tier Design Approach for a Family of Large AC Drive Control Systems
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
A User Guide to HyTech
Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005
Automatic Customization og Embedded Applications for Enhanced Performance and Reduced Power Using Optimizing Compiler Techniques
Autonomic and Trusted Computing: Proc./4th International Conference, ATC 2007. Hong Kong, China, July 2007
Behaviour Analysis and Safety Conditions: A Case Study in CML
Building Tailorable Hypermedia Systems: The Embedded-Interpreter Approach
Built-In Self-Test for Digital Integrated Circuits
Built-in Self-Testing of Random-Access Memories
Built-In Seltt-Test in a 24 Bit Floatiog Point Digital Signal Processor
COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded Systems for Low Overhead Fault Tolerance
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
Compiler-Based Code Partitioning for Intelligent Embedded Disk Processing
Compiling Embedded Languages
Compiling Embedded Programs to Byte Code