000 | 05584nam a22005415i 4500 | ||
---|---|---|---|
001 | u374180 | ||
003 | SIRSI | ||
005 | 20160812084221.0 | ||
007 | cr nn 008mamaa | ||
008 | 100528s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642121043 _9978-3-642-12104-3 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQA76.758 | |
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aMüller-Clostermann, Bruno. _eeditor. |
|
245 | 1 | 0 |
_aMeasurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance _h[recurso electrónico] : _b15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings / _cedited by Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_aXI, 323p. 120 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5987 |
|
505 | 0 | _aInvited 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. | |
520 | _aThis 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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aInformation systems. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aInformation Systems Applications (incl.Internet). |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Techniques. |
700 | 1 |
_aEchtle, Klaus. _eeditor. |
|
700 | 1 |
_aRathgeb, Erwin P. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642121036 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v5987 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-12104-3 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c202060 _d202060 |