1995 DAC Reports

• Oriol Roig, Jordi Cortadella, and Enric Pastor. Hierarchical Gate-Level Verification of Speed-Independent Circuits . Technical Report UPC-DAC-95-01, Departament Arquitectura de Computadors (UPC), 1995.

• Eduard Ayguadé, Cristina Barrado, Jesús Labarta, David López, Susana Moreno, David Padua, and Mateo Valero. A Uniform Representation for High-level and Instruction-Level Transformations . Technical Report UPC-DAC-95-02, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-01.

• Marisa Gil, Toni Cortés, and José I. Navarro. Planificación de flujos en Mach . Technical Report UPC-DAC-95-03, Departament Arquitectura de Computadors (UPC), 1995.

• Jordi Cortadella. Mapping BDDs into DCVSL gates . Technical Report UPC-DAC-95-04, Departament Arquitectura de Computadors (UPC), 1995.

• Jordi Garcia, Eduard Ayguadé, and Jesús Labarta. Automatic Data Distribution for Massive Parallel Computers . Technical Report UPC-DAC-95-05, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-04.

• Cristina Barrado, Jesús Labarta, Eduard Ayguadé, and Mateo Valero. Automatic Generation of Loop Schedulings for VLIW . Technical Report UPC-DAC-95-06, Departament Arquitectura de Computadors (UPC), 1995.

• Josep Llosa, Mateo Valero, and Eduard Ayguadé. Hypernode Reduction Modulo Scheduling . Technical Report UPC-DAC-95-07, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-05.

• Anna M. del Corral and José M. Llabería. Avoiding the Use of Buffers in Skewed Memory Systems for vector Processors . Technical Report UPC-DAC-95-08, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-06.

• Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, and Alexandre Yakovlev. Synthesizing Petri Nets from State-Based Models . Technical Report UPC-DAC-95-09, Departament Arquitectura de Computadors (UPC), 1995.

• Fermín Sánchez and Jordi Cortadella. Register Optimization for maximum throughput loop pipelining . Technical Report UPC-DAC-95-10, Departament Arquitectura de Computadors (UPC), 1995.

• Fermín Sánchez and Jordi Cortadella. Time-constrained loop pipelining . Technical Report UPC-DAC-95-11, Departament Arquitectura de Computadors (UPC), 1995.

• Peter Knijnenburg, Eduard Ayguadé, and Jordi Torres. Multi-transformations: Code Generation and Validity . Technical Report UPC-DAC-95-12, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-07.

• Jordi Torres, Eduard Ayguadé, Jesús Labarta, and Mateo Valero. Revisiting Framework of Linear Loop Transformations to Extract Full Loop Parallelism. Technical Report UPC-DAC-95-13, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-08.

• Luis Díaz de Cerio, Antonio González, and Miguel Valero-García. Communication Pipelining in Hypercubes . Technical Report UPC-DAC-95-14, Departament Arquitectura de Computadors (UPC), 1995.

• Montse Peiron, Mateo Valero, and Eduard Ayguadé. Reducing the Latency of Memory Accesses in Vector Multiprocessors . Technical Report UPC-DAC-95-15, Departament Arquitectura de Computadors (UPC), 1995.

• Juan J. Navarro and Josep R. Herrero. Nearest Neighbor Classification on a High Performance Workstation . Technical Report UPC-DAC-95-16, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-09.

• Toni Juan, Dolors Royo, and Juan J. Navarro. Dynamic Cache Splitting . Technical Report UPC-DAC-95-17, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-10.

• Roger Espasa and Mateo Valero. A proposal for Decoupled Vector Architectures. Technical Report UPC-DAC-95-18, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-11.

• Roger Espasa and Mateo Valero. Instruction Level characterization of the Perfect Club programs on a vector computer . Technical Report UPC-DAC-95-19, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-12.

• Toni Cortés, Sergi Girona, and Jesús Labarta. PACA: A Distributed File System Cache for Parallel Machines. Performance under Unix-like workload . Technical Report UPC-DAC-95-20, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-13.

• Sergi Girona, Toni Cortés, and Jesús Labarta. Evaluation of low level processor scheduling policies on multiprocessors . Technical Report UPC-DAC-95-21, Departament Arquitectura de Computadors (UPC), 1995.

• Enric Morancho. Prefetching in loop nests . Technical Report UPC-DAC-95-22, Departament Arquitectura de Computadors (UPC), 1995.

• David López. Desarrollo de una herramienta para la evaluación de arquitecturas con buses dobles . Technical Report UPC-DAC-95-23, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-15.

• David López and Enric Riera. Implementación del algoritmo de extracción de cálculos invariantes en ICTINEO . Technical Report UPC-DAC-95-24, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-16.

• Anna M. del Corral and José M. Llabería. Eliminating Conflicts between Vector Streams in Interleaved Memory Systems . Technical Report UPC-DAC-95-25, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-17.

• Enric Fontdecaba, Antonio González, Jesús Labarta, L. F. Escudero, J. L. de la Fuente, C. García, and F.J. Prieto. Port of CCNET to DEC Alpha . Technical Report UPC-DAC-95-26, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-18.

• Enric Fontdecaba, Antonio González, and Jesús Labarta. Porting CCNET to ACRI. Final Report . Technical Report UPC-DAC-95-27, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-19.

• Eduard Ayguadé, Jordi Garcia, Merce Girones, M. Luz Grande, and Jesús Labarta. DDT: A Research Tool for Automatic Data Distribution in HPF . Technical Report UPC-DAC-95-28, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-20.

• Marta Jiménez. Algoritmo para explotar la localidad de los datos en espacios de iteraciones no rectangulares . Technical Report UPC-DAC-95-29, Departament Arquitectura de Computadors (UPC), 1995.

• Marta Jiménez. Vectorial Replacement . Technical Report UPC-DAC-95-30, Departament Arquitectura de Computadors (UPC), 1995.

• Elena García, Josep-L. Larriba-Pey, Toni Juan, Tomás Lang, and Juan J. Navarro. Block Algorithms to speed up the Sparse Matrix by Dense Matrix Multiplication on High Performance Workstations . Technical Report UPC-DAC-95-31, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-21.

• Elena García, Josep R. Herrero, and Juan J. Navarro. Data prefetching for linear algebra operations on high performance workstations . Technical Report UPC-DAC-95-32, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-22.

• Xavier Martorell, Jesús Labarta, José I. Navarro, and Eduard Ayguadé. Nano-Threads Library Design, Implementation and Evaluation . Technical Report UPC-DAC-95-33, Departament Arquitectura de Computadors (UPC), 1995.

• Josep Llosa. Heuristics for Register Constrained Software Pipelining. Technical Report UPC-DAC-95-34, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-23.

• Enric Pastor, Jordi Cortadella, Alex Kondratyev, and Oriol Roig. Structural Algorithms for the Synthesis of Speed-independent Circuits from Signal Transition Graphs . Technical Report UPC-DAC-95-35, Departament Arquitectura de Computadors (UPC), 1995.

• Jordi Cortadella, Rosa M. Badia, and Fermín Sánchez. A mathematical formulation of the loop pipelining problem . Technical Report UPC-DAC-95-36, Departament Arquitectura de Computadors (UPC), 1995.

• Josep Llosa, Antonio González, Eduard Ayguadé, and Mateo Valero. Swing Modulo Scheduling . Technical Report UPC-DAC-95-37, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-24.

• Josep Llosa, Mateo Valero, Eduard Ayguadé, and Jesús Labarta. Register Requirements of Pipelined Loops and their Effect on Performance . Technical Report UPC-DAC-95-38, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-25.

• Josep Llosa, Mateo Valero, José A.B. Fortes, and Eduard Ayguadé. Using Sacks to Organize Registers in VLIW Machines . Technical Report UPC-DAC-95-39, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-26.

• Josep Llosa, Mateo Valero, and Eduard Ayguadé. Non-Consistent Dual Register Files to Reduce Register Pressure . Technical Report UPC-DAC-95-40, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-27.

• Pau Bofill, Carme Torras, and Enric Fontdecaba. Optimization Networks for the Generation of Block Designs . Technical Report UPC-DAC-95-41, Departament Arquitectura de Computadors (UPC), 1995.

• Jordi Garcia, Eduard Ayguadé, and Jesús Labarta. A Framework for Automatic Dynamic Data Mapping . Technical Report UPC-DAC-95-42, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-28.

• Anna M. del Corral and José M. Llabería. Reducing Inter-Vector-Conflicts in Complex Memory Systems . Technical Report UPC-DAC-95-43, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-29.

• Toni Juan, Tomás Lang, and Juan J. Navarro. The Difference-bit Cache. Technical Report UPC-DAC-95-44, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-30.

• Leandro Navarro and Claudio E. Righetti. Distribución de recursos en sistemas de gran escala. Technical Report UPC-DAC-95-45, Departament Arquitectura de Computadors (UPC), 1995.

• Roger Espasa. JINKS: A parametrizable simulator for vector architectures. Technical Report UPC-DAC-95-46, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-31.

• Jordi Domingo-Pascual and Judit Sánchez. Selective Cell Discarding Mechanism for a Packet Oriented Service on ATM Networks . Technical Report UPC-DAC-95-47, Departament Arquitectura de Computadors (UPC), 1995.

• Marco A. Peña and Jordi Cortadella. Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits. Technical Report UPC-DAC-95-48, Departament Arquitectura de Computadors (UPC), 1995.

• Ernest Artiaga, José I. Navarro, and Xavier Martorell. A Practical Study on Locking and Reference Counting in the Mach 3.0 Kernel . Technical Report UPC-DAC-95-49, Departament Arquitectura de Computadors (UPC), 1995.

• Yolanda Becerra, Marisa Gil, Xavier Martorell, and José I. Navarro. Gestión de la memoria en Mach: 3 niveles . Technical Report UPC-DAC-95-50, Departament Arquitectura de Computadors (UPC), 1995.

• Marta Jiménez, José M. Llabería, Agustín Fernández, and Enric Morancho. A Unified Transformation Technique for Multilevel Blocking . Technical Report UPC-DAC-95-51, Departament Arquitectura de Computadors (UPC), 1995.

• Antonio González and Jordi Tubella. The Multipath Parallel Execution Model for Prolog . Technical Report UPC-DAC-95-52, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-32.

• Jordi Tubella and Antonio González. A Partial Breadth-First Execution Model for Prolog . Technical Report UPC-DAC-95-53, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-33.

• Jordi Tubella and Antonio González. Exploiting Path Parallelism in Logic Programming . Technical Report UPC-DAC-95-54, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-34.

• Jordi Tubella and Antonio González. The MULTIPATH Architecture for Prolog Programs . Technical Report UPC-DAC-95-55, Departament Arquitectura de Computadors (UPC), 1995. Also published as UPC-CEPBA-95-35.