Rapporti Tecnici
2006
- The Draw-Net Modeling System: a framework for the design and the solution of single-formalism and multi-formalism models
Daniele Codetta Raiteri, Giuliana Franceschinis, Marco Gribaudo
Riferimenti: TR-INF-2006-01-01-UNIPMN, Ed. Computer Science Department, UPO, 2006 - A Case-Based Architecture for Temporal Abstraction Configuration and Processing
Alessio Bottrighi, Jose Juarez, Giorgio Leonardi, Stefania Montani, Luigi Portinale
Riferimenti: TR-INF-2006-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2006 - The Engineering of a Compression Boosting Library: Theory vs Practice in BWT compression
Paolo Ferragina, Raffaele Giancarlo, Giovanni Manzini
Riferimenti: TR-INF-2006-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2006 - New Challenges in Network Reliability Analysis
Andrea Bobbio, Caterina Ferraris, Roberta Terruggia
Riferimenti: TR-INF-2006-11-04-UNIPMN, Ed. Computer Science Department, UPO, 2006
