Sciweavers

22 search results - page 1 / 5

» qest 2006

119

Voted

QEST
2006
IEEE

80views Modeling and Simulation» more QEST 2006»

Lumping Markov Chains with Silent Steps

15 years 12 months ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

116

Voted

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

15 years 12 months ago

Long-Range Dependence at the Disk Drive Level

Download www.cs.wm.edu

Alma Riska, Erik Riedel

claim paper

Read More »

144

QEST
2006
IEEE

66views Modeling and Simulation» more QEST 2006»

Traviando - Debugging Simulation Traces with Message Sequence Charts

15 years 12 months ago

Traviando - Debugging Simulation Traces with Message Sequence Charts

Download www.cs.wm.edu

Peter Kemper, Carsten Tepper

claim paper

Read More »

133

Voted

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

15 years 12 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 »

144

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

15 years 12 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 »