Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540353621, 9783540353652

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Working Set Characterization of Applications with an Efficient LRU Algorithm

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_6 ◽

2006 ◽

pp. 78-92 ◽

Cited By ~ 1

Author(s):

Lodewijk Bonebakker ◽

Andrew Over ◽

Ilya Sharapov

Keyword(s):

Working Set

Download Full-text

Experimental Analysis of the Correlation of HTTP GET Invocations

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_16 ◽

2006 ◽

pp. 226-237 ◽

Cited By ~ 7

Author(s):

Philipp Reinecke ◽

Aad P. A. van Moorsel ◽

Katinka Wolter

Keyword(s):

Experimental Analysis

Download Full-text

Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_14 ◽

2006 ◽

pp. 196-210 ◽

Cited By ~ 2

Author(s):

Ana Bušić ◽

Jean-Michel Fourneau ◽

Nihal Pekergin

Keyword(s):

Case Analysis ◽

Worst Case Analysis ◽

Worst Case ◽

Batch Arrivals ◽

Convex Ordering ◽

Increasing Convex Ordering

Download Full-text

Functional Performance Specification with Stochastic Probes

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_3 ◽

2006 ◽

pp. 31-46 ◽

Cited By ~ 3

Author(s):

Ashok Argent-Katwala ◽

Jeremy T. Bradley

Keyword(s):

Functional Performance ◽

Performance Specification

Download Full-text

A Function-Equivalent Components Based Simplification Technique for PEPA Models

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_2 ◽

2006 ◽

pp. 16-30 ◽

Cited By ~ 1

Author(s):

Jane Hillston ◽

Leïla Kloul

Download Full-text

On the Convergence Rate of Quasi Lumpable Markov Chains

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_10 ◽

2006 ◽

pp. 138-147

Author(s):

András Faragó

Keyword(s):

Convergence Rate ◽

Markov Chains

Download Full-text

Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_13 ◽

2006 ◽

pp. 181-195

Author(s):

Burak Simsek ◽

Katinka Wolter

Keyword(s):

Ieee 802.11E ◽

Scheduling Heuristic

Download Full-text

A Precedence PEPA Model for Performance and Reliability Analysis

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_1 ◽

2006 ◽

pp. 1-15 ◽

Cited By ~ 5

Author(s):

Jean-Michel Fourneau ◽

Leïla Kloul

Keyword(s):

Reliability Analysis

Download Full-text

Model Checking for a Class of Performance Properties of Fluid Stochastic Models

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_7 ◽

2006 ◽

pp. 93-107 ◽

Cited By ~ 2

Author(s):

Manuela L. Bujorianu ◽

Marius C. Bujorianu

Keyword(s):

Model Checking ◽

Stochastic Models ◽

Performance Properties

Download Full-text

Applying the UML Class Diagram in the Performance Analysis

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science ◽

10.1007/11777830_11 ◽

2006 ◽

pp. 148-165

Author(s):

Ahmad Alsaadi

Keyword(s):

Performance Analysis ◽

Class Diagram ◽

Uml Class Diagram

Download Full-text

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Working Set Characterization of Applications with an Efficient LRU Algorithm

Experimental Analysis of the Correlation of HTTP GET Invocations

Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering

Functional Performance Specification with Stochastic Probes

A Function-Equivalent Components Based Simplification Technique for PEPA Models

On the Convergence Rate of Quasi Lumpable Markov Chains

Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic

A Precedence PEPA Model for Performance and Reliability Analysis

Model Checking for a Class of Performance Properties of Fluid Stochastic Models

Applying the UML Class Diagram in the Performance Analysis

Formal Methods and Stochastic Models for Performance Evaluation - Lecture Notes in Computer Science
Latest Publications