206 search results - page 11 / 42 » Probabilistic Analysis of Large Finite State Machines |
121
click to vote
ICMLA
2010
14 years 9 months ago
2010
Quantum systems are promising candidates of future computing and information processing devices. In a large system, information about the quantum states and processes may be incomp...
ISSTA
1998
ACM
15 years 3 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
105
click to vote
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
100
click to vote
SIGCOMM
2006
ACM
15 years 5 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...