Sfoglia per Autore
GSPN Semantics for Queueing Networks with Blocking
1997-01-01 Gribaudo, Marco; M., Sereno
On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking
1998-01-01 Gribaudo, Marco; M., Sereno
Fluid Stochastic Petri Nets: An Extended Formalism to Include non-Markovian Models
1999-01-01 Gribaudo, Marco; M., Sereno; A., Bobbio
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets
1999-01-01 A., Bobbio; S., Garg; Gribaudo, Marco; A., Horvath; M., Sereno; M., Telek
Simulation of Fluid Stochastic Petri Nets
2000-01-01 Gribaudo, Marco; M., Sereno
Performance Analysis of Data Services over GPRS
2001-01-01 M., Ajmone; Gribaudo, Marco; M., Meo; M., Sereno
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis
2001-01-01 Gribaudo, Marco; M., Sereno; A., Horvath; A., Bobbio
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses
2001-01-01 M., Ajmone; Gribaudo, Marco; M., Meo; M., Sereno
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
2002-01-01 Gribaudo, Marco; A., Horvth; A., Bobbio; E., Tronci; E., Ciancamerla; A., M.
DrawNET++: Model objects to support performance analysis and simulation of systems
2002-01-01 Franceschinis, Giuliana; Gribaudo, Marco; Iacono, M.; Mazzocca, N.; Vittorini, V.
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique
2002-01-01 Gribaudo, Marco; A., Horvath
DrawNet++: A flexible framework for building dependability models
2002-01-01 Franceschinis, G; Gribaudo, Marco; Iacono, M.; Vittorini, V.; Bertoncello, C.
Fluid petri nets and hybrid model-checking: A comparative case study
2003-01-01 Gribaudo, Marco; A., Horvath; A., Bobbio; E., Tronci; E., Ciancamerla; M., Minichino
On the Use of Petri Nets for the Computation of Completion Time Distributon for Short TCP Transfers
2003-01-01 R., Gaeta; Gribaudo, Marco; D., Manini; M., Sereno
A Low Cost Virtual Reality Framework For Collaborative Exercises In Emergency Medicine
2004-01-01 G., Franceschinis; F., La; Gribaudo, Marco; A., Livio; F., Della
Compositional modeling of complex systems: contact center scenario in OsMoSys
2004-01-01 G., Franceschinis; M., Iacono; S., Marrone; N., Mazzocca; V., Vittorini; Gribaudo, Marco
An Efficient Algorithm for the Transient Analysis of a Class of Deterministic Stochastic Petri Nets
2004-01-01 Gribaudo, Marco; M., Sereno
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems
2004-01-01 R., Gaeta; Gribaudo, Marco; D., Manini; M., Sereno
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks
2005-01-01 Gaeta, R; Balbo, G.; Bruell, S.; Gribaudo, Marco; Sereno, M.
Fluid Stochastic Petri Nets for computing transfer time distributions in peer-to-peer file sharing applications
2005-01-01 Gaeta, R.; Gribaudo, Marco; Manini, D.; Sereno, M.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile