LEADER 05372nam 22006615 450 001 996466238503316 005 20200630015440.0 010 $a3-540-48416-7 024 7 $a10.1007/3-540-58021-2 035 $a(CKB)1000000000234111 035 $a(SSID)ssj0000322107 035 $a(PQKBManifestationID)11235586 035 $a(PQKBTitleCode)TC0000322107 035 $a(PQKBWorkID)10281192 035 $a(PQKB)10038778 035 $a(DE-He213)978-3-540-48416-5 035 $a(PPN)155226118 035 $a(EXLCZ)991000000000234111 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Performance Evaluation: Modelling Techniques and Tools$b[electronic resource] $eModelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 - 6, 1994. Proceedings /$fedited by Günter Haring, Gabriele Kotsis 205 $a1st ed. 1994. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994. 215 $a1 online resource (XI, 469 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v794 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58021-2 327 $aTechniques and tools for reliability and performance evaluation: Problems and perspectives -- Experimental analysis of parallel systems: Techniques and open problems -- Performance experiences of the Barcelona Olympic games computer system -- Performance tools on intel scalable high performance computing systems -- Modelling aspects of model-based dynamic QoS management by the Performability Manager -- Waiting time distributions for processor sharing queues with state-dependent arrival and service rates -- Queueing models of parallel applications: The Glamis methodology -- Automatic scalability analysis of parallel programs based on modeling techniques -- Simulation of ATM computer networks with CLASS -- NetSim ? A tool for modeling the performance of circuit switched multicomputer networks -- ATMSWSIM An efficient, portable and expandable ATM SWitch SIMulator tool -- A model for performance estimation in a multistreamed superscalar processor -- Accelerating the evaluation of parallel program performance models using distributed simulation -- An algorithm for off-line detection of phases in execution profiles -- Experiences on SIMD massively parallel GSPN analysis -- PAPS ? The parallel program performance prediction toolset -- qcomp: A tool for assessing online transaction processing scalability -- QPN-Tool for qualitative and quantitative analysis of queueing Petri nets -- Software architecture of the EPOCA integrated environment -- The PEPA workbench: A tool to support a process algebra-based approach to performance modelling -- On the accuracy of memory reference models -- Automatically estimating network contention of parallel programs -- Modelling of communication contention in multiprocessors -- Using Interval Timed Coloured Petri Nets to calculate performance bounds -- Analyzing PICL trace data with MEDEA. 330 $aPerformance evaluation, reliability, and performability are key factors in the development and improvement of computer systems and computer networks. This volume contains the 25 accepted and invited papers presented at the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The papers focus on new techniques and the extension of existing techniques for performance and reliability analysis. Tools to support performance and reliability modelling and measurement in all kinds of applications and environments are presented, and the practicability and generality of the approaches are emphasized. The volume summarizes the state of the art and points out future demands and challenges, and will interest both scientists and practitioners. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v794 606 $aComputer simulation 606 $aComputer system failures 606 $aQuality control 606 $aReliability 606 $aIndustrial safety 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aQuality Control, Reliability, Safety and Risk$3https://scigraph.springernature.com/ontologies/product-market-codes/T22032 615 0$aComputer simulation. 615 0$aComputer system failures. 615 0$aQuality control. 615 0$aReliability. 615 0$aIndustrial safety. 615 14$aSimulation and Modeling. 615 24$aSystem Performance and Evaluation. 615 24$aQuality Control, Reliability, Safety and Risk. 676 $a004.24/01/1 702 $aHaring$b Günter$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKotsis$b Gabriele$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Modeling Techniques and Tools for Computer Performance Evaluation$d(7th :$f1994 :$eVienna, Austria) 906 $aBOOK 912 $a996466238503316 996 $aComputer Performance Evaluation. Modelling Techniques and Tools$91945013 997 $aUNISA