Sciweavers

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