000 05318nam a22005895i 4500
001 978-3-540-35365-2
003 DE-He213
005 20240730193107.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540353652
_9978-3-540-35365-2
024 7 _a10.1007/11777830
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aFormal Methods and Stochastic Models for Performance Evaluation
_h[electronic resource] :
_bThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /
_cedited by András Horváth, Miklós Telek.
250 _a1st ed. 2006.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2006.
300 _aVIII, 239 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4054
505 0 _aStochastic Process Algebra -- A Precedence PEPA Model for Performance and Reliability Analysis -- A Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance Specification with Stochastic Probes -- Embedding Real Time in Stochastic Process Algebras -- Workloads and Benchmarks -- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results -- Working Set Characterization of Applications with an Efficient LRU Algorithm -- Theory of Stochastic Processes -- Model Checking for a Class of Performance Properties of Fluid Stochastic Models -- Explicit Inverse Characterizations of Acyclic MAPs of Second Order -- Implementation Relations for Stochastic Finite State Machines -- On the Convergence Rate of Quasi Lumpable Markov Chains -- Formal Dependability and Performance Evaluation -- Applying the UML Class Diagram in the Performance Analysis -- Dependability Evaluation of Web Service-Based Processes -- Queues, Theory and Practice -- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic -- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering -- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System -- Experimental Analysis of the Correlation of HTTP GET Invocations.
520 _aThe idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The ?rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006with international experts from all over the world. Each submitted papers went through a rigorous review by at least three international reviewers. Based on the reviews, the subsequent discussions ofreviewerswithdi?erentjudgementandanInternet-basedProgramCommittee meeting held on March 30, 2006, we selected 40% of the submitted papers. We therefore owe special thanks to all members of the Program Committee and to all external referees for the excellent work they did for the proper evaluation of the papers. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: - Stochastic process algebra - Workloads and benchmarks - Theory of stochastic processes - Formal dependability and performance evaluation - Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aElectronic digital computers
_xEvaluation.
_921495
650 0 _aComputer networks .
_931572
650 1 4 _aTheory of Computation.
_9152417
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aSystem Performance and Evaluation.
_932047
650 2 4 _aComputer Communication Networks.
_9152418
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aHorváth, András.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9152419
700 1 _aTelek, Miklós.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9152420
710 2 _aSpringerLink (Online service)
_9152421
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540353621
776 0 8 _iPrinted edition:
_z9783540825654
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4054
_9152422
856 4 0 _uhttps://doi.org/10.1007/11777830
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94589
_d94589