Search results for "SPNP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi	SPNP: Stochastic Petri Nets. Version 6.0.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
54	Zhiguo Hong, Yongbin Wang, Minyong Shi	A SPN-Based Delay Analysis of LEO Satellite Networks.	ISNN (2)	2008	DBLP DOI BibTeX RDF	LEO satellite networks, SPN model, SPNP, Geometrical analysis
54	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification
42	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
40	Gianfranco Ciardo, Kishor S. Trivedi	SPNP: The Stochastic Petri Net Package (Version 3.1).	MASCOTS	1993	DBLP BibTeX RDF
40	Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi	SPNP: Stochastic Petri Net Package.	PNPM	1989	DBLP DOI BibTeX RDF
21	Yuanzhuo Wang, Chuang Lin 0002, Yang Yang 0004, Zhiguang Shan	Performance analysis of a dependable scheduling strategy based on a fault-tolerant grid model.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Stochastic Petri Nets (SPN), fault tolerance, performance analysis, grid, dependability, task scheduling
21	Benjamin Gorry, Andrew Ireland, Peter King	PARTES: Performance Analysis of Real-Time Embedded Systems.	QEST	2007	DBLP DOI BibTeX RDF
21	Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi	Simulation versus analytic-numeric methods: illustrative examples.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analytic-numeric methods, simulation, performance evaluation
21	Yuanzhuo Wang, Chuang Lin 0002, Zhengli Zhai, Yang Yang 0004	A Dependable Task Scheduling Strategy for a Fault Tolerant Grid Model.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
21	Li Li, Yuanzhuo Wang, Yang Yang 0004, Zhimin Tian	Utility-based Computing Model for Grid.	SKG	2005	DBLP DOI BibTeX RDF
21	Li Liu 0011, Yuanzhuo Wang, Yang Yang 0004, Songtao Liu	Utility-based On-demand Heuristic Strategy to Grid Computing.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF
21	Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel	Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.	ISSRE	2002	DBLP DOI BibTeX RDF
21	Hairong Sun, Xinyu Zang, Kishor S. Trivedi	Performance of broadcast and unknown server (BUS) in ATM LAN emulation.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	LAN emulation, broadcast and unknown server, stochastic petri net package, ATM, stochastic reward nets
21	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
21	Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy	Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.	SRDS	2000	DBLP DOI BibTeX RDF
21	Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han	Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System.	PRDC	1999	DBLP DOI BibTeX RDF