Author of the publication

Research in Programming Languages for Composability, Safety, and Performance.

, and . ACM Comput. Surv., 28 (4es): 195 (1996)

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

Multiplicative finite impulse response filters: implementations and applications using field programmable gate arrays., , and . IET Signal Process., 9 (5): 449-456 (2015)An FPFA Based Object Recognition Machine., , and . FPL, volume 1482 of Lecture Notes in Computer Science, page 228-237. Springer, (1998)An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System.. FPL, volume 975 of Lecture Notes in Computer Science, page 303-310. Springer, (1995)What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.. TACAS, volume 2619 of Lecture Notes in Computer Science, page 1. Springer, (2003)Model-Driven Construction of Certified Binaries., , , , and . MoDELS, volume 4735 of Lecture Notes in Computer Science, page 666-681. Springer, (2007)Analysis of Time and Frequency Domain Performance of MFIR Filters., , and . ESA, page 323-329. CSREA Press, (2008)On the Accuracy of Digital Phase Sensitive Detectors Implemented in FPGA Technology., , and . IEEE Trans. Instrumentation and Measurement, 63 (8): 1926-1936 (2014)An Improved Two-Step Binary Logarithmic Converter for FPGAs., and . IEEE Trans. Circuits Syst. II Express Briefs, 62-II (5): 476-480 (2015)Two-stage logarithmic converter with reduced memory requirements., and . IET Comput. Digit. Tech., 8 (1): 23-29 (2014)An Implementation of Parametrized Partial Evaluation., and . JTASPEFT/WSA, volume 74 of Series Bigre, page 82-89. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)