Sciweavers

4341 search results - page 16 / 869
» Quantitative Model checking
Sort
View
93
Voted
QEST
2009
IEEE
15 years 9 months ago
An Introduction to Monte Carlo Methods and Rare Event Simulation
Gerardo Rubino, Bruno Tuffin
90
Voted
QEST
2009
IEEE
15 years 9 months ago
Petri Net Analysis Using Decision Diagrams
Gianfranco Ciardo
88
Voted
QEST
2006
IEEE
15 years 8 months ago
Lumping Markov Chains with Silent Steps
Jasen Markovski, Nikola Trcka
79
Voted
QEST
2006
IEEE
15 years 8 months ago
Long-Range Dependence at the Disk Drive Level
Alma Riska, Erik Riedel