1453 search results - page 250 / 291 » State and history in operating systems |
GIS
2010
ACM
14 years 11 months ago
2010
ACM
This paper proposes an efficient, decentralized algorithm for determining the topological relationship between two regions monitored by a geosensor network. Many centralized algo...
102
click to vote
FAST
2009
14 years 10 months ago
2009
Fault-tolerant services typically make assumptions about the type and maximum number of faults that they can tolerate while providing their correctness guarantees; when such a fau...
160
click to vote
VEE
2012
ACM
13 years 8 months ago
2012
ACM
Checkpoint-recovery based virtual machine (VM) replication is an attractive technique for accommodating VM installations with high-availability. It provides seamless failover for ...
113
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
100
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...