1453 search results - page 84 / 291 » State and history in operating systems |
148
Voted
FBT
2000
15 years 1 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
110
click to vote
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
Target tracking is an important application of wireless sensor networks. In this application, the sensor nodes collectively monitor and track the movement of an event or target ob...
105
Voted
SOSP
2003
ACM
15 years 9 months ago
2003
ACM
We describe a new architecture for Byzantine fault tolerant state machine replication that separates agreement that orders requests from execution that processes requests. This se...
109
Voted
ICALP
1992
Springer
15 years 4 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
109
click to vote
WADT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...