13917 search results - page 91 / 2784 » Abstraction of Probabilistic Systems |
151
click to vote
ARTS
1999
Springer
15 years 2 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
CASES
2006
ACM
15 years 1 months ago
2006
ACM
Probabilistic arithmetic, where the ith output bit of addition and multiplication is correct with a probability pi, is shown to be a vehicle for realizing extremely energy-efficie...
RSP
2008
IEEE
15 years 4 months ago
2008
IEEE
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
