[Lecture Notes in Computer Science] Performance Evaluation: Origins and Directions Volume 1769 || Stochastic Modeling Formalisms for Dependability, Performance and Performability

[Lecture Notes in Computer Science] Perf

✍ Haring, Günter; Lindemann, Christoph; Reiser, Martin 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 180 KB

This Monograph-like State-of-the-art Survey Presents The History, The Key Ideas, The Success Stories, And Future Challenges Of Performance Evaluation And Demonstrates The Impact Of Performance Evaluation On A Variety Of Different Areas Through Case Studies In A Coherent And Comprehensive Way. Leadin

[Lecture Notes in Computer Science] Perf

[Lecture Notes in Computer Science] Performance Evaluation: Origins and Directions Volume 1769 || Performance Analysis of Database Systems

✍ Haring, Günter; Lindemann, Christoph; Reiser, Martin 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 216 KB

This monograph-like state-of-the-art survey presents the history, the key ideas, the success stories, and future challenges of performance evaluation and demonstrates the impact of performance evaluation on a variety of different areas through case studies in a coherent and comprehensive way. Leadin

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Introduction to Software Performance Engineering: Origins and Outstanding Problems

✍ Bernardo, Marco; Hillston, Jane 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 425 KB

This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To F

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Performance Evaluation Volume 4486 || Introduction to Generalized Stochastic Petri Nets

✍ Bernardo, Marco; Hillston, Jane 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 911 KB

This Book Presents A Set Of 11 Papers Accompanying The Lectures Of Leading Researchers Given At The 7th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2007, Held In Bertinoro, Italy In May/june 2007. Sfm 2007 Was Devoted To F

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Software Performance Modeling

✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 806 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Performance Evaluation Modelling Techniques and Tools Volume 1245 || Measurement tools and modeling techniques for evaluating web server performance

✍ Marie, Raymond; Plateau, Brigitte; Calzarossa, Maria; Rubino, Gerardo 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 898 KB