Search results for "performability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Luís Moura Silva, Javier Alonso 0001, Paulo Silva, Jordi Torres, Artur Andrzejak 0001	Using Virtualization to Improve Software Rejuvenation.	NCA	2007	DBLP DOI BibTeX RDF
13	Alan Wood, Swami Nathan	RAS by the Yard.	DSN	2007	DBLP DOI BibTeX RDF
13	Roberto Filippini, Soumen Sen, Giovanni Tonietti, Antonio Bicchi	A Comparative Dependability Analysis of Antagonistic Actuation Arrangements for Enhanced Robotic Safety.	ICRA	2007	DBLP DOI BibTeX RDF
13	Michael Knoke, Armin Zimmermann	Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.	QEST	2006	DBLP DOI BibTeX RDF
13	Wojciech Zamojski, Dariusz Caban	Introduction to the Dependability Modeling of Computer Systems.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
13	Yuan Cai, Marcus T. Schmitz, Alireza Ejlali, Bashir M. Al-Hashimi, Sudhakar M. Reddy	Cache size selection for performance, energy and reliability of time-constrained systems.	ASP-DAC	2006	DBLP DOI BibTeX RDF
13	Robert C. Zeleznik, Timothy S. Miller	Fluid inking: augmenting the medium of free-form inking with gestures.	Graphics Interface	2006	DBLP BibTeX RDF	button-free, tablet computing, terminal punctuation, gestures, inking
13	Wei Luo, Fumin Yang, Liping Pang, Xiao Qin 0001	Fault-Tolerant Scheduling Based on Periodic Tasks for Heterogeneous Systems.	ATC	2006	DBLP DOI BibTeX RDF
13	Salem Derisavi, Peter Kemper, William H. Sanders	Lumping Matrix Diagram Representations of Markov Models.	DSN	2005	DBLP DOI BibTeX RDF
13	Ana Busic, Jean-Michel Fourneau	Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
13		CCGrid 2005 Committees.	CCGRID	2005	DBLP DOI BibTeX RDF
13	Ana Paula Couto da Silva, Rosa M. M. Leão, Edmundo de Souza e Silva	An efficient approximate technique for solving fluid models.	SIGMETRICS Perform. Evaluation Rev.	2004	DBLP DOI BibTeX RDF
13	Juan A. Carrasco	Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
13	Charles P. Shelton, Philip Koopman	Improving System Dependability with Functional Alternatives.	DSN	2004	DBLP DOI BibTeX RDF
13	Ludmila Cherkasova, Wenting Tang, Sharad Singhal	An SLA-Oriented Capacity Planning Tool for Streaming Media Services.	DSN	2004	DBLP DOI BibTeX RDF
13	Agapios N. Platis, Costas Lambrinoudakis, Assimakis K. Leros	A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions.	EuroPKI	2004	DBLP DOI BibTeX RDF
13	Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Francesco Moscato 0001, Valeria Vittorini	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.	PARA	2004	DBLP DOI BibTeX RDF
13	Mohammad Abdollahi Azgomi, Ali Movaghar-Rahimabadi	Modeling and Evaluation with Object Stochastic Activity Networks.	QEST	2004	DBLP DOI BibTeX RDF
13	Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli	A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems.	ISAS	2004	DBLP DOI BibTeX RDF
13	Alma Riska, Evgenia Smirni, Gianfranco Ciardo	An aggregation-based method for the exact analysis of a class of GI/G/1-type processes.	SIGMETRICS Perform. Evaluation Rev.	2003	DBLP DOI BibTeX RDF	GI/G/1-type processess, GI/M/1-type processes, M/G/1-type processes, matrix-analytic techniques, stochastic complementation, Markov chains, reliability analysis
13	Stephen Gilmore, Leïla Kloul	A Unified Tool for Performance Modelling and Prediction.	SAFECOMP	2003	DBLP DOI BibTeX RDF
13	Marco Conti, Enrico Gregori, Gaia Maselli	Towards Reliable Forwarding for Ad Hoc Networks.	PWC	2003	DBLP DOI BibTeX RDF
13	Kiejin Park, Sungsoo Kim, Jyh-Charn Liu	A New Availability Concept for (n, k)-way Cluster Systems Regarding Waiting Time.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
13	Bharat B. Madan, Katerina Goseva-Popstojanova, Kalyanaraman Vaidyanathan, Kishor S. Trivedi	Modeling and Quantification of Security Attributes of Software Systems.	DSN	2002	DBLP DOI BibTeX RDF
13	Olivia Das, C. Murray Woodside	Modeling the Coverage and Effectiveness of Fault-Management Architectures in Layered Distributed Systems.	DSN	2002	DBLP DOI BibTeX RDF
13	Michael Gillmann, Gerhard Weikum, Wolfgang Wonner	Workflow management with service quality guarantees.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
13	Stéphanie Mahévas, Gerardo Rubino	Bound Computation of Dependability and Performance Measures.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	bounding techniques, performance evaluation, Markov chains, numerical analysis, Dependability evaluation
13	Markus Siegle	Advances in Model Representations.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
13	Kalyanaraman Vaidyanathan, Richard E. Harper, Steven W. Hunter, Kishor S. Trivedi	Analysis and implementation of software rejuvenation in cluster systems.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
13	Andrea Bobbio, Antonio Puliafito, Miklós Telek	A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	preemptive policies, transient and steady-state analysis, Stochastic Petri Nets, Markov regenerative processes
13	William H. Sanders, John F. Meyer	Stochastic Activity Networks: Formal Definitions and Concepts.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
13	Domenico Cotroneo, Luigi Romano, Stefano Russo 0001, Nicola Mazzocca	A CORBA-Based Architecture for Adding Dependability to Legacy Servers.	PDSE	2000	DBLP DOI BibTeX RDF
13	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
13	Michael Gillmann, Jeanine Weißenfels, Gerhard Weikum, Achim Kraiss	Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems.	EDBT	2000	DBLP DOI BibTeX RDF
13	Ricardo M. Fricks, Steven W. Hunter, Sachin Garg, Kishor S. Trivedi	IDEA: Integrated Design Environment for Assessment of ATM Networks.	ICECCS	1996	DBLP DOI BibTeX RDF
13	M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm
13	Edmundo de Souza e Silva, H. Richard Gail, Reinaldo Vallejos Campos	Calculating Transient Distributions of Cumulative Reward.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
13	Juan A. Carrasco, Angel Calderón	Regenerative Randomization: Theory and Application Examples.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
13	Edmundo de Souza e Silva, Pedro Mejía Ochoa	State Space Exploration in Markov Models.	SIGMETRICS	1992	DBLP DOI BibTeX RDF