Sciweavers

22 search results - page 1 / 5

» qest 2006

15

QEST
2006
IEEE

80views Modeling and Simulation» more QEST 2006»

Lumping Markov Chains with Silent Steps

14 years 8 days ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

10

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

14 years 8 days ago

Long-Range Dependence at the Disk Drive Level

Download www.cs.wm.edu

Alma Riska, Erik Riedel

claim paper

Read More »

13

QEST
2006
IEEE

66views Modeling and Simulation» more QEST 2006»

Traviando - Debugging Simulation Traces with Message Sequence Charts

14 years 8 days ago

Traviando - Debugging Simulation Traces with Message Sequence Charts

Download www.cs.wm.edu

Peter Kemper, Carsten Tepper

claim paper

Read More »

19

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

14 years 8 days 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 »

16

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

14 years 8 days 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 »