1105 search results - page 65 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
DSRT
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
ECOOP
2006
Springer
13 years 10 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...