487 search results - page 72 / 98 » Implementation Correctness of a Real-Time Operating System |
124
Voted
CISS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
104
Voted
GC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
131
click to vote
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
150
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
108
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...