487 search results - page 36 / 98 » Implementation Correctness of a Real-Time Operating System |
125
click to vote
SIGMETRICS
2010
ACM
15 years 7 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
121
Voted
SRDS
2000
IEEE
15 years 6 months ago
2000
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg [2] as a mechanism that provides information about process failures. Depending on the properties the...
106
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
112
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
— Time-interleaved (TI) analog-to-digital converters (ADCs) are a promising architecture for realizing the highspeed ADCs required to implement “mostly digital” receivers for...
129
click to vote
CCS
1994
ACM
15 years 6 months ago
1994
ACM
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...