1453 search results - page 36 / 291 » Scheduling for Embedded Real-Time Systems |
RTAS
2000
IEEE
15 years 2 months ago
2000
IEEE
MACH
1990
14 years 11 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
141
click to vote
FASE
2004
Springer
15 years 1 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...