H. De Man

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Critically Subsampled Filterbanks for SISO Reed–Solomon Decoding IEEE Transactions on Signal Processing	2017-10-30	Paper
Systematic application of data transfer and storage optimizing code transformations for power consumption and execution time reduction in ACROPOLIS: A pre-compiler for multimedia applications Design Automation for Embedded Systems	2003-03-25	Paper
A specification refinement methodology for power efficient partitioning of data-dominated algorithms within performance constraints Journal of VLSI signal processing systems for signal, image and video technology	2002-04-15	Paper
scientific article; zbMATH DE number 1689864 (Why is no real title available?)	2002-01-14	Paper
A proof of the nonrestoring division algorithm and its implementation on an ALU Formal Methods in System Design	1994-03-03	Paper
On the comparison of HOL and Boyer-Moore for formal hardware verification Formal Methods in System Design	1993-09-30	Paper
scientific article; zbMATH DE number 139822 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 139976 (Why is no real title available?)	1993-03-28	Paper
The adjoint switched capacitor network and its application to frequency, noise and sensitivity analysis International Journal of Circuit Theory and Applications	1981-01-01	Paper

Research outcomes over time

This page was built for person: H. De Man