Search results for "performance and dependability analysis"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
2	Holger Hermanns, Christophe Joubert	A Set of Performance and Dependability Analysis Components for CADP.	TACAS	2003	DBLP DOI BibTeX RDF
2	Robert H. Klenke, Moshe Meyassed, James H. Aylor, Barry W. Johnson, Ramesh Rao, Anup Ghosh	An Integrated Design Environment for Performance and Dependability Analysis.	DAC	1997	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis	Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets.	ISCIS	2004	DBLP DOI BibTeX RDF
1	Swapna S. Gokhale, Joseph R. Horgan, Kishor S. Trivedi	Specification-Level Integration of Simulation and Dependability Analysis.	WADS	2002	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, António Pacheco	Model Checking CSL until Formulae with Random Time Bounds.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
1	Yiqing Huang, Zbigniew Kalbarczyk, Ravishankar K. Iyer	A Speculation-based Approach for Performance and Dependability Analysis: A Case Study.	Winter Simulation Conference	1998	DBLP BibTeX RDF
1	Axel Hein, Mario Dal Cin	Performance and Dependability Evaluation of Scalable Massively Parallel Computer Systems with Conjoint Simulation.	ACM Trans. Model. Comput. Simul.	1998	DBLP DOI BibTeX RDF	fault-tolerant and large-scale computer systems, hierarchical model design, process-based simulation, object-oriented modeling, timed Petri nets
1	Stefan Dalibor, A. Hein, Wolfgang Hohl	Application-Dependent Performability Evaluation of Fault-Tolerant Multiprocessors.	PDP	1996	DBLP DOI BibTeX RDF	reconfiguration policies, simulated fault injection, performability analysis, workload modeling
1	Kishor S. Trivedi, Jogesh K. Muppala, Steven P. Woolet, Boudewijn R. Haverkort	Composite Performance and Dependability Analysis.	Perform. Eval.	1992	DBLP DOI BibTeX RDF
1	Edmundo de Souza e Silva, Pedro Mejía Ochoa	State Space Exploration in Markov Models.	SIGMETRICS	1992	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )