7311 search results - page 205 / 1463 » Time in State Machines |
213
click to vote
ICMLA
2010
15 years 5 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...
183
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
172
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
For simulation, a tradeoff exists between speed and accuracy. The more instructions simulated from the workload, the more accurate the results — but at a higher cost. To reduce ...
171
Voted
INFOCOM
2002
IEEE
16 years 23 hour ago
2002
IEEE
— This paper deals with the performance modeling of the various MAC states as defined by the cdma2000 protocol. Our method uses a composite performance metric which has the capa...
209
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...