367 search results - page 19 / 74 » Executable Specifications for Real-Time Distributed Systems |
173
Voted
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Prior work has shown that the global earliest-deadline-first (GEDF) scheduling algorithm ensures bounded deadline tardiness on multiprocessors with no utilization loss; therefore...
186
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
Power aware computing has become popular recently and many techniques have been proposed to manage the energy consumption for traditional real-time applications. We have previousl...
161
Voted
RTSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
171
Voted
ECOOP
2006
Springer
15 years 8 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 ...
154
Voted
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...