Computer performance evaluation. Modelling techniques and tools. 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27--31, 2000. Proceedings (Q1972823)

The articles of mathematical interest will be reviewed individually. The 7th conference 1994 has been indicated (see Zbl 0875.00070). Indexed articles: \textit{Crovella, Mark E.}, Performance evaluation with heavy tailed distributions. (Extended abstract), 1-9 [Zbl 0970.68664] \textit{Maly, Peter; Woodside, C. Murray}, Layered modeling of hardware and software, with application to an LAN extension router, 10-24 [Zbl 0970.68726] \textit{Litoiu, Marin; Rolia, Jerome}, Object allocation for distributed applications with complex workloads, 25-39 [Zbl 0970.68655] \textit{Leão, Rosa M. M.; de Souza e Silva, Edmundo; de Lucena, Sidney C.}, A set of tools for traffic modeling, analysis and experimentation, 40-55 [Zbl 0970.68609] \textit{Juiz, Carlos; Puigjaner, Ramon}, Queueing analysis of pools in soft real-time systems, 56-70 [Zbl 0970.68668] \textit{Cremonesi, Paolo; Rosti, Emilia; Serazzi, Giuseppe}, Xaba: Exact, approximate, and asymptotic solvers for multi-class closed queueing networks, 71-85 [Zbl 0970.68713] \textit{Heindl, Armin}, Decomposition of general tandem queueing networks with MMPP input, 86-100 [Zbl 0962.68016] \textit{Meo, Michela; de Souza e Silva, Edmundo; Ajmone Marsan, Marco}, Exact and approximate solutions for a class of infinite Markovian models, 101-116 [Zbl 0964.65003] \textit{Harrison, Peter G.; Lladó, Catalina M.}, Performance evaluation of a distributed enterprise data mining system, 117-131 [Zbl 0962.68504] \textit{Bauer, Claus}, Minimization of the impact of subscriber mobility on the resources of a GSM network, 132-144 [Zbl 0970.68725] \textit{Hamilton, M. D.; Mitrani, I.}, Optimal allocation policies for mobile agents, 145-155 [Zbl 0965.90029] \textit{German, Reinhard}, Iterative analysis of Markov regenerative models, 156-170 [Zbl 0962.68017] \textit{Horváth, András; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós}, Analysis and evaluation of non-Markovian stochastic Petri nets, 171-187 [Zbl 0967.68114] \textit{Zimmermann, Armin; Freiheit, Jörn; German, Reinhard; Hommel, Günter}, Petri net modelling and performability evaluation with TimeNET 3. 0, 188-202 [Zbl 0970.68665] \textit{Donatelli, Susanna; Kemper, Peter}, Integrating synchronization with priority into a Kronecker representation, 203-215 [Zbl 0962.68119] \textit{Tuffin, Bruno; Trivedi, Kishor S.}, Implementation of importance splitting techniques in stochastic Petri net package, 216-229 [Zbl 0970.68709] \textit{Incera, José; Marie, Raymond; Ros, David; Rubino, Gerardo}, FluidSim: A tool to simulate fluid models of high-speed networks, 230-246 [Zbl 0970.68637] \textit{Clark, Graham; Gilmore, Stephen; Hillston, Jane; Ribaudo, Marina}, Exploiting modal logic to express performance measures, 247-261 [Zbl 0962.68120] \textit{King, Peter; Pooley, Rob}, Derivation of Petri net performance models from UML specifications of communications software, 262-276 [Zbl 0970.68714] \textit{Hughes, Peter H.; Brataas, Gunnar}, Scalability of a workstation cluster architecture for video-on-demand applications, 277-293 [Zbl 0970.68719] \textit{Karl, Wolfgang; Schulz, Martin; Trinitis, Jörg}, Multilayer online-monitoring for hybrid DSM systems on top of PC clusters with a SMiLE, 294-308 [Zbl 0970.68705] \textit{Paixão, Goedson T.; Maira, Wagner jun.; Almeida, Virgilio A. F.; Menascé, Daniel A.; Pereira, Adriano M.}, Design and implementation of a tool for measuring the performance of complex e-commerce sites, 309-323 [Zbl 0970.68724] \textit{Sadre, Ramin; Haverkort, Boudewijn R.}, FiFiQueues: Fixed-point analysis of queueing networks with finite-buffer stations, 324-327 [Zbl 0970.68729] \textit{Dugan, Joanne Bechta}, Galileo: A tool for dynamic fault tree analysis, 328-331 [Zbl 0970.68639] \textit{Daly, David; Deavours, Daniel D.; Doyle, Jay M.; Webster, Patrick G.; Sanders, William H.}, Möbius: An extensible tool for performance and dependendability modeling, 332-336 [Zbl 0970.68647] \textit{Rácz, Sándor; Tóth, Béla P.; Telek, Miklós}, MRMSolve: A tool for transient analysis of large Markov reward models, 337-340 [Zbl 0970.68649] \textit{Ward, William A. jun.; Langan, David D.}, Calculation and use of peaking factors for remote terminal emulation, 341-344 [Zbl 0970.68623] \textit{Hirel, C.; Sahner, R.; Zang, X.; Trivedi, K.}, Reliability and performability modeling using SHARPE 2000, 345-349 [Zbl 0970.68675] \textit{Norton, Tim R.}, The simalytic modeling technique: Overview for application performance analysis, 350-353 [Zbl 0970.68687] \textit{Hirel, Christophe; Tuffin, Bruno; Trivedi, Kishor S.}, SPNP: Stochastic Petri Nets. Version 6. 0, 354-357 [Zbl 0970.68681] \textit{Ramani, Srinivasan; Trivedi, Kishor S.}, SREPT: Software reliability estimation and prediction tool, 358-361 [Zbl 0970.68682] \textit{Dempster, Euan W.; Williams, M. Howard; Tomov, Neven T.; Pua, Chai Seng; Burger, Albert; King, Peter J. B.}, STEADY -- a tool for predicting performance of parallel DBMSs, 362-365 [Zbl 0970.68684] \textit{de Souza e Silva, Edmundo; Leão, Rosa M. M.}, The TANGRAM-II environment, 366-369 [Zbl 0970.68688] \textit{Bernardo, Marco}, Implementing symbolic models for value passing in TwoTowers, 370-373 [Zbl 0970.68641] \textit{Conway, Adrian E.}, Monitoring application-level VoIP grade of service at a PSTN-IP network gateway, 374-377 [Zbl 0970.68648] \textit{Li, J. Jenny; Horgan, J. Robert}, \(\chi\)Prof-SDL: A tool for identifying performance bottlenecks of software architectural design, 378-381 [Zbl 0970.68734]