Computer Performance Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642157837, 9783642157844

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State-Dependent Rates and Semi-Product-Form via the Reversed Process

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_14 ◽

2010 ◽

pp. 207-218

Author(s):

Nigel Thomas ◽

Peter Harrison

Keyword(s):

Product Form ◽

State Dependent

Download Full-text

Performance Modeling and Analysis of the Universal Control Hub

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_11 ◽

2010 ◽

pp. 160-174 ◽

Cited By ~ 2

Author(s):

Elena Gómez-Martínez ◽

José Merseguer

Keyword(s):

Performance Modeling ◽

Modeling And Analysis ◽

Universal Control ◽

Performance Modeling And Analysis

Download Full-text

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_6 ◽

2010 ◽

pp. 83-98 ◽

Cited By ~ 4

Author(s):

Lasse Jacobsen ◽

Morten Jacobsen ◽

Mikael H. Møller ◽

Jiří Srba

Keyword(s):

Model Checking ◽

Transition Systems

Download Full-text

Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_12 ◽

2010 ◽

pp. 175-190 ◽

Cited By ~ 5

Author(s):

Ricardo J. Rodríguez ◽

Jorge Júlvez

Keyword(s):

Performance Estimation ◽

Marked Graphs ◽

Accurate Performance

Download Full-text

Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_10 ◽

2010 ◽

pp. 147-159

Author(s):

Patrick Bellasi ◽

Adnan Faisal ◽

William Fornaciari ◽

Giuseppe Serazzi

Keyword(s):

Performance Evaluation ◽

Queueing Network ◽

Network Models ◽

Queueing Network Models

Download Full-text

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_8 ◽

2010 ◽

pp. 115-130 ◽

Cited By ~ 1

Author(s):

Falko Dulat ◽

Joost-Pieter Katoen ◽

Viet Yen Nguyen

Keyword(s):

Model Checking ◽

Markov Chains ◽

Krylov Subspace ◽

Krylov Subspace Methods ◽

Experience Report ◽

Subspace Methods

Download Full-text

On the Energy-Performance Tradeoff for Parallel Applications

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_5 ◽

2010 ◽

pp. 67-82

Author(s):

Shikharesh Majumdar

Keyword(s):

Energy Performance ◽

Parallel Applications ◽

Performance Tradeoff

Download Full-text

Application of Advanced Model-Driven Techniques in Performance Engineering

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_2 ◽

2010 ◽

pp. 17-36 ◽

Cited By ~ 5

Author(s):

Lucia Kapova ◽

Ralf Reussner

Keyword(s):

Model Driven ◽

Performance Engineering ◽

Advanced Model

Download Full-text

Compositional Abstraction of PEPA Models for Transient Analysis

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_17 ◽

2010 ◽

pp. 252-267 ◽

Cited By ~ 3

Author(s):

Michael J. A. Smith

Keyword(s):

Transient Analysis

Download Full-text

Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15784-4_15 ◽

2010 ◽

pp. 219-235 ◽

Cited By ~ 4

Author(s):

Christoph Rathfelder ◽

David Evans ◽

Samuel Kounev

Keyword(s):

Predictive Modelling ◽

Peer To Peer ◽

Event Driven

Download Full-text

Computer Performance Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

State-Dependent Rates and Semi-Product-Form via the Reversed Process

Performance Modeling and Analysis of the Universal Control Hub

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking

Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing

Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report

On the Energy-Performance Tradeoff for Parallel Applications

Application of Advanced Model-Driven Techniques in Performance Engineering

Compositional Abstraction of PEPA Models for Transient Analysis

Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems

Computer Performance Engineering - Lecture Notes in Computer Science
Latest Publications