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 11 days ago

Lumping Markov Chains with Silent Steps

Download www.win.tue.nl

Jasen Markovski, Nikola Trcka

claim paper

Read More »

11

QEST
2006
IEEE

71views Modeling and Simulation» more QEST 2006»

Long-Range Dependence at the Disk Drive Level

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

17

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

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