Вы здесь

Главная

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

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

REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени
Real Space Process Algebra
Real-Time and Embedded Computing Systems and Applications: Revised Papers/9th International Conference, RTCSA 2003. Tainan City,Taiwan,ROC,February 2003
Real-Time and Mu-Calculus (Preliminary Report)
(Real) Time: A Philosophical Perspective
Real-Time Calculi and Expansion Theorems
Real-Time Constraints Through trhe ProCoS Layers
Real-Time Extreme Programming
Real-time Fault Diagnosis-Using Occupancy Grids and Neural Network Techniques
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time
Real-Time Model-Checking: Parameters Everywhere
Real-Time Object-Oriented Distributed Processing with COREMO
Real-Time Operating Systems: Problems and Novel Solutions
Real-Time Process Algebra and Its Applications
Real-Time Programming in Common Lisp
Real-Time Refinement
Real-Time Refinement: Semantics and Application
Real-Time Replication Garbage Collection
Real Time Simulation in a Cluster Computing Environment
Real Time Systems: A Tutorial
Real-Time Systems Development with Duration Calculi: An Overview
Real-Time System Verification using P/T Nets
Real Time Temporal Logic: Past, Present, Future
Real-Time: Theory in Practice: Proc./REX Workshop. Mook, The Netherlands, June 1991
Real-Time Threads
Real-Time Transaction Scheduling: A Cost Conscious Approach
Real-Time UML
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
Real: Методология и CASE-средство разработки информационных систем и программного обеспечения систем реального времени
REAL: язык для спецификации и верификации систем реального времени
Reasoning about Durations in Metric Temporal Logic
Reasoning about Non-terminating Loops Using Deadline Commands
Recent Advances in Reinforcement Learning: Revised Selected Papers/9th European Workshop, EWRL 2011, Athens, Greece, September 2011
Recovery Mechanism in Real-Time Main Memory Database System by Partitioning Technique
Refinement Rules for Real-Time Multi-tasking Programs
Reflective Real-Time Object-Oriented Programming and Systems
Rehost of a Real-Time Interrupt-Driven Simulation onto a DOS/PC/ADA Environment Using OOD
Reliable Software Technologies - Ada-Europe 2015: Proc./20th Ada-Europe International Conference on RST, Madrid, Spain, June 2015
Reliable Systems on Unreliable Networked Platforms: Revised Selected Papers/12th Monterey Workshop 2005. Laguna Beach, CA, USA, September 2005
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
Replication-Based Incremental Copying Collection
Requirements-based Monitors for Real-Time Systems
Resolving Executing - Committing Conflicts in Distributed Real-time Database Systems
Reusable Real-Time Executive in Ada
Reusable Software Components and Executives for Real Time Systems
Re-usable Software Design for Programmable Logic Controllers
RISA: Object-Oriented Modeling and Simulation of Real-Time Distributed System for Air Defense
Robots: A Real-Time Systems Architectural Style
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System
RTL and Refutation by Positive Cycles