𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models

✍ Scribed by Sassoli, L.; Vicario, E.

Book ID: 126743388
Publisher: IEEE
Year: 2007
Weight: 535 KB
Category: Article
ISBN-13: 9780769528830
DOI: 10.1109/QEST.2007.23

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - The ipclib PEPA Library

✍ Clark, Allan 📂 Article 📅 2007 🏛 IEEE ⚖ 163 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Cluster Grid based Response-time analysis module for the PIPE Tool

✍ Kulatunga, Harini; Argent-Katwala, Ashok; Knottenbelt, William 📂 Article 📅 2007 🏛 IEEE ⚖ 313 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior

✍ Kemper, Peter; Tepper, Carsten 📂 Article 📅 2007 🏛 IEEE ⚖ 302 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor

✍ B.C., Girish; Govindarajan, R. 📂 Article 📅 2007 🏛 IEEE ⚖ 561 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Quantile Estimation for Performance Measures in Network Simulations with CINSim

✍ Ludtke, Daniel; Tutsch, Dietmar; Kuhm, Matthias 📂 Article 📅 2007 🏛 IEEE ⚖ 494 KB

[IEEE Fourth International Conference on

[IEEE Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Edinburgh, Scotland, UK (2007.09.17-2007.09.19)] Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) - Psi^2 a Software Tool for the Perfect Simulation of Finite Queueing Networks

✍ Vincent, Jean-Marc; Vienne, Jerome 📂 Article 📅 2007 🏛 IEEE ⚖ 187 KB