7311 search results - page 92 / 1463 » Time in State Machines |
130
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
137
click to vote
MSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Disk drives are now available with capacities on the order of hundreds of gigabytes. What has not become available is an easy way to manage storage. With installed machines locate...
110
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
126
click to vote
TCAD
1998
15 years 3 months ago
1998
—New methods for fault-effect propagation and state justification that use finite-state-machine sequences are proposed for sequential circuit test generation. Distinguishing se...
