The definitive version of this preliminary work is available here https://hal.archives-ouvertes.fr/hal-01236919v2 or here https://doi.org/10.1002/cpe.3953.We present the SyHD software developed to perform source-to-source transformation improving accuracy without impacting execution time too much. SyHD synthesizes C source code for both accuracy and execution-time criteria. It uses compensation for improving accuracy and transformation strategies for reducing the impact of this improvement on execution time
The significance of a source code translator between Turbo Pascal and Turbo C cannot be underestimat...
Efficient implementation of DSP applications are critical for many embedded systems. Optimising comp...
How to decrease labor and improve reliability in the development of efficient implementations of non...
The definitive version of this preliminary work is available here https://hal.archives-ouvertes.fr/h...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
Numerical accuracy and execution time of programs using the floating-point arithmetic are major chal...
International audienceOver the last decade, guaranteeing the accuracy of computations relying on the...
International audienceHigh-level synthesis (HLS) is a big step forward in terms of design productivi...
International audienceIn floating-point arithmetic, a desirable property of computations is to be ac...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
This paper presents an interactive framework for developing high-performance C code via series of so...
This paper presents a technique for automatic synthesis of high-performance FPGA-based computing mac...
International audienceThis work studies hardware-specific optimization opportunities currently unexp...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
The quality of synthesis results for most, high-level synthesis approaches is strongly affected by t...
The significance of a source code translator between Turbo Pascal and Turbo C cannot be underestimat...
Efficient implementation of DSP applications are critical for many embedded systems. Optimising comp...
How to decrease labor and improve reliability in the development of efficient implementations of non...
The definitive version of this preliminary work is available here https://hal.archives-ouvertes.fr/h...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
Numerical accuracy and execution time of programs using the floating-point arithmetic are major chal...
International audienceOver the last decade, guaranteeing the accuracy of computations relying on the...
International audienceHigh-level synthesis (HLS) is a big step forward in terms of design productivi...
International audienceIn floating-point arithmetic, a desirable property of computations is to be ac...
International audienceNumerical programs with IEEE 754 floating-point computations may suffer from i...
This paper presents an interactive framework for developing high-performance C code via series of so...
This paper presents a technique for automatic synthesis of high-performance FPGA-based computing mac...
International audienceThis work studies hardware-specific optimization opportunities currently unexp...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
The quality of synthesis results for most, high-level synthesis approaches is strongly affected by t...
The significance of a source code translator between Turbo Pascal and Turbo C cannot be underestimat...
Efficient implementation of DSP applications are critical for many embedded systems. Optimising comp...
How to decrease labor and improve reliability in the development of efficient implementations of non...