QEST 2010 - PDF Preprint Papers

QEST 2010 International Conference on Quantitative Evaluation of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed QEST-2010 Paper

click to vote

QEST
2010
IEEE

182views Modeling and Simulation» more QEST 2010»

Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

13 years 10 months ago

Download faculty.ece.illinois.edu

Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...

Jayanand Asok Kumar, Shobha Vasudevan

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	182	Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs	claim
2	170	Canonical Form Based MAP(2) Fitting	claim
3	170	Compositional Verification of Probabilistic Systems Using Learning	claim
4	155	Abstraction and Model Checking in the PEPA Plug-In for Eclipse	claim
5	154	Automating the Mean-Field Method for Large Dynamic Gossip Networks	claim
6	154	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems	claim
7	147	The Measurable Space of Stochastic Processes	claim
8	146	Information Hiding in Probabilistic Concurrent Systems	claim
9	146	On the Theory of Stochastic Processors	claim
10	140	DTMC Model Checking by SCC Reduction	claim
11	139	Reasoning about MDPs as Transformers of Probability Distributions	claim
12	137	Fortuna: Model Checking Priced Probabilistic Timed Automata	claim
13	127	p-Automata: New Foundations for Discrete-Time Probabilistic Verification	claim
14	127	Timed Branching Processes	claim
15	127	Rare Event Simulation for Highly Dependable Systems with Fast Repairs	claim
16	124	A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue	claim
17	124	A Prediction Model for Software Performance in Symmetric Multiprocessing Environments	claim
18	123	From Systems to Components: Constructive Methods for Product-Form Solutions	claim
19	118	Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers