Publications
Publications found: 404
- Repairable Fault Tree for the automatic evaluation of repair policies
Daniele Codetta Raiteri, Giuliana Franceschinis, Mauro Iacono, Valeria Vittorini
Published on Proceedings of the International Conference on Dependable Systems and Networks, Ed. IEEE Computer Society, 2004, Pages: 659-668 - A Benchmark on Dynamic Reliability: An approach based on Generalized Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Published on Seminario 3ASI - AFFIDABILITA' DINAMICA: risultati ed esperienze di un benchmark, Ed. 3ASI, 2004 - Parametric Dynamic Fault Tree and its Solution through Modularization
Daniele Codetta Raiteri
Published on Supplemental Volume of the International Conference on Dependable Systems and Networks, Ed. Centromedia, 2004, Pages: 157-159 - Parametric Fault-trees with dynamic gates and repair boxes
Andrea Bobbio, Daniele Codetta Raiteri
Published on Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2004, Pages: 459-465 - On Re-classification and Multithreading
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Published on Journal of Objectc Technology (www.jot.fm) 3 11, 2004, Pages: 5-30 - Re-classification and Multithreading: Fickle$_{MT}$
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Published on OOPS track at SAC'04 2, Ed. ACM, 2004, Pages: 1297--1304 - Engineering a lightweight suffix array construction algorithm
Paolo Ferragina, Giovanni Manzini
Published on Algorithmica 40, 2004, Pages: 33--50 - Two space saving tricks for linear time LCP computation
Giovanni Manzini
Published on Proc. of 9th Scandinavian Workshop on Algorithm Theory (SWAT '04), Ed. Springer-Verlag LNCS n. 3111, 2004, Pages: 372--383 - A simple and fast DNA compressor
Giovanni Manzini, Marcella Rastero
Published on Softw., Pract. Exper. 34 14, 2004, Pages: 1397-1411 - Modelling a Secure Agent with Team Automata
Lavinia Egidi, Marinella Petrocchi
Published on TR-INF-2004-07-08-UNIPMN, Ed. Computer Science Department, UPO, 2004
Pages: « < 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 > »