Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings
著者
書誌事項
Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings
(Lecture notes in computer science, 2324)
Springer, c2002
大学図書館所蔵 全26件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The argument for performance engineering methods to be employed in comput- communication systems has always been that such systems cannot be designed or modi?ed e?ciently without recourse to some form of predictive model, just as in other ?elds of engineering. This argument has never been more valid than it is with today's highly complex combination of communication and com- ter technologies. These have created the internet, the grid, and diverse types of parallel and distributed computer systems. To be practical, performance - gineering relies on tools to render its use accessible to the non-performance specialist, and in turn these depend on sound techniques that include analytical methods, stochastic models, and simulation. Tools and techniques also need to be parameterised and validated against real world observations, requiring - phisticated measurement techniques in the picosecond cyber-world. The series of "International Conferences on Modelling Techniques and Tools for Computer Performance Evaluation" (TOOLS) has provided a forum for this community of performance engineers with all their diverse interests.
TOOLS 2002, held in London in April 2002, was the continuation of this series, which comprises: 1984 Paris 1991 Torino 1997 Saint Malo 1985 Sophia Antipolis 1992 Edinburgh 1998 Palma 1987 Paris 1994 Wien 2000 Chicago 1988 Palma 1995 Heidelberg 2002 London This year we were fortunate to have two prominent invited speakers, Onno Boxma, Eindhoven University of Technology, and Peter Key of Microsoft - search, Cambridge.
目次
Heavy Tails: The Effect of the Service Discipline.- The Moebius State-Level Abstract Functional Interface.- The ProC/BToolset for the Modelling and Analysis of Process Chains.- MRMSolve: Distribution Estimation of Large Markov Reward Models.- PhFit: A General Phase-Type Fitting Tool.- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process.- PEPA Nets: A Structured Performance Modelling Formalism.- Validation of GSPN and SWN Models through the PROD Tool.- Software Performance Models from System Scenarios in Use Case Maps.- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.- A Passage-Time Preserving Equivalence for Semi-Markov Processes.- Symbolic Methods for the State Space Exploration of GSPN Models.- PRISM: Probabilistic Symbolic Model Checker.- MAMSolver: A Matrix Analytic Methods Tool.- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.- GILK: A Dynamic Instrumentation Tool for the Linux Kernel.- Geist: A Web Traffic Generation Tool.- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.- A Visual Formalism for the Composition of Stochastic Petri Nets.- Symbolic Performance Prediction of Data-Dependent Parallel Programs.- Analysis of a Transaction System with Checkpointing, Failures, and Rollback.- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool.- Hierarchical Workload Characterization for a Busy Web Server.- Enabling Network Caching of Dynamic Web Objects.- A Tool for Controlling Response Time in Real-Time Systems.
「Nielsen BookData」 より