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  

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