Sciweavers

22 search results - page 1 / 5
» qest 2006
Sort
View
QEST
2006
IEEE
15 years 11 months ago
Lumping Markov Chains with Silent Steps
Jasen Markovski, Nikola Trcka
134
Voted
QEST
2006
IEEE
15 years 11 months ago
Traviando - Debugging Simulation Traces with Message Sequence Charts
Peter Kemper, Carsten Tepper
122
Voted
QEST
2006
IEEE
15 years 11 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker
135
Voted
QEST
2006
IEEE
15 years 11 months ago
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors
Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, C...