Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

076952883x, 9780769528830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The ipclib PEPA Library

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.20 ◽

2007 ◽

Cited By ~ 8

Author(s):

Allan Clark

Download Full-text

Fourth International Conference on the Quantitative Evaluation of Systems-TOC

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.6 ◽

2007 ◽

Keyword(s):

Quantitative Evaluation ◽

International Conference

Download Full-text

Symbolic Bisimulations for Probabilistic Systems

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.11 ◽

2007 ◽

Cited By ~ 5

Author(s):

Peng Wu ◽

Catuscia Palamidessi ◽

Huimin Lin

Keyword(s):

Probabilistic Systems

Download Full-text

A Productivity Centered Tools Framework for Application Performance Tuning

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.14 ◽

2007 ◽

Cited By ~ 13

Author(s):

H. Wen ◽

S. Sbaraglia ◽

S. Seelam ◽

I. Chung ◽

G. Cong ◽

...

Keyword(s):

Performance Tuning ◽

Application Performance

Download Full-text

A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.29 ◽

2007 ◽

Author(s):

Girish B.C. ◽

R. Govindarajan

Keyword(s):

Petri Net ◽

Network Processor ◽

Packet Buffering

Download Full-text

Qualitative Logics and Equivalences for Probabilistic Systems

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.15 ◽

2007 ◽

Author(s):

Luca de Alfaro ◽

Krishnendu Chatterjee ◽

Marco Faella ◽

Axel Legay

Keyword(s):

Probabilistic Systems

Download Full-text

Relations in the Central Limit Theorem Version of the Response Time Law

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.12 ◽

2007 ◽

Cited By ~ 3

Author(s):

Takayuki Osogami

Keyword(s):

Central Limit Theorem ◽

Limit Theorem ◽

Response Time ◽

Central Limit ◽

The Central Limit Theorem

Download Full-text

Probabilistic Model Checking Modulo Theories

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.10 ◽

2007 ◽

Cited By ~ 13

Author(s):

Bjorn Wachter ◽

Lijun Zhang ◽

Holger Hermanns

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Reviewers

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.5 ◽

2007 ◽

Download Full-text

Organizing Committee

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) ◽

10.1109/qest.2007.3 ◽

2007 ◽

Cited By ~ 7

Download Full-text

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The ipclib PEPA Library

Fourth International Conference on the Quantitative Evaluation of Systems-TOC

Symbolic Bisimulations for Probabilistic Systems

A Productivity Centered Tools Framework for Application Performance Tuning

A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor

Qualitative Logics and Equivalences for Probabilistic Systems

Relations in the Central Limit Theorem Version of the Response Time Law

Probabilistic Model Checking Modulo Theories

Reviewers

Organizing Committee

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
Latest Publications