105 search results - page 20 / 21 » Scheduling for Reliable Execution in Autonomic Systems |
IJES
2006
13 years 6 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
ICESS
2005
Springer
14 years 3 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
DSN
2008
IEEE
14 years 1 months ago
2008
IEEE
Latent sector errors in disk drives affect only a few data sectors. They occur silently and are detected only when the affected area is accessed again. If a latent error is detect...