Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Müller-Clostermann, Bruno.
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / [recurso electrónico] : edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. - XI, 323p. 120 illus. online resource. - Lecture Notes in Computer Science, 5987 0302-9743 ; . - Lecture Notes in Computer Science, 5987 .
Invited Talks -- Invited Talk Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways -- Invited Talk Green IT - The Power Saving Challenge and ICT Solutions -- In Memoriam: Eulogy on Gunter Bolch -- In Memory of Dr. Gunter Bolch -- Full Papers -- Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration -- Software Reliability Assessment Based on the Evaluation of Operational Experience -- Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks -- User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups -- Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support -- Analyzing Energy Consumption in a Gossiping MAC Protocol -- Defining and Measuring Performance Characteristics of Current Video Games -- Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites -- Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks -- CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds -- The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System -- Accuracy of Strong and Weak Comparisons for Network of Queues -- Searching for Tight Performance Bounds in Feed-Forward Networks -- An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times -- An Empirical Comparison of MAP Fitting Algorithms -- Reducing the Cost of Generating APH-Distributed Random Numbers -- Correctness Issues of Symbolic Bisimulation Computation for Markov Chains -- Tool Papers -- ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks -- SyLaGen – An Extendable Tool Environment for Generating Load -- ProFiDo – A Toolkit for Fitting Input Models -- ProC/B for Networks: Integrated INET Models -- DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS.
This volume contains the papers presented at the International GI/ITG C- ference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault Tolerance,” held during March 15–17, 2010 in Essen, Germany, hosted by the University of Duisburg-Essen. The Technical Committees of MMBand DFT coverallaspects ofperformanceand dependab- ityevaluationofsystemsincludingnetworks,computerarchitectures,distributed systems, software, fault-tolerant and secure systems. In 2010, both committees joined forces in a common conference MMB & DFT 2010. This current conf- ence was the 15th in a series of biannual conferences, initially started in 1981, with previous editions in Aachen, Dresden, Nuremberg and Dortmund. MMB & DFT 2010 received 42 submissions (37 regular papers and 5 tool descriptions) by authors from 15 di?erent countries. Each regular paper was reviewed by at least three (and up to ?ve) Program Committee members and external reviewers; tool papers were reviewed by two reviewers. In total we - ceived 158 reviews and the ProgramCommittee decided to accept 19 full papers and 5 tool papers. TheprogramwascompletedbytwoinvitedtalksandwewerehappythatPhil Koopman from Carnegie Mellon University and Paul Kuhn ¨ from the University of Stuttgart accepted to give an invited talk at the conference.
9783642121043
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Information Systems Applications (incl.Internet).
Logics and Meanings of Programs.
Programming Techniques.
QA76.758
005.1
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / [recurso electrónico] : edited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. - XI, 323p. 120 illus. online resource. - Lecture Notes in Computer Science, 5987 0302-9743 ; . - Lecture Notes in Computer Science, 5987 .
Invited Talks -- Invited Talk Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways -- Invited Talk Green IT - The Power Saving Challenge and ICT Solutions -- In Memoriam: Eulogy on Gunter Bolch -- In Memory of Dr. Gunter Bolch -- Full Papers -- Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration -- Software Reliability Assessment Based on the Evaluation of Operational Experience -- Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks -- User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups -- Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute -- Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support -- Analyzing Energy Consumption in a Gossiping MAC Protocol -- Defining and Measuring Performance Characteristics of Current Video Games -- Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites -- Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks -- Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks -- CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds -- The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System -- Accuracy of Strong and Weak Comparisons for Network of Queues -- Searching for Tight Performance Bounds in Feed-Forward Networks -- An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times -- An Empirical Comparison of MAP Fitting Algorithms -- Reducing the Cost of Generating APH-Distributed Random Numbers -- Correctness Issues of Symbolic Bisimulation Computation for Markov Chains -- Tool Papers -- ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks -- SyLaGen – An Extendable Tool Environment for Generating Load -- ProFiDo – A Toolkit for Fitting Input Models -- ProC/B for Networks: Integrated INET Models -- DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS.
This volume contains the papers presented at the International GI/ITG C- ference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault Tolerance,” held during March 15–17, 2010 in Essen, Germany, hosted by the University of Duisburg-Essen. The Technical Committees of MMBand DFT coverallaspects ofperformanceand dependab- ityevaluationofsystemsincludingnetworks,computerarchitectures,distributed systems, software, fault-tolerant and secure systems. In 2010, both committees joined forces in a common conference MMB & DFT 2010. This current conf- ence was the 15th in a series of biannual conferences, initially started in 1981, with previous editions in Aachen, Dresden, Nuremberg and Dortmund. MMB & DFT 2010 received 42 submissions (37 regular papers and 5 tool descriptions) by authors from 15 di?erent countries. Each regular paper was reviewed by at least three (and up to ?ve) Program Committee members and external reviewers; tool papers were reviewed by two reviewers. In total we - ceived 158 reviews and the ProgramCommittee decided to accept 19 full papers and 5 tool papers. TheprogramwascompletedbytwoinvitedtalksandwewerehappythatPhil Koopman from Carnegie Mellon University and Paul Kuhn ¨ from the University of Stuttgart accepted to give an invited talk at the conference.
9783642121043
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Computer Science.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Information Systems Applications (incl.Internet).
Logics and Meanings of Programs.
Programming Techniques.
QA76.758
005.1
