A new algorithm for bounding the bit-widths of the data registers of an acyclic data-flow graph is presented. The method, based on the propagation of two's complement fixed-point numerical ranges, can be applied to both linear and nonlinear time invariant flow graphs and is well suited to be implemented in Field Programmable Gate Arrays (FPGA's). Numerical values are represented by unions of intervals, allowing automatic monitoring of the growth of the number of bits needed to represent the integer and the fractional part of intermediate variables. Central to this method is the definition of a new interval arithmetic on fixed point multi-intervals. An application of the proposed algorithm to the problem of detecting two dimensional visual f...
We discuss interval techniques for speeding up the exact evaluation of geometric predicates and desc...
The designing process of high resolution time interval measurement systems creates many problems tha...
This paper presents a novel optimization technique for the design of application specific integrated...
A new algorithm for bounding the bit-widths of the data registers of an acyclic data-flow graph is p...
Interval methods represent a relatively new research direction in digital sig-nal processing. Though...
We describe a method for the formal determination of signal bit width in fixed points VLSI implement...
Time-critical sections of multi-dimensional problems, such as image processing applications, are in ...
Automatic bitwidth analysis is a key ingredient for highlevel programming of FPGAs and high-level sy...
The paper presents an algorithm to determine the close-to-smallest possible data buffer sizes for ar...
This paper presents a new technique for automatically detecting interval constraints for swept volum...
This paper presents a new technique for automatically detecting interval constraints for swept volum...
Many DSP and Control applications that require the user to know how various numerical errors(uncerta...
AbstractAn assignment of unique integers to the vertices of a graph is called a linear layout. The b...
Specifications of data computations may not necessar-ily describe the ranges of the intermediate res...
In this work, an efficient refinement scheme is proposed for interval calculation of GMM-based class...
We discuss interval techniques for speeding up the exact evaluation of geometric predicates and desc...
The designing process of high resolution time interval measurement systems creates many problems tha...
This paper presents a novel optimization technique for the design of application specific integrated...
A new algorithm for bounding the bit-widths of the data registers of an acyclic data-flow graph is p...
Interval methods represent a relatively new research direction in digital sig-nal processing. Though...
We describe a method for the formal determination of signal bit width in fixed points VLSI implement...
Time-critical sections of multi-dimensional problems, such as image processing applications, are in ...
Automatic bitwidth analysis is a key ingredient for highlevel programming of FPGAs and high-level sy...
The paper presents an algorithm to determine the close-to-smallest possible data buffer sizes for ar...
This paper presents a new technique for automatically detecting interval constraints for swept volum...
This paper presents a new technique for automatically detecting interval constraints for swept volum...
Many DSP and Control applications that require the user to know how various numerical errors(uncerta...
AbstractAn assignment of unique integers to the vertices of a graph is called a linear layout. The b...
Specifications of data computations may not necessar-ily describe the ranges of the intermediate res...
In this work, an efficient refinement scheme is proposed for interval calculation of GMM-based class...
We discuss interval techniques for speeding up the exact evaluation of geometric predicates and desc...
The designing process of high resolution time interval measurement systems creates many problems tha...
This paper presents a novel optimization technique for the design of application specific integrated...