 |
Previous TR... | 1996 |
List of technical reports of year 1996
|
Ambriola, Vincenzo; Cignoni, Giovanni A.. Il monitoraggio del processo software: una soluzione dal punto di vista del committente , October 31, 1996 abstract. TR-96-37 - 94 kb |
|
Cappanera, Paola; Frangioni, Antonio. Symmetric and Asymmetric Parallelization of a Cost-Decomposition Algorithm for Multi-Commodity Flow Problems , November 07, 1996 abstract. TR-96-36 - 140 kb |
|
Ambriola, Vincenzo; Telmon, Claudio. Sistema di protezione per il Dipartimento di Informatica , October 25, 1996 abstract. TR-96-35 - 131 kb |
|
Guerrini, S.; Masini, A.. Parsing MELL Proof Nets , October 25, 1996 abstract. TR-96-34 - 151 kb |
|
Luccio, Fabrizio; Pagli, Linda. The Nice Properties of a New Boolean Function , October 15, 1996 abstract. TR-96-33 - 111 kb |
|
Degano, Pierpaolo. Venticinque anni di informatica , September 16, 1996 abstract. TR-96-32 - 242 kb |
|
Viry, Patrick. A Rewriting Implementation of pi-calculus , March 26, 1996 abstract. TR-96-30 - 85 kb |
|
Priami, Corrado. DEMOS at CONCUR96 , August 22, 1996 abstract. TR-96-29 - 95 kb |
|
Degano, Pierpaolo; Priami, Corrado. Compact Transition Systems , July 09, 1996 abstract. TR-96-28 - 123 kb |
|
Gadducci, Fabio; Montanari, Ugo. The Tile Model , June 30, 1996 abstract. TR-96-27 - 181 kb |
|
Gallo, Giorgio; Scutellà, Maria Grazia. Hyperflow Models , July 01, 1996 abstract. TR-96-26 - 134 kb |
|
Luccio, Fabrizio; Pagli, Linda. An Insight on PRAM Computational Bounds , June 28, 1996 abstract. TR-96-25 - 76 kb |
|
Pedreschi, Dino; Ruggieri, Salvatore. Modular Verification of Logic Programs , June 18, 1996 abstract. TR-96-24 - 105 kb |
|
Pedreschi, Dino; Ruggieri, Salvatore. Verification of Meta-interpreters , June 07, 1996 abstract. TR-96-23 - 138 kb |
|
Boraso, M.; Montangero, Carlo; Sedehi, H.. Software Cost Estimation: an experimental study of model performances , June 06, 1996 abstract. TR-96-22 - 98 kb |
|
Falaschi, M.; Gabbrielli, M.; Marriott, K.; Palamidessi, C.. Confluence in Concurrent Constraint Programming , May 30, 1996 abstract. TR-96-21 - 126 kb |
|
Brogi, Antonio; Contiero, Simone. A Program Specialiser for Meta-level Compositions of Logic Programs , May 24, 1996 abstract. TR-96-20 - 123 kb |
|
Bagnara, Roberto. A Reactive Implementation of \textit{Pos} Using ROBDDs , May 24, 1996 abstract. TR-96-19 - 108 kb |
|
Montangero, Carlo; Semini, Laura. Applying Refinement Calculi to Software Process Modelling , May 22, 1996 abstract. TR-96-18 - 91 kb |
|
Corradini, Andrea; Montanari, Ugo; Rossi, Francesca; Ehrig, H.; Heckel, Reiko; Loewe, M.. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach , March 21, 1996 abstract. TR-96-17 - 585 kb |
|
Gemignani, Luca. POLYNOMIAL ROOT COMPUTATION BY MEANS OF THE LR ALGORITHM , May 16, 1996 abstract. TR-96-16 - 165 kb |
|
Gemignani, Luca. RATIONAL INTERPOLATION AT CHEBYSHEV POINTS , December 23, 1996 abstract. TR-96-15 - 209 kb |
|
Gemignani, Luca. MANIPULATING POLYNOMIALS IN GENERALIZED FORM , December 23, 1996 abstract. TR-96-14 - 147 kb |
|
Gemignani, Luca. A Fast Algorithm for Hankel Matrices Represented in Orthogonal Polynomial Bases , May 16, 1996 abstract. TR-96-13 - 85 kb |
|
Gemignani, Luca. A Fast Iterative Method for Determining the Stability of a Polynomial , May 16, 1996 abstract. TR-96-12 - 132 kb |
|
Gemignani, Luca. Fast QR Factorization of Vandermonde-like matrices involving orthogonal polynomials , May 16, 1996 abstract. TR-96-11 - 194 kb |
|
Bagnara, Roberto. A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages , May 04, 1996 abstract. TR-96-10 - 266 kb |
|
Pallottino, Stefano; Schettino, Alberta. Assegnazione dei passeggeri a una rete pubblica interurbana mediante l'enumerazione dei cammini attivi , April 18, 1996 abstract. TR-96-09 - 90 kb |
|
Pasetto, Davide; Vanneschi, Marco. Machine independent Analytical models for cost evaluation of template--based programs , April 16, 1996 abstract. TR-96-08 - 111 kb |
|
Pedrotti, Alberto. Combinatorial algorithms in the presence of random errors - II , March 28, 1996 abstract. TR-96-07 - 88 kb |
|
Pasetto, Davide; Vanneschi, Marco. Design and evaluation of parallel applications using a structured parallel language , March 27, 1996 abstract. TR-96-06 - 88 kb |
|
Carboni, Marilisa; Giannotti, Fosca; Manco, Giuseppe; Pedreschi, Dino. A Logic Abstract Machine for Active Object-Oriented Databases , February 26, 1996 abstract. TR-96-05 - 92 kb |
|
Cambini, Riccardo; Gallo, Giorgio; Scutellà, Maria Grazia. Flows on hypergraphs , March 08, 1996 abstract. TR-96-04 - 112 kb |
|
Pallottino, Stefano; Scutellà, Maria Grazia. Dual Algorithms for the Shortest Path Tree Problem , March 01, 1996 abstract. TR-96-03 - 68 kb |
|
Petrini, Fabrizio; Vanneschi, Marco. Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study , March 07, 1996 abstract. TR-96-02 - 163 kb |
|
Frangioni, Antonio; Gallo, Giorgio. A Bundle type Dual-ascent Approach to Linear Multi-Commodity Min Cost Flow Problems , December 15, 1996 abstract. TR-96-01 - 159 kb |
|
Carraresi, Paolo; Farinaccio, Fernanda; Malucelli, Federico. Testing Optimality for Quadratic 0-1 Problems , December 03, 1996 abstract. TR-95-11 - 89 kb |