Search Sciweavers | Sciweavers

305 search results - page 10 / 61

» A model for quantitative evaluation of an end-to-end questio...

click to vote

QEST
2008
IEEE

70views Modeling and Simulation» more QEST 2008»

Regular Expressions for PCTL Counterexamples

14 years 2 months ago

Download www.mimuw.edu.pl

Berteun Damman, Tingting Han, Joost-Pieter Katoen

claim paper

Read More »

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

14 years 2 months ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

click to vote

QEST
2006
IEEE

93views Modeling and Simulation» more QEST 2006»

Game-based Abstraction for Markov Decision Processes

14 years 2 months ago

Download qav.comlab.ox.ac.uk

Marta Z. Kwiatkowska, Gethin Norman, David Parker

claim paper

Read More »

click to vote

QEST
2006
IEEE

77views Modeling and Simulation» more QEST 2006»

PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors

14 years 2 months ago

Download www.ics.forth.gr

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

claim paper

Read More »

click to vote

QEST
2005
IEEE

86views Modeling and Simulation» more QEST 2005»

A Software Performance Engineering Tool based on the UML-SPT

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers