Sciweavers

CPE
2000
Springer
369views Hardware» more  CPE 2000»
13 years 9 months ago
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
Armin Zimmermann, Jörn Freiheit, Reinhard Ger...
CPE
2000
Springer
292views Hardware» more  CPE 2000»
13 years 9 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
CPE
2000
Springer
111views Hardware» more  CPE 2000»
13 years 9 months ago
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
In this paper we present a tool for the simulation of fluid models of high-speed telecommunication networks. The aim of such a simulator is to evaluate measures which can not be ...
José Incera, Raymond A. Marie, David Ros, G...