CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 102
Titolo Data di pubblicazione Autore(i) File
Exploiting Petri nets to support fault tree based dependability analysis 1999 A.BOBBIO; G. FRANCESCHINIS; R. GAETA; AND L. PORTINALE
An approximate GSPN model for the accurate performance analysis of correlated TCP connections 2000 R. GAETA; MEO M.; AJMONE MARSAN M.; CASETTI C.
Performance analysis of TCP connections sharing a congested internet link 2000 AJMONE MARSAN M.; CASETTI C.; R. GAETA; MEO M.
Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller 2001 S.BOLOGNA; E.CIANCAMERLA; M.MINICHINO; A.BOBBIO; G. FRANCESCHINIS; R. GAETA; L. PORTINALE
GreatSPN in the new Millenium 2001 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
Accurate approximate analysis of cell-based switch architectures 2001 AJMONE MARSAN M.; R. GAETA; MEO M.
Dependability assessment of an industrial programmable logic controller via Parametric Fault-tree and High-Level Petri Nets 2001 A.BOBBIO; G. FRANCESCHINIS; R. GAETA; AND L. PORTINALE
Methods of increasing modelling power for safety analysis, applied to a turbine digital control system 2002 A.BOBBIO; E.CIANCAMERLA; G. FRANCESCHINIS; R. GAETA; M.MINICHINO; L. PORTINALE
Simulation based analysis of completion time distribution for short-lived TCP flows 2003 R. GAETA; D. MANINI; M. SERENO
On the Use of Petri Nets for the Computation of Completion Time Distributon for Short TCP Transfers 2003 R. GAETA; M. GRIBAUDO; D. MANINI; M. SERENO
Stochastic Petri Nets models for the performance analysis of TCP connections supporting finite data transfer 2003 R. GAETA; M. SERENO; D. MANINI
Parametric Fault-Tree for the Dependability Analysis of Redundant Systems and its High Level Petri Net Semantics 2003 BOBBIO A.; FRANCESCHINIS G.; R. GAETA; PORTINALE L.
Sequential application of heterogeneous models for the safety analysis of a control system: a case study 2003 A. BOBBIO; E. CIANCAMERLA; G. FRANCESCHINIS; R. GAETA; M. MINICHINO; L. PORTINALE
GreatSPN 2004 R. Gaeta
Extended SWN Solvers in GreatSPN 2004 J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems 2004 R. GAETA; M. GRIBAUDO; D. MANINI; M. SERENO
On the performance analysis of ABR in ATM LANs with Stochastic Petri Nets 2004 R. GAETA; M. AJMONE MARSAN; K. AL-BEGAIN
Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications 2005 R. GAETA; M. GRIBAUDO; D. MANINI; M. SERENO
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks 2005 R. GAETA; G. BALBO; S. C. BRUELL; M. GRIBAUDO; M. SERENO
Performance Modeling of P2P File Sharing Applications 2005 D. MANINI; R. GAETA; M. SERENO
Mostrati risultati da 21 a 40 di 102
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