487 search results - page 56 / 98 » Implementation Correctness of a Real-Time Operating System |
140
click to vote
HYBRID
1998
Springer
15 years 6 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
139
click to vote
AHS
2006
IEEE
15 years 8 months ago
2006
IEEE
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...
PODC
2010
ACM
15 years 6 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...
124
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
127
click to vote
ISLPED
2005
ACM
15 years 8 months ago
2005
ACM
The rate at which a digital signal processing (DSP) system operates depends on the highest frequency component in the input signal. DSP applications must sample their inputs at a ...