Items where Division is "Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA" and Year is 1996

Book

Ambriola, Vincenzo and Cignoni, Giovanni A. (1996) Il monitoraggio del processo software: una soluzione dal punto di vista del committente. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ambriola, Vincenzo and Telmon, Claudio (1996) Sistema di protezione per il Dipartimento di Informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A Reactive Implementation of \textit{Pos} Using ROBDDs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bagnara, Roberto (1996) A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Boraso, M. and Montangero, Carlo and Sedehi, H. (1996) Software Cost Estimation: an experimental study of model performances. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Brogi, Antonio and Contiero, Simone (1996) A Program Specialiser for Meta-level Compositions of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cambini, Riccardo and Gallo, Giorgio and Scutellà, Maria Grazia (1996) Flows on hypergraphs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Cappanera, Paola and Frangioni, Antonio (1996) Symmetric and Asymmetric Parallelization of a Cost-Decomposition Algorithm for Multi-Commodity Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carboni, Marilisa and Giannotti, Fosca and Manco, Giuseppe and Pedreschi, Dino (1996) A Logic Abstract Machine for Active Object-Oriented Databases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Carraresi, Paolo and Farinaccio, Fernanda and Malucelli, Federico (1996) Testing Optimality for Quadratic 0-1 Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, H. and Heckel, Reiko and Loewe, M. (1996) Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo (1996) Venticinque anni di informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Degano, Pierpaolo and Priami, Corrado (1996) Compact Transition Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Falaschi, M. and Gabbrielli, M. and Marriott, K. and Palamidessi, C. (1996) Confluence in Concurrent Constraint Programming. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Frangioni, Antonio and Gallo, Giorgio (1996) A Bundle type Dual-ascent Approach to Linear Multi-Commodity Min Cost Flow Problems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gadducci, Fabio and Montanari, Ugo (1996) The Tile Model. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gallo, Giorgio and Scutellà, Maria Grazia (1996) Hyperflow Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Iterative Method for Determining the Stability of a Polynomial. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) A Fast Algorithm for Hankel Matrices Represented in Orthogonal Polynomial Bases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) Fast QR Factorization of Vandermonde-like matrices involving orthogonal polynomials. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) MANIPULATING POLYNOMIALS IN GENERALIZED FORM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) POLYNOMIAL ROOT COMPUTATION BY MEANS OF THE LR ALGORITHM. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Gemignani, Luca (1996) RATIONAL INTERPOLATION AT CHEBYSHEV POINTS. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Guerrini, S. and Masini, A. (1996) Parsing MELL Proof Nets. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1996) An Insight on PRAM Computational Bounds. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Luccio, Fabrizio and Pagli, Linda (1996) The Nice Properties of a New Boolean Function. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Schettino, Alberta (1996) Assegnazione dei passeggeri a una rete pubblica interurbana mediante l'enumerazione dei cammini attivi. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pallottino, Stefano and Scutellà, Maria Grazia (1996) Dual Algorithms for the Shortest Path Tree Problem. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Design and evaluation of parallel applications using a structured parallel language. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pasetto, Davide and Vanneschi, Marco (1996) Machine independent Analytical models for cost evaluation of template--based programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Modular Verification of Logic Programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Pedreschi, Dino and Ruggieri, Salvatore (1996) Verification of Meta-interpreters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Petrini, Fabrizio and Vanneschi, Marco (1996) Latency and Bandwidth Requirements of Massively Parallel Programs: FFT as a Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Priami, Corrado (1996) DEMOS at CONCUR96. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Viry, Patrick (1996) A Rewriting Implementation of pi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.