Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification., , , and . Formal Methods in System Design, 2 (1): 45-72 (1993)Strategy for power efficient combined task and data parallelism exploration illustrated on a QSDPCM video codec., , , and . Journal of Systems Architecture, 45 (10): 791-808 (1999)Switch-Electrical Segmented Waveform Relaxation for Digital MOS VLSI and Its Acceleration on Parallel Computers., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 6 (6): 992-1005 (1987)Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management., , , , , , , , and . VLSI Signal Processing, 21 (3): 185-194 (1999)Program transformation strategies for memory size and power reduction of pseudoregular multimedia subsystems., , and . IEEE Trans. Circuits Syst. Video Techn., 8 (6): 719-733 (1998)Memory Size Reduction Through Storage Order Optimization for Embedded Parallel Multimedia Applications., , and . Parallel Computing, 23 (12): 1811-1837 (1997)Invited Address: Future Systems-on-a-Chip: Impact on Engineering Education.. VLSI Design, page 572-577. IEEE Computer Society, (1998)Code Transformations for Reduced Data Transfer and Storage in Low Power Realisations of MPEG-4 Full-Pel Motion Estimation., , , and . ICIP (3), page 985-989. (1998)Space-time chip equalizer receivers for WCDMA forward link with time-multiplexed pilot., , , , , and . VTC Fall, page 1058-1062. IEEE, (2001)Flexible hardware acceleration for multimedia oriented microprocessors., , , , and . MICRO, page 171-177. ACM/IEEE Computer Society, (2000)