Sciweavers

22 search results - page 1 / 5
» qest 2006
Sort
View
QEST
2006
IEEE
16 years 1 months ago
Lumping Markov Chains with Silent Steps
Jasen Markovski, Nikola Trcka
133
Voted
QEST
2006
IEEE
16 years 1 months ago
Long-Range Dependence at the Disk Drive Level
Alma Riska, Erik Riedel
174
Voted
QEST
2006
IEEE
16 years 1 months ago
Traviando - Debugging Simulation Traces with Message Sequence Charts
Peter Kemper, Carsten Tepper
QEST
2006
IEEE
16 years 1 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker
167
Voted
QEST
2006
IEEE
16 years 1 months ago
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors
Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, C...