Author :
Borriello, Gaetano ; Verkest, D. ; Cathoor, F.
Author_Institution :
University of Washington
Keywords :
Algorithm design and analysis; Conferences; Formal specifications; Hardware; Integrated circuit synthesis; Memory management; Multimedia communication; Partitioning algorithms; Scheduling; Signal processing algorithms;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
DOI :
10.1109/TCAD.1999.739053
