QEST 2007 - PDF Preprint Papers

QEST 2007 International Conference on Quantitative Evaluation of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed QEST-2007 Paper

click to vote

QEST
2007
IEEE

198views Modeling and Simulation» more QEST 2007»

Cluster Grid based Response-time analysis module for the PIPE Tool

14 years 6 months ago

Download pubs.doc.ic.ac.uk

Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...

Harini Kulatunga, Ashok Argent-Katwala, William J....

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	198	Cluster Grid based Response-time analysis module for the PIPE Tool	claim
2	167	Symbolic Bisimulations for Probabilistic Systems	claim
3	156	A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor	claim
4	142	A business-oriented load dispatching framework for online auction sites	claim
5	134	Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior	claim
6	132	Performance Trees: Expressiveness and Quantitative Semantics	claim
7	128	The PEPA Plug-in Project	claim
8	125	Probabilistic Model-Checking Support for FMEA	claim
9	123	Model checking the probabilistic pi-calculus	claim
10	121	Stochastic Game Logic	claim
11	116	Qualitative Logics and Equivalences for Probabilistic Systems	claim
12	115	Probabilistic Model Checking Modulo Theories	claim
13	113	A Performance Analysis Tool for Scenario-Aware Streaming Applications	claim
14	112	Distritrack: Automated Average-Case Analysis	claim
15	110	A Productivity Centered Tools Framework for Application Performance Tuning	claim
16	103	GRIP: Generic Representatives in PRISM	claim
17	90	A Generic Mean Field Convergence Result for Systems of Interacting Objects	claim
18	90	A framework to design and solve Markov Decision Well-formed Net models	claim
19	74	Interchange Formats for Performance Models: Experimentation and Ouput	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers