Pubblicazioni
Pubblicazioni trovate: 387
- Modelling Dynamic Reliability via Fluid Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the International Conference on Reliability and Safety Engineering, Ed. Indian Institute of Technology Kharagpur, 2005, Pagine: 43-56
- Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the International Workshop on Performability Modeling of Computer and Communication Systems, Ed. Univ. di Torino e Univ. del Piemonte Orientale, 2005, Pagine: 52-55
- Efficient Analysis Algorithms for Parametric Fault Trees.
Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, Ed. IEEE Computer Society, 2005, Pagine: 91-105
- Draw-Net, a customizable multi-formalism multi-solution tool for the quantitative evaluation of systems
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Apparso su Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2005, Pagine: 257-258
- Solving Dynamic Reliability Problems by means of Ordinary and Fluid Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the European Safety and Reliability Conference, Ed. Taylor & Francis, 2005, Pagine: 381-389
- Towards Type Inference for JavaScript
Christopher Anderson, Sophia Drossopoulou, Paola Giannini
Apparso su 19th European Conference on Object-Oriented Programming (ECOOP 2005), Ed. Springer, 2005, Pagine: 428-453
- Type Checking for JavaScript
Christopher Anderson, Paola Giannini
Apparso su WOOD'05, Ed. Elsevier, 2005
- Boosting Textual Compression in Optimal Linear time
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini, Marinella Sciortino
Apparso su Journal of the ACM 52, 2005, Pagine: 688-713
- Indexing compressed text
Paolo Ferragina, Giovanni Manzini
Apparso su Journal of the ACM 52 4, 2005, Pagine: 552--581
- Compressing and Searching XML Data Via Two Zips
Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan
Apparso su TR-INF-2005-12-06-UNIPMN, Ed. Computer Science Department, UPO, 2005
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 > »
