Sciweavers

20126 search results - page 287 / 4026
» Timed Transition Systems
Sort
View
HASE
2002
IEEE
15 years 9 months ago
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems
We present two classes of distributed algorithms called DRBA and DOBA, for decentralized, proactive resource allocation in asynchronous real-time distributed systems. The objectiv...
Tamir Hegazy, Binoy Ravindran
DAC
1999
ACM
15 years 9 months ago
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
Youngsoo Shin, Kiyoung Choi
RTSS
1998
IEEE
15 years 9 months ago
Integrating Multimedia Applications in Hard Real-Time Systems
This paper focuses on the problem of providing efficient run-time support to multimedia applications in a real-time system, where two types of tasks can coexist simultaneously: mu...
Luca Abeni, Giorgio C. Buttazzo
BIRTHDAY
2006
Springer
15 years 8 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
DSRT
2008
IEEE
15 years 6 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...