Previous TR...   1995    1996   1997    1998    1999    2000    2001    2002    2003    2004    2005    2006    2007    2008    2009    2010    2011    2012    2013    2014    2015    2016    2017    2018    2019    2020    2021    2022  

Ricerca:

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