Вы здесь

Главная

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

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

Mixing Scheduling Policies in Ada
Moby/DC - A Tool for Model-Checking Parametric Real-Time Specifications
Model-Based Adaptivity in Real-Time Scheduling
Model-checking for Probabilistic Real-time Systems
Model-Checking for Real-Time Systems
Model-Checking for Real-Time Systems Specified in Lotos
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software
Model-Checking of Specifications Integrating Processes, Data and Time
Model Checking Real-Time Properties of Symmetric Systems
Modeling and Analysing DART Systems Through High-Level Petri Nets
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components
Modeling Hard Real Time Systems with UML - The OOHARTS Approach
Modeling Real-Time in Concurrent Constraint Programming
Modeling Real-Time Systems - Challenges and Work Directions
Modeling Real-Time Systems with Continuous-Time Temporal Logic
Modular Abstractions for Verifying Real-Time Distributed Systems
Modular Composing High-Performance Real-Time Rendering Software
Motion in Game: Proc./Third International Conference, MIG 2010, Utrecht, The Netherlands, November 2010
Motion in Games: Proc./4th International Conference, MIG 2011, Edinburgh, UK, November 2011
Multi-agent Real-time 2D Tracking in Robot Vision
Multiclass Transaction Scheduling and Overload Management in Firm Real-Time Database Systems
Multiple Agent Hybrid Control Architecture
Multiprocessor Real-Time Threads
Music Technology with Swing: Revised Selected Papers/13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 2017
Networks of Real-Time Processes
Network Topology and a Case Study in TCOZ
Neural Networks for Parallel Contrast Enhancement in Medical Images
New Applications for Group Computing
New Operators for the TURTLE Reat-Time UML Profile
Object-Oriented Abstractions for Real-Time Distributed Systems
Object-Oriented Design in Real-Time Embedded Robot Control Software
Object-Oriented Development of Real-Time Systems: Verification of Functionality and Performance
Object-Oriented Logical Specification of Time-Critical Systems
Object Oriented Programming Facilities in Ada 9X
Object-Oriented Programs in Realtime
Object-Oriented Real-Time Programming in Concurrent Process Language
Objects in Real-Time Systems: Issues for Language Implementors
Object Technologies and Real-Time Scheduling
One Pass Real-Time Generational Mark-Sweep Garbage Collection
On Per-session End-to-end Delay Distributions and the Call Admission Problem for Real-time Applications with QOS Requirements
On Predicting Data Cache Behavior for Real-Time Systems
On Real-Time Program Specification Description with a Data Model-Based Language
On Satisfying Timing Constraints in Hard-Real-Time Systemes
On the Synthesis of Discrete Controllers for Timed Systems
Operatiional semantics of a kernel of the language ELECTRE
Optimal Design of Fault-Tolerant Soft-Real-Time Systems with Imprecise Computations
Optimality and Non-Preemptive Real-Time Scheduling Revisited
Optimistic Concurrency Control Algorithm with Dynamic Serialization Adjustment for Firm Deadline Real-Time Database Systems
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version
Optimization of Rule-Based Systems Using State Space Graphs