Certifying Loop Pipelining Transformations in Behavioral Synthesis

doi 10.15760/etd.5364

Full Text

Abstract

Available in

Date

January 1, 2000

Authors

Publisher

Portland State University Library

Related search

Certifying Loop Pipelining Transformations in Behavioral Synthesis

English

Forwarding Unit Generation for Loop Pipelining in High-Level Synthesis

IPSJ Transactions on System LSI Design Methodology

Electronic Engineering

Computer Science Applications

Dutch

Architecture-Level Synthesis for Automatic Interconnect Pipelining

English

Improving Data Locality With Loop Transformations

ACM Transactions on Programming Languages and Systems

English

Dynamic Hazard Resolution for Pipelining Irregular Loops in High-Level Synthesis

English

Loop and Data Transformations for Sparse Matrix Code

ACM SIGPLAN Notices

Computer Science

English

The Transformations of Utility Theory: A Behavioral Perspective

Journal of Bioeconomics

English

An Iteration Space Visualizer for Polyhedral Loop Transformations in Numerical Programming

English

Pipelining-Dovetailing: A Transformation to Enhance Software Pipelining for Nested Loops

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English