H. De Man

Available identifiers

zbMath Open de-man.hMaRDI QIDQ241204

List of research outcomes

Publication	Date of Publication	Type
Critically Subsampled Filterbanks for SISO Reed–Solomon Decoding	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	2003-03-25	Paper
A specification refinement methodology for power efficient partitioning of data-dominated algorithms within performance constraints	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2763030	2002-01-14	Paper
A proof of the nonrestoring division algorithm and its implementation on an ALU	1994-03-03	Paper
On the comparison of HOL and Boyer-Moore for formal hardware verification	1993-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q4028158	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028332	1993-03-28	Paper
The adjoint switched capacitor network and its application to frequency, noise and sensitivity analysis	1981-01-01	Paper

Research outcomes over time

This page was built for person: H. De Man