3387 search results - page 56 / 678 » Model-Checking for Real-Time Systems |
EMSOFT
2003
Springer
2003
Springer
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
14 years 26 days ago
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
RTAS
2002
IEEE
14 years 17 days ago
2002
IEEE
Dynamic voltage scaling (DVS) is an effective low-power design technique for embedded real-time systems. In recent years, many DVS algorithms have been proposed for reducing the e...
WORDS
2002
IEEE
14 years 16 days ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
In a real-time system, tasks are constrained by global endto-end (E-T-E) deadlines. In order to cater for high task schedulability, these deadlines must be distributed over compon...
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
We consider the problem of implementing shared objects in uniprocessor and multiprocessor real-time systems in which tasks are executed using a scheduling quantum. In most quantum...