Вы здесь

Главная

реальное время

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

16th World Computer Congress 2000. Proc. of Conference on Software: Theory and Practice
Abdominal Imaging. Computational and Clinical Applications: Revised Selected Papers/3rd International Workshop, Held in Conjunction with MICCAI 2011, Toronto,ON,Canada, September 2011
Abstraction in Real Time Process Algebra
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST
A Case Study in Quantitative Evaluation of Real-Time Software Architectures
Achieving Bounded and Predictable Recovery using Real-Time Logging
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for Ada95 and C++ Targets
A COBRA Compliant Real-Time Multimedia Platform for Broadband Networks
A Colored Petri Net Model for a Naval Command and Control System
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for JavaTM
A Component Based Real-Time Scheduling Architecture
A Compositional Approach to the Design of Hybrid Systems
A Computational and Engineering View on Open Distributed Real-Time Multimedia Exchange
A Continuous Media Data Transport Service and Protocol for Real-Time Communication in High Speed Networks
A CSP View on UML-RT Structure Diagrams
Action Transducers and Timed Automata
Activation-Oriented Specification of Real-Time Systems
Active, Real-Time, and Temporal Database Systems: Proc./Second Intern. Workshop, ARTDB-97. Como, Italy, September 1997
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Adaptive Real-Time Resource Management Supporting Modular Composition of Digital Multimedia Services
Adaptive Scheduling Using Reflection
Ada Real-Time Systems and Basic Priority Inheritance
Adding Real-Time Capabilities to Java
Adding Real Time to Formal Program Development
A Denotational Real-Time Semantics for Shared Processors
A Development Environment for Complex Distributed Real-Time Applications
A Distributed Real-Time Main-Memory Database for Telecommunication
Advanced Intelligent Computing. Theories and Applications. With Aspects of Artificial Intelligence: Revised Selected Papers/7th International Conference, ICIC 2011, Zhengzhou, China, August 2011
Advances in Computing Science - ASIAN 97: Proc./Third Asian Computing Science Conf. Kathmandu, Nepal, December 1997
Advances in Computing Science - ASIAN 99: Proc./5th Asian Computing Science Conf. Phuket, Thailand, December 1999
A Fault-Tolerant Dynamic Scheduling Algorithm for Multiprocessor Real-Time Systems and Its Analysis
A File System for Continuous Media
A Formal Definition of Priority in CSP
A Formal Framework for ASTRAL Inter-level Proof Obligations
A Formalism for Real-Time Concurrent Object-Oriented Computing
A Formalism for Remotely Interacting Processes
A Formal Method for Building Concurrent Real-Time Software
A Formal Model of Real-Time Program Compilation
A Formal Proof of the Deadline Driven Scheduler
A Formal Specification of the Process Trellis
A Fuzzy Logic Approach for Sensor Validation in Real Time Expert Systems
A Garbage Collector for the Concurrent Real-Time Language Erlang
A General Approach for the Specification of Real-Time Systems with SDL
A General Resource Framework for Real-Time Systems
A Guided Method for Testing Timed Input Output Automata
A Hierarchical Framework for Component-Based Real-Time Systems
A Hierarchical Interconnection Network for Real Time Distributed Multiprocessor Architectures
A High Performance 32-Bit Microcontroller for Realtime Applications
A High-Performance Hardware-Assisted Real-Time Garbage Collection System
A Kahn Principle for Networks of Nonmonotonic Real-time Processes