Computer Performance Engineering - Livres de poche

EAN (ISBN-13): 9783642157837
ISBN (ISBN-10): 3642157831
Version reliée
Livre de poche
Date de parution: 2010
Editeur: Springer Berlin
283 Pages
Poids: 0,446 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-13T18:26:30+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-09-20T15:51:29+02:00 (Zurich)
ISBN/EAN: 3642157831

ISBN - Autres types d'écriture:
3-642-15783-1, 978-3-642-15783-7
Autres types d'écriture et termes associés:
Auteur du livre: luciano alessandro, vittorio, lucia, bono, corte, marc bernard, lucian bernard, bernardo, springer
Titre du livre: proceedings engineering, computer computer, september, performance, software

---

Données de l'éditeur

Auteur: Alessandro Aldini; Marco Bernardo; Luciano Bononi; Vittorio Cortellessa
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
Editeur: Springer; Springer Berlin
286 Pages
Date de parution: 2010-09-13
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 286 p. 100 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Performance; algorithms; benchmarketing; embedded systems; model checking; modeling; performance engineering; quality of security; simulation techniques; wireless communication; Software Engineering; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Computer and Information Systems Applications; Programming Techniques; Netzwerk-Hardware; Theoretische Informatik; Angewandte Informatik; Computerprogrammierung und Softwareentwicklung; EA

Invited Papers.- Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems.- Application of Advanced Model-Driven Techniques in Performance Engineering.- Network and Software Performance.- A New Markov-Based Mobility Prediction Algorithm for Mobile Networks.- Performance Aware Reconfiguration of Software Systems.- On the Energy-Performance Tradeoff for Parallel Applications.- Timed Models and Model Checking.- A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.- Continuous Time and/or Continuous Distributions.- Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report.- Case Studies.- A Markovian Agent Model for Fire Propagation in Outdoor Environments.- Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs.- Performance Modeling and Analysis of the Universal Control Hub.- Model Solutions and Bounds.- Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing.- A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces.- State-Dependent Rates and Semi-Product-Form via the Reversed Process.- Compositional Analysis.- Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems.- A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes.- Compositional Abstraction of PEPA Models for Transient Analysis.- Composing Systems While Preserving Probabilities.