The use of reduced precision to improve performance metrics such as computation latency and power consumption is a common practice in the embedded systems field. This practice is emerging as a new trend in High Performance Computing (HPC), especially when new error-tolerant applications are considered. However, standard compiler frameworks do not support automated precision customization, and manual tuning and code transformation is the approach usually adopted in most domains. In recent years, research have been studying ways to improve the automation of this process. This article surveys this body of work, identifying the critical steps of this process, the most advanced tools available, and the open challenges in this research area. We c...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
Many classes of applications, both in the embedded and high performance domains, can trade off the a...
This article investigates several source-to-source C compilers for extracting pre-execution thread c...
Mixed precision is an approximate computing technique that can be used to trade-off computation accu...
ixed precision is an approximate computing technique that can be used to trade-off computation accur...
International audienceError-tolerating applications are increasingly common in the emerging field of...
International audienceFull-precision Floating-Point Units (FPUs) can be a source of extensive hardwa...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
While tremendously useful, automated techniques for tuning the precision of floating-point programs ...
Given the variety of numerical errors that can occur, floating-point programs are difficult to write...
International audienceThis work studies hardware-specific optimization opportunities currently unexp...
Applying the right compiler optimizations to a particular program can have a significant impact on p...
International audienceOver the last decade, guaranteeing the accuracy of computations relying on the...
Approximating ideal program outputs is a common technique for solving computationally difficult prob...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
Many classes of applications, both in the embedded and high performance domains, can trade off the a...
This article investigates several source-to-source C compilers for extracting pre-execution thread c...
Mixed precision is an approximate computing technique that can be used to trade-off computation accu...
ixed precision is an approximate computing technique that can be used to trade-off computation accur...
International audienceError-tolerating applications are increasingly common in the emerging field of...
International audienceFull-precision Floating-Point Units (FPUs) can be a source of extensive hardwa...
As scientific computation continues to scale, it is crucial to use floating-point arithmetic process...
<p>In this thesis, we design frameworks for efficient and accurate floating point computation. The p...
While tremendously useful, automated techniques for tuning the precision of floating-point programs ...
Given the variety of numerical errors that can occur, floating-point programs are difficult to write...
International audienceThis work studies hardware-specific optimization opportunities currently unexp...
Applying the right compiler optimizations to a particular program can have a significant impact on p...
International audienceOver the last decade, guaranteeing the accuracy of computations relying on the...
Approximating ideal program outputs is a common technique for solving computationally difficult prob...
The floating-point numbers used in computer programs are a finite approximation of real numbers. In ...
Many classes of applications, both in the embedded and high performance domains, can trade off the a...
This article investigates several source-to-source C compilers for extracting pre-execution thread c...