Sciweavers

22 search results - page 1 / 5

» qest 2006

11

QEST
2006
IEEE

80views Modeling and Simulation» more QEST 2006»

Lumping Markov Chains with Silent Steps

13 years 11 months ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

9

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

13 years 11 months ago

Long-Range Dependence at the Disk Drive Level

Download www.cs.wm.edu

Alma Riska, Erik Riedel

claim paper

Read More »

12

QEST
2006
IEEE

66views Modeling and Simulation» more QEST 2006»

Traviando - Debugging Simulation Traces with Message Sequence Charts

13 years 11 months ago

Traviando - Debugging Simulation Traces with Message Sequence Charts

Download www.cs.wm.edu

Peter Kemper, Carsten Tepper

claim paper

Read More »

15

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

13 years 11 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 »

14

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

13 years 11 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 »