Pubblicazioni
Pubblicazioni trovate: 407
- An Inference Algorithm for Strictness
Ferruccio Damiani, Paola Giannini
Apparso su TLCA'97, Ed. Springer, 1997, Pagine: 129-146 - On Strictness and Totality
Mario Coppo, Ferruccio Damiani, Paola Giannini
Apparso su TACS'97, Ed. Springer, 1997, Pagine: 138--164 - Modelling and Analysis of Distributed Software Using GSPNs
Susanna Donatelli, Giuliana Franceschinis
Apparso su Petri Nets (2), 1996, Pagine: 438-476 - The PSR Methodology: Integrating Hardware and Software Models
Susanna Donatelli, Giuliana Franceschinis
Apparso su Application and Theory of Petri Nets, 1996, Pagine: 133-152 - Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
Apparso su Annual Simulation Symposium, 1996, Pagine: 118-127 - Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras
Giuliana Franceschinis, Marina Ribaudo
Apparso su Petri Nets (2), 1996, Pagine: 386-437 - Refinement Types for Program Analysis
Mario Coppo, Ferruccio Damiani, Paola Giannini
Apparso su SAS'96, Ed. Springer, 1996, Pagine: 143-158 - Multiple Inheritance and Class Composition
Paola Giannini, S. Ricaldone
Apparso su Dipartimento di Informatica, Università di Torino, Ed. Dipartimento di Informatica, Università di Torino, 1996 - GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
Apparso su Perform. Eval. Vol. 24 n. 1-2, 1995, Pagine: 47-68 - State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems
Susanna Donatelli, Giuliana Franceschinis
Apparso su SIGMETRICS, 1995, Pagine: 303-304
Pagine: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
