Search results for "performability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso	Performability analysis of guarded-operation duration: a translation approach for reward model solutions.	Perform. Evaluation	2004	DBLP DOI BibTeX RDF
18	Kishor S. Trivedi, Xiaomin Ma, Selvamuthu Dharmaraja	Performability modelling of wireless communication systems.	Int. J. Commun. Syst.	2003	DBLP DOI BibTeX RDF
18	Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Markus Siegle	On the use of MTBDDs for performability analysis and verification of stochastic systems.	J. Log. Algebraic Methods Program.	2003	DBLP DOI BibTeX RDF
18	Agapios N. Platis, George A. Gravvanis, Konstantinos M. Giannoutakis, Elias A. Lipitakis	A Two-Phase Cyclic Nonhomogeneous Markov Chain Performability Evaluation by Explicit Approximate Inverses Applied to a Replicated Database System.	J. Math. Model. Algorithms	2003	DBLP DOI BibTeX RDF
18	Panagiotis Tsopelas, Agapios N. Platis	Performability indicators for the traffic analysis of wide area networks.	Reliab. Eng. Syst. Saf.	2003	DBLP DOI BibTeX RDF
18	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle	ETMCC: Model Checking Performability Properties of Markov Chains.	DSN	2003	DBLP DOI BibTeX RDF
18	Reda A. Ammar, Magdi S. Moustafa, Ahmed M. Mohamed	Performability Analysis of Software Systems.	PDCS	2003	DBLP BibTeX RDF
18	Kiran Nagaraja, Xiaoyan Li, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen	Using Fault Injection and Modeling to Evaluate the Performability of Cluster-Based Services.	USENIX Symposium on Internet Technologies and Systems	2003	DBLP BibTeX RDF
18	George A. Gravvanis, Agapios N. Platis, Konstantinos M. Giannoutakis, J. B. Violentis, Elias A. Lipitakis	Performability Evaluation of Multitasking and Multiprocessor Systems by Explicit Approximate Inverses.	PDPTA	2003	DBLP BibTeX RDF
18	Robert W. Rowan, Pierre M. Fiorini, Lester Lipsky	Assessing the Performability of Computing Systems Subject to Failure and Repair Using Non-Exponentially Distributed Task Times.	PDPTA	2003	DBLP BibTeX RDF
18	Pierre M. Fiorini, Yiping Ding	On the Performability of Computing Systems: An Analytic Approach.	Int. CMG Conference	2002	DBLP BibTeX RDF
18	George A. Gravvanis, Agapios N. Platis, J. B. Violentis, Konstantinos M. Giannoutakis	Performability Evaluation of a Replicated Database System by Explicit Approximate Inverses.	PDPTA	2002	DBLP BibTeX RDF
18	Andrea Coccoli	On integrating modelling and experiments in dependability and performability evaluation of distributed applications.		2002	RDF
18	Víctor Suñé, José L. Domingo, Juan A. Carrasco	Numerical iterative methods for Markovian dependability and performability models: new results and a comparison.	Perform. Evaluation	2000	DBLP DOI BibTeX RDF
18	John P. Dougherty	Structured Performability Analysis of Parallel Applications.	Informatica (Slovenia)	1999	DBLP BibTeX RDF
18	Frederick T. Sheldon, Stefan Greiner	Composing, analyzing and validating software models to assess the performability of competing design candidates.	Ann. Softw. Eng.	1999	DBLP DOI BibTeX RDF
18	Brunilde Sansò, Luc Milot	Performability of a Congested Urban Transportation Network When Accident Information is Available.	Transp. Sci.	1999	DBLP DOI BibTeX RDF
18	Peter G. Taylor, Nico M. van Dijk	Strong Stochastic Bounds for the Stationary Distribution of a Class of Multicomponent Performability Models.	Oper. Res.	1998	DBLP DOI BibTeX RDF
18	Scott A. Barnett, Gary J. Anido	Performability of Disk-Array-Based Video Servers.	Multim. Syst.	1998	DBLP DOI BibTeX RDF
18	Jason W. Rupe, Way Kuo	Performability of systems based on renewal process models.	IEEE Trans. Syst. Man Cybern. Part A	1998	DBLP DOI BibTeX RDF
18	Michael O. Ball, Jane N. Hagstrom, J. Scott Provan	Two-path Subsets: Efficient Counting and Applications to Performability Analysis.	Discret. Appl. Math.	1998	DBLP DOI BibTeX RDF
18	Peter Ziegler, Helena Szczerbicka	Performance and performability evaluation of FMS using GSPN.	SMC	1998	DBLP DOI BibTeX RDF
18	Lutz Twele, Holger Schlingloff, Helena Szczerbicka	Performability analysis of an avionics-interface.	SMC	1998	DBLP DOI BibTeX RDF
18	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
18	Ana Pont, José A. Gil 0001	Using Performability Analysis in the Design of a New Multiprocessor Architecture.	Euro-PDS	1997	DBLP BibTeX RDF
18	Rosa M. L. R. Carmo, Luiz R. de Carvalho, Edmundo de Souza e Silva, Morganna C. Diniz, Richard R. Muntz	TANGRAM-II: A Performability Modeling Environment Tool.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF
18	Luai M. Malhis, William H. Sanders, Richard D. Schlichting	Numerical performability evaluation of a group multicast protocol.	Distributed Syst. Eng.	1996	DBLP DOI BibTeX RDF
18	Agapios N. Platis, Nikolaos Limnios, Marc Le Du	Performability of electric-power systems modeled by non-homogeneous Markov chains.	IEEE Trans. Reliab.	1996	DBLP DOI BibTeX RDF
18	Andreas A. Veglis, Andreas S. Pombortsis	Performability Analysis of Clos Multiprocessor Systems.	Inf. Sci.	1996	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort, Ignas G. Niemegeers	Performability Modelling Tools and Techniques.	Perform. Evaluation	1996	DBLP DOI BibTeX RDF
18	Antonio Puliafito, Salvatore Riccobene, Marco Scarpa	Evaluation of Performability Parameters in Client-Server Environments.	Comput. J.	1996	DBLP DOI BibTeX RDF
18	Ann T. Tai, John F. Meyer, Algirdas Avizienis	Software performability - from concepts to applications.		1996	RDF
18	Ann T. Tai, John F. Meyer	Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol.	MASCOTS	1996	DBLP DOI BibTeX RDF
18	Nukala Viswanadham, Krishna R. Pattipati, V. Gopalakrishna	Performability studies of automated manufacturing systems with multiple part types.	IEEE Trans. Robotics Autom.	1995	DBLP DOI BibTeX RDF
18	Arun Chandra, C.-L. Wu	Performability Modeling of Static and Dynamic Interconnection Networks.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
18	Katerina Goseva-Popstojanova, Aksenti Grnarov	Performability modeling of N version programming technique.	ISSRE	1995	DBLP DOI BibTeX RDF
18	Salvatore Casale, Vincenzo Catania, Antonio Puliafito, Lorenzo Vita	A remote bridging technique to increase performability in distributed systems.	IEEE Trans. Ind. Electron.	1994	DBLP DOI BibTeX RDF
18	Leonard J. N. Franken, Boudewijn R. Haverkort	The performability manager.	IEEE Netw.	1994	DBLP DOI BibTeX RDF
18	Ann T. Tai	Performability-Driven Adaptive Fault Tolerance.	FTCS	1994	DBLP DOI BibTeX RDF
18	Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fricks	Markov Reward Approach to Performability and Reliability Analysis.	MASCOTS	1994	DBLP DOI BibTeX RDF
18	Amiya Bhattacharya, Ramesh R. Rao, Ting-Ting Y. Lin	Performability analysis of non-repairable multicomponent systems using order statistics.	SPDP	1994	DBLP DOI BibTeX RDF
18	Alexander A. Hagin	Performability, Reliability and Survivability of Communication Networks: System of Methods and Models for Evaluation.	ICDCS	1994	DBLP DOI BibTeX RDF
18	Krishna M. Kavi, Hee Yong Youn, Behrooz A. Shirazi, Ali R. Hurson	A Performability Model for Soft Real-Time Systems.	HICSS (2)	1994	DBLP BibTeX RDF
18	Vincenzo Catania, Antonio Puliafito, Lorenzo Vita	A modeling framework to evaluate performability parameters in gracefully degrading systems.	IEEE Trans. Ind. Electron.	1993	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort	Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.	Perform. Evaluation	1993	DBLP DOI BibTeX RDF
18	Charles J. Colbourn, Daryl D. Harms	Evaluating performability: Most probable states and bounds.	Telecommun. Syst.	1993	DBLP DOI BibTeX RDF
18	Aad P. A. van Moorsel	Performability evaluation concepts and techniques.		1993	RDF
18	Meng-Lai Yin, Douglas M. Blough, Lubomir Bic	Incorporating Recovery in Performability Models for Multi-Computer Systems.	MASCOTS	1993	DBLP BibTeX RDF
18	Ing-Ray Chen	Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects.	SAC	1993	DBLP DOI BibTeX RDF
18	Kishor S. Trivedi, Manish Malhotra	Reliability and Performability Techniques and Tools: A Survey.	MMB	1993	DBLP DOI BibTeX RDF
18	Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, Robin A. Sahner	Dependability and Performability Analysis.	Performance/SIGMETRICS Tutorials	1993	DBLP DOI BibTeX RDF
18	Helena Szczerbicka	A Combined Queueing Network and Stochastic Petri-Net Approach for Evaluating the Performability of Fault-Tolerant Computer Systems.	Perform. Evaluation	1992	DBLP DOI BibTeX RDF
18	Vincenzo Grassi, Lorenzo Donatiello	Sensitivity Analysis of Performability.	Perform. Evaluation	1992	DBLP DOI BibTeX RDF
18	Edmundo de Souza e Silva, H. Richard Gail	Performability Analysis of Computer Systems: From Model Spacification to Solution.	Perform. Evaluation	1992	DBLP DOI BibTeX RDF
18	John F. Meyer	Performability: A Retrospective and Some Pointers to the Future.	Perform. Evaluation	1992	DBLP DOI BibTeX RDF
18	Rodrigo Torres, Kiichi Shibata, Mitsuru Yokoi	Performability Modeling and Its Evaluation Tool for Network Disconnection.	IFIP Congress (1)	1992	DBLP BibTeX RDF
18	Satoshi Moriguchi	Performance and Performability Evaluation of Client Server Systems by Stochastic Petri Nets.	IFIP Congress (1)	1992	DBLP BibTeX RDF
18	Samir M. Koriem, Lalit M. Patnaik	Performability Studies of Hypercube Architectures.	IPPS	1992	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort, Adrianus M. H. Meeuwissen	Sensitivity and Uncertainty Analysis in Performability Modeling.	SRDS	1992	DBLP DOI BibTeX RDF
18	Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt	Performability Modeling with UltraSAN.	IEEE Softw.	1991	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort	Performability modelling tools, evaluation techniques, and applications.		1991	RDF
18	Joseph A. Couvillion, Roberto S. Freire, Ron Johnson, W. Douglas Obal II, Muhammad A. Qureshi, Manish Rai, William H. Sanders, Janet E. Tvedt	Performability Modeling with UltraSAN.	PNPM	1991	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort	Approximate Performability Analysis using Generalized Stochastic Petri Nets.	PNPM	1991	DBLP DOI BibTeX RDF
18	S. M. Rezaul Islam, Hany H. Ammar	Performability Analysis of Distributed Real-Time Systems with Repetitive Task Invocation.	FTCS	1991	DBLP DOI BibTeX RDF
18	Roland Lepold, F. Simon, D. Giacona	Performability-Analyse flexibler Fertigungssysteme auf der Basis stochastischer Petri-Netz-Modelle.	ASIM	1991	DBLP BibTeX RDF
18	Roland Lepold	Performability Evaluation of a Fault-Tolerant Multiprocessor Architecture Using Stochastic Petri Nets.	Fault-Tolerant Computing Systems	1991	DBLP DOI BibTeX RDF
18	Kevin H. Prodromides, William H. Sanders	Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions.	SRDS	1991	DBLP DOI BibTeX RDF
18	Andrew N. Scrase	On RDL and its application to the performability of communications networks.		1991	RDF
18	Vincenzo Catania, Antonio Puliafito, Lorenzo Vita	Availability and Performability Assessment in LAN Interconnection.	INFOCOM	1990	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort	Performability Modelling Tools, Evaluation Techniques and Applications.		1990	RDF
18	Hany H. Ammar, S. M. Rezaul Islam, Su Deng	Performability Analysis of Parallel and Distributed Algorithms.	PNPM	1989	DBLP DOI BibTeX RDF
18	John F. Meyer, K. H. Muralidhar, William H. Sanders	Performability of a token bus network under transient fault conditions.	FTCS	1989	DBLP DOI BibTeX RDF
18	Boudewijn R. Haverkort, Ignas G. Niemegeers	Performability Modelling Using Dynamic Queueing Networks.	SIGMETRICS	1989	DBLP BibTeX RDF
18	Krishna R. Pattipati, Yong Li, Henk A. P. Blom	On the instantaneous availability and performability evaluation of fault-tolerant computer systems.	SMC	1989	DBLP DOI BibTeX RDF
18	Cristian Constantinescu, Calin Sandovici	A Fault-Tolerant Microcomputer for Advanced Control: Architecture and Performability Analysis.	RTSS	1989	DBLP DOI BibTeX RDF
18	R. M. Smith, Kishor S. Trivedi, A. V. Ramesh	Performability Analysis: Measures, an Algorithm, and a Case Study.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	continuous Markov chain, performance evaluation, performance measure, multiprocessing systems, analytical models, multiprocessor system, polynomial-time algorithm
18	Balakrishna R. Iyer, Daniel M. Dias, Philip S. Yu	Performability comparison of configurable duplex systems.	Comput. Syst. Sci. Eng.	1988	DBLP BibTeX RDF
18	William H. Sanders	Construction and solution of performability models based on stochastic activity networks.		1988	RDF
18	Ambuj Goyal, Asser N. Tantawi	Evaluation of Performability for Degradable Computer Systems.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF
18	Bruno Ciciani, Vincenzo Grassi	Performability Evaluation of Fault-Tolerant Satellite Systems.	IEEE Trans. Commun.	1987	DBLP DOI BibTeX RDF
18	William H. Sanders, John F. Meyer	Performability Evaluation of Distributed Systems Using Stochastic Activity Networks.	PNPM	1987	DBLP BibTeX RDF
18	Bruno Ciciani, Vincenzo Grassi, Giuseppe Iazeolla	Yield and Performability Evaluation of VLSI Reconfigurable Multiprocessor Structures.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
18	Mei-Chen Hsueh, Ravishankar K. Iyer, Kishor S. Trivedi	A Measurement-Based Performability Model for a Multiprocessor System.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
18	Raymond A. Marie	From Performance to Performability.	MMB	1987	DBLP DOI BibTeX RDF
18	Mei-Chen Hsueh	Measurement-Based Reliability/performability Models		1987	RDF
18	Balakrishna R. Iyer, Lorenzo Donatiello, Philip Heidelberger	Analysis of Performability for Stochastic Models of Fault-Tolerant Systems.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	performance, reliability, Markov chains, Analysis, moments
18	Balakrishna R. Iyer, Daniel M. Dias, Philip S. Yu	Performability Analysis of Operation Modes of Configurable Duplex Systems.	FJCC	1986	DBLP BibTeX RDF
18	William H. Sanders, John F. Meyer	METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks.	FJCC	1986	DBLP BibTeX RDF
18	Eike Jessen, O. Schoen	Performability - Das aktuelle Schlagwort.	Inform. Spektrum	1985	DBLP BibTeX RDF
18	Ali Movaghar-Rahimabadi	Performability Modeling with Stochastic Activity Networks.		1985	RDF
18	John F. Meyer	Performability Modeling of Distributed Real-Time Systems.	Computer Performance and Reliability	1983	DBLP BibTeX RDF
18	David G. Furchtgott	Performability Models and Solutions.		1983	RDF
18	Liang Tai Wu	Models for Evaluating the Performability of Degradable Computing Systems.		1982	RDF
13	Jan Kleissl, Yuvraj Agarwal	Cyber-physical energy systems: focus on smart buildings.	DAC	2010	DBLP DOI BibTeX RDF	LEED, ZNEB, cyber-physical, energy metering, embedded, energy management, buildings, smart grid
13	Thandar Thein, Jong Sou Park	Availability Analysis of Application Servers Using Software Rejuvenation and Virtualization.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	modeling, virtual machine, availability, software rejuvenation, software aging
13	Visar Januzaj, Ralf Mauersberger, Florian Biechele	Performance Modelling for Avionics Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF
13	Pepijn Crouzen, Jaco van de Pol, Arend Rensink	Applying formal methods to gossiping networks with mCRL and groove.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
13	Ningfang Mi, Giuliano Casale, Evgenia Smirni	Scheduling for performance and availability in systems with temporal dependent workloads.	DSN	2008	DBLP DOI BibTeX RDF
13	Manuela-Luminita Bujorianu, Joost-Pieter Katoen	Symmetry reduction for stochastic hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
13	Maurizio Guida, Maurizio Longo, Fabio Postiglione	Reliability and survivability methodologies for next generation networks.	MoMM	2008	DBLP DOI BibTeX RDF	availability, next generation networks, IP multimedia subsystem, network survivability