1180 search results - page 2 / 236 » Alternating Simulation and IOCO |
CAL
2010
13 years 4 months ago
2010
Address translation often emerges as a critical performance bottleneck for virtualized systems and has recently been the impetus for hardware paging mechanisms. These mechanisms ap...
PADS
2006
ACM
14 years 1 months ago
2006
ACM
QEST
2005
IEEE
14 years 29 days ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
ISQED
2006
IEEE
14 years 1 months ago
2006
IEEE
Probabilistic system simulations for analog circuits have traditionally been handled with Monte Carlo analysis. For a manufacturable design, fast and accurate simulations are nece...