1994 DAC Reports

• Jordi Torres. Automatic Parallelization of Sequential Loops with Recurrences . Technical Report UPC-DAC-94-01, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-01.

• Anna M. del Corral and José M. Llabería. Hardware Support to Reduce Conflicts between Vector Streams . Technical Report UPC-DAC-94-02, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-02.

• David Andrés, Joan Vila-Sallent, Jordi Domingo-Pascual, and Josep Solé-Pareta. Performance of Interconnecting FDDI Networks through ATM when Managing Video Traffic. Technical Report UPC-DAC-94-03, Departament Arquitectura de Computadors (UPC), 1994.

• Angel Jorba, Josep-L. Larriba-Pey, and Juan J. Navarro. Bounds for the error of some parallel bidiagonal solvers for strictly diagonal dominant systems . Technical Report UPC-DAC-94-04, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-03.

• Josep-L. Larriba-Pey, Juan J. Navarro, Oriol Roig, and Angel Jorba. An analysis of some Parallel methods for the solution of general and Toeplitz Bidiagonal Systems. Technical Report UPC-DAC-94-05, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-04.

• Marisa Gil, Xavier Martorell, and José I. Navarro. Scheduling Hints for the CThreads User-Level Thread Package. Technical Report UPC-DAC-94-06, Departament Arquitectura de Computadors (UPC), 1994.

• Jordi Cortadella, Luciano Lavagno, Peter Vanbekbergen, and Alexandre Yakovlev. Designing Asynchronous Circuits from Behavioural Specifications with Internal Conflicts . Technical Report UPC-DAC-94-08, Departament Arquitectura de Computadors (UPC), 1994.

• Francisco Jordán, Manel Medina, Juan C. Cruellas, and Isabel Gallego. CAs Infrastructure for Secure Open Communications . Technical Report UPC-DAC-94-09, Departament Arquitectura de Computadors (UPC), 1994.

• Jordi Tubella and Antonio González. Combining depth-first and breadth-first search in Prolog execution . Technical Report UPC-DAC-94-10, Departament Arquitectura de Computadors (UPC), 1994.

• Fermín Sánchez and Jordi Cortadella. UNRET: A transformation-based technique for software pipelining with resource constraints . Technical Report UPC-DAC-94-11, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-06.

• Cristina Pujol, Jesús Labarta, Luis Gregoris, Sergi Girona, and Toni Cortés. Paros Kernel Free Distribution v1.2 User Manual . Technical Report UPC-DAC-94-12, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-07.

• Peter Knijnenburg, Jordi Torres, and Eduard Ayguadé. Multi-Transformations for Doubly Nested Loops. Technical Report UPC-DAC-94-13, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-09.

• Oriol Roig, Jordi Cortadella, and Enric Pastor. Conservative Symbolic Model-Checking of Petri Nets for Speed-indepencent Circuit Verification . Technical Report UPC-DAC-94-14, Departament Arquitectura de Computadors (UPC), 1994.

• Marta Jiménez, Enric Morancho, and Agustín Fernández. El entorno ParaScope y Optimización del uso de la jerarquía de memoria . Technical Report UPC-DAC-94-15, Departament Arquitectura de Computadors (UPC), 1994.

• Fermín Sánchez and Jordi Cortadella. Unrolling and Retiming: A new approach for resource-constrained software pipelinig. Technical Report UPC-DAC-94-16, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-10.

• Antonio González, Carles Aliagas, and Mateo Valero. The Dual Data Cache: Improviong Vector Caching in Scalar Processors . Technical Report UPC-DAC-94-17, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-11.

• Juan J. Navarro, Toni Juan, Tomás Lang, Javier Gallardo, and Elena García. Memory Organization and Management for Dense Linear Algebra Computations . Technical Report UPC-DAC-94-18, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-12.

• Juan J. Navarro, Elena García, Tomás Lang, and Toni Juan. Block algorithms for Sparse Matrix by Dense Matrix Multiplication . Technical Report UPC-DAC-94-19, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-13.

• Toni Juan, Juan J. Navarro, and Tomás Lang. Removing Interferences Misses Using Cache Bypass Buffers . Technical Report UPC-DAC-94-20, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-14.

• Josep-L. Larriba-Pey, Juan J. Navarro, and Angel Jorba. Vectorizing Algorithms for Natural Cubic Spline and B-Spline curve fithing . Technical Report UPC-DAC-94-21, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-15.

• Fermín Sánchez and Jordi Cortadella. Maximum throughput loop pipelining with register optimization . Technical Report UPC-DAC-94-22, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-16.

• Josep Solé-Pareta, Debapriya Sarkar, Jorg Liebeherr, and Ian F. Akyildiz. Adaptive Multipath Routing of Connectionless Traffic in an ATM Network . Technical Report UPC-DAC-94-23, Departament Arquitectura de Computadors (UPC), 1994.

• Joan M. Parcerisa, Antonio González, Josep Llosa, and Toni Jerez. A Preliminary Assessment of the ACRI 1 Fortran Compiler. Technical Report UPC-DAC-94-24, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-17.

• Luis Díaz de Cerio, Miguel Valero-García, and Antonio González. A Study of the Communication Cost of the FFT on Torus Multicomputers . Technical Report UPC-DAC-94-25, Departament Arquitectura de Computadors (UPC), 1994.

• Oriol Roig, Jordi Cortadella, and Enric Pastor. Symbolic model checking of Petri nets for the verification of speed-independent circuits . Technical Report UPC-DAC-94-26, Departament Arquitectura de Computadors (UPC), 1994.

• Enric Pastor, Jordi Cortadella, and Oriol Roig. A new Look at the Conditions for the Synthesis of Speed-independent Circuits . Technical Report UPC-DAC-94-27, Departament Arquitectura de Computadors (UPC), 1994.

• Eduard Ayguadé, Jesús Labarta, Jordi Garcia, and Merce Girones. Data Partitioning Methods: Implementation and Static Evaluation Reports . Technical Report UPC-DAC-94-28, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-18.

• Marisa Gil, Xavier Martorell, and José I. Navarro. User-Level application-specific thread scheduling. Technical Report UPC-DAC-94-29, Departament Arquitectura de Computadors (UPC), 1994.

• Anna M. del Corral and José M. Llabería. Reduce Conflicts between Vector Streams in Complex Memory Systems . Technical Report UPC-DAC-94-30, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-19.

• Anna M. del Corral and José M. Llabería. Access Order to Avoid Inter-Vector-Conflicts in Complex Memory System . Technical Report UPC-DAC-94-31, Departament Arquitectura de Computadors (UPC), 1994. Also published as UPC-CEPBA-94-20.