Sciweavers

22 search results - page 1 / 5

» qest 2006

97

QEST
2006
IEEE

80views Modeling and Simulation» more QEST 2006»

Lumping Markov Chains with Silent Steps

15 years 9 months ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

87

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

15 years 9 months ago

Long-Range Dependence at the Disk Drive Level

Download www.cs.wm.edu

Alma Riska, Erik Riedel

claim paper

Read More »

119

QEST
2006
IEEE

66views Modeling and Simulation» more QEST 2006»

Traviando - Debugging Simulation Traces with Message Sequence Charts

15 years 9 months ago

Traviando - Debugging Simulation Traces with Message Sequence Charts

Download www.cs.wm.edu

Peter Kemper, Carsten Tepper

claim paper

Read More »

109

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

15 years 9 months ago

Game-based Abstraction for Markov Decision Processes

Download qav.comlab.ox.ac.uk

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

118

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

15 years 9 months ago

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

Download www.ics.forth.gr

Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, C...

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »