Pubblicazioni
Pubblicazioni trovate: 393
- A Benchmark on Dynamic Reliability: An approach based on Generalized Stochastic Petri Nets
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su 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
Apparso su Supplemental Volume of the International Conference on Dependable Systems and Networks, Ed. Centromedia, 2004, Pagine: 157-159
- Parametric Fault-trees with dynamic gates and repair boxes
Andrea Bobbio, Daniele Codetta Raiteri
Apparso su Proceedings of the Annual Reliability and Maintainability Symposium, Ed. IEEE, 2004, Pagine: 459-465
- On Re-classification and Multithreading
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Apparso su Journal of Objectc Technology (www.jot.fm) 3 11, 2004, Pagine: 5-30
- Re-classification and Multithreading: Fickle$_{MT}$
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Apparso su OOPS track at SAC'04 2, Ed. ACM, 2004, Pagine: 1297--1304
- Engineering a lightweight suffix array construction algorithm
Paolo Ferragina, Giovanni Manzini
Apparso su Algorithmica 40, 2004, Pagine: 33--50
- Two space saving tricks for linear time LCP computation
Giovanni Manzini
Apparso su Proc. of 9th Scandinavian Workshop on Algorithm Theory (SWAT '04), Ed. Springer-Verlag LNCS n. 3111, 2004, Pagine: 372--383
- A simple and fast DNA compressor
Giovanni Manzini, Marcella Rastero
Apparso su Softw., Pract. Exper. 34 14, 2004, Pagine: 1397-1411
- Modelling a Secure Agent with Team Automata
Lavinia Egidi, Marinella Petrocchi
Apparso su TR-INF-2004-07-08-UNIPMN, Ed. Computer Science Department, UPO, 2004
- Orthogonal operators for user-defined symbolic periodicities
Lavinia Egidi, Paolo Terenziani
Apparso su TR-INF-2004-04-06-UNIPMN, Ed. Computer Science Department, UPO, 2004
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 > »
