Computer Performance Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319232669, 9783319232676

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_4 ◽

2015 ◽

pp. 47-62 ◽

Cited By ~ 9

Author(s):

Laura Carnevali ◽

Francesco Flammini ◽

Marco Paolieri ◽

Enrico Vicario

Keyword(s):

Level 3

Download Full-text

On-the-fly Fluid Model Checking via Discrete Time Population Models

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_13 ◽

2015 ◽

pp. 193-207 ◽

Cited By ~ 5

Author(s):

Diego Latella ◽

Michele Loreti ◽

Mieke Massink

Keyword(s):

Model Checking ◽

Discrete Time ◽

Fluid Model ◽

Population Models

Download Full-text

Static and Dynamic Hosting of Cloud Servers

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_2 ◽

2015 ◽

pp. 19-31 ◽

Cited By ~ 3

Author(s):

Paul Ezhilchelvan ◽

Isi Mitrani

Keyword(s):

Cloud Servers

Download Full-text

On Generalized Processor Sharing and Objective Functions: Analytical Framework

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_7 ◽

2015 ◽

pp. 96-111 ◽

Cited By ~ 1

Author(s):

Jasper Vanlerberghe ◽

Joris Walraevens ◽

Tom Maertens ◽

Stijn De Vuyst ◽

Herwig Bruneel

Keyword(s):

Analytical Framework ◽

Processor Sharing ◽

Objective Functions ◽

Generalized Processor Sharing

Download Full-text

A Markovian Queueing System for Modeling a Smart Green Base Station

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_1 ◽

2015 ◽

pp. 3-18 ◽

Cited By ~ 8

Author(s):

Ioannis Dimitriou ◽

Sara Alouf ◽

Alain Jean-Marie

Keyword(s):

Queueing System ◽

Base Station

Download Full-text

Rare Event Simulation with Fully Automated Importance Splitting

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_18 ◽

2015 ◽

pp. 275-290 ◽

Cited By ~ 6

Author(s):

Carlos E. Budde ◽

Pedro R. D’Argenio ◽

Holger Hermanns

Keyword(s):

Rare Event ◽

Rare Event Simulation ◽

Event Simulation

Download Full-text

Estimating the Impact of Code Additions on Garbage Collection Overhead

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_9 ◽

2015 ◽

pp. 130-145 ◽

Cited By ~ 1

Author(s):

Peter Libič ◽

Lubomír Bulej ◽

Vojtěch Horký ◽

Petr Tůma

Keyword(s):

Garbage Collection ◽

The Impact

Download Full-text

Performance Awareness in Java EE Development Environments

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_10 ◽

2015 ◽

pp. 146-160 ◽

Cited By ~ 1

Author(s):

Alexandru Danciu ◽

Alexander Chrusciel ◽

Andreas Brunnert ◽

Helmut Krcmar

Keyword(s):

Java Ee

Download Full-text

Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_8 ◽

2015 ◽

pp. 115-129 ◽

Cited By ~ 9

Author(s):

Felix Willnecker ◽

Markus Dlugi ◽

Andreas Brunnert ◽

Simon Spinner ◽

Samuel Kounev ◽

...

Keyword(s):

Estimation Techniques ◽

Resource Demand

Download Full-text

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

Computer Performance Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23267-6_14 ◽

2015 ◽

pp. 208-224 ◽

Cited By ~ 7

Author(s):

Freek van den Berg ◽

Jozef Hooman ◽

Arnd Hartmanns ◽

Boudewijn R. Haverkort ◽

Anne Remke

Keyword(s):

Model Checking ◽

Response Time ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Response Time Distributions

Download Full-text

Computer Performance Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

On-the-fly Fluid Model Checking via Discrete Time Population Models

Static and Dynamic Hosting of Cloud Servers

On Generalized Processor Sharing and Objective Functions: Analytical Framework

A Markovian Queueing System for Modeling a Smart Green Base Station

Rare Event Simulation with Fully Automated Importance Splitting

Estimating the Impact of Code Additions on Garbage Collection Overhead

Performance Awareness in Java EE Development Environments

Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques

Computing Response Time Distributions Using Iterative Probabilistic Model Checking

Computer Performance Engineering - Lecture Notes in Computer Science
Latest Publications