Search results for "computer performance evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Joshua J. Yi, Lieven Eeckhout, David J. Lilja, Brad Calder, Lizy Kurian John, James E. Smith	The Future of Simulation: A Field of Dreams.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Computer performance evaluation, Simulation, Processor performance
2	Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder (eds.)	Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings	Computer Performance Evaluation / TOOLS	2002	DBLP BibTeX RDF
2	Sándor Rácz, Árpád Tari, Miklós Telek	MRMSolve: Distribution Estimation of Large Markov Reward Models.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	accumulated reward, moments based distribution estimation, completion time, Markov Reward Models
2	Stephen Gilmore, Jane Hillston, Marina Ribaudo	PEPA Nets: A Structured Performance Modelling Formalism.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Hasyim Gautama, Arjan J. C. van Gemund	Symbolic Performance Prediction of Data-Dependent Parallel Programs.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter	Enabling Network Caching of Dynamic Web Objects.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Richard P. Hopkins, Peter J. B. King	A Visual Formalism for the Composition of Stochastic Petri Nets.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Alexander Klemm, Christoph Lindemann, Marco Lohmann	Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney	The Möbius State-Level Abstract Functional Interface.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	L. Kumar, Manoj Misra, Isi Mitrani	Analysis of a Transaction System with Checkpointing, Failures, and Rollback.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Susanna Donatelli, Liliana Ferro	Validation of GSPN and SWN Models through the PROD Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Andreas Festag, Lars Westerhoff, Adam Wolisz	The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Alma Riska, Evgenia Smirni	MAMSolver: A Matrix Analytic Methods Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Jeremy T. Bradley	A Passage-Time Preserving Equivalence for Semi-Markov Processes.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Pascal Richard	A Tool for Controlling Response Time in Real-Time Systems.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Krishna Kant, Vijay Tewari, Ravishankar K. Iyer	Geist: A Web Traffic Generation Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Adrian E. Conway, Yali Zhu	Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger	Symbolic Methods for the State Space Exploration of GSPN Models.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Dorina C. Petriu, Hui Shen	Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	András Horváth, Miklós Telek	PhFit: A General Phase-Type Fitting Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Dorina C. Petriu, C. Murray Woodside	Software Performance Models from System Scenarios in Use Case Maps.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini	DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Model Objects, Performance Analysis Framework, Model composition
2	Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker	The ProC/B Toolset for the Modelling and Analysis of Process Chains.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks
2	Sem C. Borst, Onno J. Boxma, R. Núñez Queija	Heavy Tails: The Effect of the Service Discipline.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Marta Z. Kwiatkowska, Gethin Norman, David Parker	PRISM: Probabilistic Symbolic Model Checker.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder	GILK: A Dynamic Instrumentation Tool for the Linux Kernel.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Adeniyi Oke, Richard B. Bunt	Hierarchical Workload Characterization for a Busy Web Server.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
2	Umesh Krishnaswamy, Isaac D. Scherson	A Framework for Computer Performance Evaluation Using Benchmark Sets.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Computer performance evaluation, benchmark sets, performance vectors, performance modeling, superscalar processors, vector computers
2	Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)	Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings	Computer Performance Evaluation / TOOLS	2000	DBLP BibTeX RDF
2	Bruno Tuffin, Kishor S. Trivedi	Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF	Fluid Stochastic Petri Nets, Importance splitting techniques, Stochastic Petri Nets, Rare events simulation
2	Edmundo de Souza e Silva, Rosa M. M. Leão	The TANGRAM-II Environment.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	William A. Ward Jr., David D. Langan	Calculation and Use of Peaking Factors for Remote Terminal Emulation.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel	Petri Net Modelling and Performability Evaluation with TimeNET 3.0.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Ramin Sadre, Boudewijn R. Haverkort	FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Reinhard German	Iterative Analysis of Markov Regenerative Models.	Computer Performance Evaluation / TOOLS	2000	DBLP BibTeX RDF
2	András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek	Analysis and Evaluation of Non-Markovian Stochastic Petri Nets.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Marin Litoiu, Jerome A. Rolia	Object Allocation for Distributed Applications with Complex Workloads.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Peter H. Hughes, Gunnar Brataas	Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Adrian E. Conway	Monitoring Application-Level VoIP Grade of Service at a PSTM-IP Network Gateway.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Rosa M. M. Leão, Edmundo de Souza e Silva, Sidney C. de Lucena	A Set of Tools for Traffic Modeling, Analysis and Experimentation.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Peter Maly, C. Murray Woodside	Layered Modeling of Hardware and Software, with Application to a LAN Extension Router.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Peter J. B. King, Rob Pooley	Derivation of Petri Net Performance Models from UML Specifications of Communications Software.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Goedson T. Paixão, Wagner Meira Jr., Virgilio Almeida, Daniel A. Menascé, Adriano M. Pereira	Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi	Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Joanne Bechta Dugan	Galileo: A Tool for Dynamic Fault Tree Analysis.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Carlos Juiz, Ramón Puigjaner	Queueing Analysis of Pools in Soft Real-Time Systems.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders	Möbius: An Extensible Tool for Performance and Dependability Modeling.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Wolfgang Karl, Martin Schulz, Jörg Trinitis	Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE.	Computer Performance Evaluation / TOOLS	2000	DBLP BibTeX RDF
2	Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi	Reliability and Performability Modeling Using SHARPE 2000.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Claus Bauer	Minimization of the Impact of Subscriber Mobility on the Resource of a GSM Network.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Marco Bernardo	Implementing Symbolic Models for Value Passing in TwoTowers.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	José Incera, Raymond A. Marie, David Ros, Gerardo Rubino	FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Michael D. Hamilton, Isi Mitrani	Optimal Allocation Policies for Mobile Agents.	Computer Performance Evaluation / TOOLS	2000	DBLP BibTeX RDF
2	Peter G. Harrison, Catalina M. Lladó	Performance Evaluation of a Distributed Enterprise Data Mining System.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Srinivasan Ramani, Kishor S. Trivedi	SREPT: Software Reliability Estimation and Prediction Tool.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Armin Heindl	Decomposition of General Tandem Queueing Networks with MMPP Input.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan	Exact and Approximate Solutions for a Class of Infinite Markovian Models.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi	SPNP: Stochastic Petri Nets. Version 6.0.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Sándor Rácz, Béla P. Tóth, Miklós Telek	MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Euan W. Dempster, M. Howard Williams, Neven Tomov, Chai Seng Pua, Albert Burger, Peter J. B. King	STEADY - A Tool for Predicting Performance of Parallel DBMSs.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Mark Crovella	Performance Evaluation with Heavy Tailed Distributions.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Susanna Donatelli, Peter Kemper	Integrating Synchronization with Priority into a Kronecker Representation.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo	Exploiting Modal Logic to Express Performance Measures.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	J. Jenny Li, Joseph Robert Horgan	chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Tim R. Norton	The Simalytic Modeling Technique: Overview for Application Performance Analysis.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Ramón Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.)	Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings	Computer Performance Evaluation (Tools)	1998	DBLP BibTeX RDF
2	Murari Sridharan, Srinivasan Ramasubramanian, Arun K. Somani	HIMAP: Architecture, Features, and Hierarchical Model Specification Techniques.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Connie U. Smith, Lloyd G. Williams	Performance Engineering Evaluation of CORBA-based Distributed Systems with SPE*ED.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Mor Harchol-Balter, Mark Crovella, Cristina D. Murta	On Choosing a Task Assignment Policy for a Distributed Server System.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Martin F. Arlitt, Rich Friedrich, Tai Jin	Performance Evaluation of Web Proxy Cache Replacement Policies.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Aad P. A. van Moorsel, Yiqing Huang	Reusable Software Components for Performability Tools and Their Utilization for Web-Based Configurable Tools.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Paul J. Schweitzer, Giuseppe Serazzi, Marco Broglia	A Queue-Shift Approximation Technique for Product-Form Queueing.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Falko Bause, Peter Buchholz, Peter Kemper	A Toolbox for Functional and Quantitative Analysis of DEDS.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	A. J. Field, Peter G. Harrison, J. Parry	Response Times in Client-Server Systems.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Cyril Labbé, Frédéric Reblewski, Serge Martin, Jean-Marc Vincent	A Reconfigurable Hardware Tool for High Speed Network Simulation.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Kevin W. Froese, Richard B. Bunt	Scheduling Write Backs for Weakly-Connected Mobile Clients.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Rajive Bagrodia, Mario Gerla	A Modular and Scalable Simulation Tool for Large Wireless Networks.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Juan Luis Anciano Martin, Nunzio Nicoló Savino Vázquez, José Antonio Corbacho, Ramón Puigjaner	Extending SMART2 to Predict the Behaviour of PL/SQL Applications.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Javier García, Joaquín Entrialgo, Francisco J. Suárez, Daniel F. García	A Model Driven Monitoring Approach to Support the Multi-view Performance Analysis of Parallel Responsive Applications.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Luiz De Rose, Ying Zhang, Daniel A. Reed	SvPablo: A Multi-language Performance Analysis System.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Sunil Santha, Udo W. Pooch	JAGATH: A Methodology and Its Application for Distributed Systems Performance Evaluation and Control.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Jose Flich, Pedro López, Manuel P. Malumbres, José Duato	Edinet: An Execution Driven Interconnection Network Simulator for DSM Systems.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	R. Núñez Queija	A Queueing Model with Varying Service Rate for ABR.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Gaby Schneider, Marko Schuba, Boudewijn R. Haverkort	QNA-MC: A Performance Evaluation Tool for Communication Networks with Multicast Data Streams.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Tong Luo, Kishor S. Trivedi	An Improved Multiple Variable Inversion Algorithm for Reliability Calculation.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Alberto Valderruten, Javier Mosquera, Víctor M. Gulías	Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	Synchronous Reactive Models, Multithreaded Runtime Systems, Simulation and Monitoring, Functional Programming, Instrumentation, Performance Engineering, Model Development
2	Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso	Performance Analysis of a WDM Bus Network Based on GSPN Models.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Tadeusz Czachórski, Michal Pastuszka, Ferhan Pekergin	A Tool to Model Network Transient States with the Use of Diffusion Approximation.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle	Compositional Performance Modelling with TIPPtool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Srinivasan Ramani, Swapna S. Gokhale, Kishor S. Trivedi	SREPT: Software Reliability Estimation and Prediction Tool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Sophie Dumas, Didier Boudigue, Georges Gardarin	Performance Evaluation of Distributed Object Architectures.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF	CORBA and DCOM, Modeling, Distributed Objects, PerformanceEvaluation, Three-tiered Architecture
2	Víctor Suñé, Juan A. Carrasco	A Comparison of Numerical Splitting-Based Methods for Markovian Dependability and Performability Models.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Marin Litoiu, Jerome A. Rolia, Giuseppe Serazzi	Designing Prozess Replication and Threating Policies: A Quantitative Approach.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Jean-Michel Fourneau, Lynda Mokdad	A Perturbation and Reduction Based Algorithm.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Hai Wang, Kenneth C. Sevcik	Experiments with Improved Approximate Mean Value Analysis Algorithms.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Peter Reichl, Dogan Kesdogan, Klaus Junghärtchen, Marko Schuba	Simulative Performance Evaluation of the Temporary Pseudonym Method for Protecting Location Information in GSM Networks.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Susanna Donatelli, Serge Haddad, Patrice Moreaux	Structured Characterization of the Markov Chain of Phase-Type SPN.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Reinhard German	Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis and a Prototype Tool.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter S. Kritzinger	Probability, Parallelism and the State Space Exploration Problem.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
2	Berthold Rathke, Theodoros Assimakopoulos, Rolf Morich, Gerrit Schulte, Adam Wolisz	Snuffle: Integrated Measurement and Analysis Tool for Internet and Its Use in Wireless In-House Environment.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF