Contents

• Introduction
  • The Polytechnic University of Catalonia
  • The Computer Architecture Department
• The People
  • Professors
  • Associate professors
  • Assistants
  • Full Time Adjuncts
  • Part Time Adjuncts
  • Administrative and Services Staff
  • Research Fellows
• Research Fields
  • Introduction
  • High Performance Computing Group
    • Research Subfields
      • Processor architecture
      • Memory Management and Organization
      • Instruction-Level Parallelism
      • Parallelization, Data Distribution and Loop Transformations
      • Algorithms and Architectures for Linear Algebra and Sparse Matrix computations
      • Microkernel Technology Support to Parallel Applications
      • Operating Systems for Parallel Machines
      • Systematic mapping of algorithms to hardware
      • Execution of Applications based on the Declarative Programming Paradigm
    • R+D Projects and Agreements
    • Grants
  • Design and Performance Evaluation of Broadband Integrated Communication Systems
    • Research Topics
      • Internetworking, and MAC protocols
      • Traffic characterization in ATM Networks
      • Bandwidth Allocation in ATM Networks
      • ATM switching and Fast Packet Switching
      • Traffic and Congestion control in ATM Networks
      • Routing in ATM Networks
      • Survey on Broadband Communications, B-ISDN, and ATM
      • ATM-Supported Parallel Computing
      • Medium Access Control (MAX) Protocol
      • Performance Evaluation of Priority Mechanisms in ATM Networks
      • ATM Traffic Models
      • Analysis of a statistical multiplexer
      • Cell Delay Variation (CDV) Analysis
      • Worst Case Traffic (WCT) Sources
      • Experiments on an ATM testbed
      • ABT service
      • Policing function for ABR service category
      • ABR Flow Control
    • R+D Projects and Agreements
    • Grants
  • Distributed Systems Architecture
    • Research Subfields
      • Group Communication
      • Distributed Systems Security
        • Secure Infrastructures: Authentication and certification
        • EDI Security
        • Interoperability
      • Multimedia Document Architectures and Distribution
        • Mutimedia Document Architectures
        • Distributed Mutimedia Applications
        • Electronic Mail Applications
    • R+D Projects and Agreements
    • Grants
  • VLSI Systems Design
    • Research Subfields
      • Synthesis, Formal Verification, and Test of Asynchronous Systems
        • Synthesis
        • Formal Verification
        • Test
      • Design of VLSI Architectures for Low power
      • Software Pipelining for Super-scalar and VLSI processors
      • Symbolic Analysis of Concurrent Systems
    • R+D Projects and Agreements
    • Grants
  • List of papers
    • 1996
    • 1995
    • 1994
    • 1993
    • 1992
• Undergraduate Studies
  • Courses offered in the FIB
  • Courses ofered in the ETSETB
  • Courses ofered in the EUPBLl
  • Courses offered in the EUPVG
• Graduate Studies
  • The Ph.D. program
  • Program of study
  • Admision requirements
  • Graduate Program Courses
  • Ph.D. degrees
• Related Research Centers
  • European Center for Parallelism of Barcelona
    • Introduction
    • Activities
    • Research Topics
    • Projects
    • HPC Facilities
    • User Support
  • esCERT-UPC: The Spanish Cert
    • Introduction
    • esCERT-UPC Staff
    • Contacting esCERT-UPC and Technical Provisions
    • Operational Activities and Policies
    • Education and Training
    • Information Site
  • Advanced Broadband Communications Center
    • Introduction
    • Integrated Broadband Communications group
    • Radio Communications group
    • Optical Communications Group
    • Equipment
    • The Spanish National Host
    • Services Provided
• Available Technical Reports
  • 1996 DAC Reports
  • 1995 DAC Reports
  • 1994 DAC Reports
  • 1993 DAC Reports
  • 1992 DAC Reports
• About this document ...