2116 search results - page 26 / 424 » On Probabilistic Alternating Simulations |
CONCUR
2003
Springer
14 years 3 months ago
2003
Springer
We establish that on the domain of probabilistic automata, the trace distribution precongruence coincides with the simulation preorder.
ASM
2010
ASM
14 years 3 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
DATE
2010
IEEE
13 years 6 months ago
2010
IEEE
Probabilistic CMOS is considered a promising technology for future generations of computing devices. By embracing possibly incorrect calculations, the technology makes it possible ...
QEST
2010
IEEE
13 years 8 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
WSC
2007
14 years 13 days ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...