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

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

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

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

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

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

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

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

Reviewers

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

10.1109/qest.2007.5 ◽

2007 ◽

Organizing Committee

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

10.1109/qest.2007.3 ◽

2007 ◽

Cited By ~ 7

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