The purpose of this paper is to treat digit set conversions and digit recodings in terms of primitive recoding operations that have elementary implementations.The partial compressions and roundings are each associated with borrow-save or carry-save recodings implementable in one level of logic. Iterative utilization of recoding have application for : i) reducing the range of truncated lower order digits of a redundant binary operand to intervals less than a 2 ulp range (-1, 1) approaching 1 ulp, ii) truncating strings of leading insignificant digits in a redundant binary operand, iii) realizing Booth recoding for radices 2k, k >= 2, by realizing the symmetric minimal redundant digit set for 2k for all k bit substring of a redundant binary o...
Given a set $L$ of $n$ points in the $d$-dimensional Cartesian space $E^d$, and a query specifying a...
Prosodic boundary detection is important to disambiguate parsing, especially in spontaneous speech, ...
AbstractThere are two quite different possibilities for implementing linear head reduction in λ-calc...
AbstractMuch recent work on the compilation of statically typed languages such as ML relies on the p...
This paper deals with the computation of reciprocals, square roots, inverse square roots, and some e...
AbstractλS extends the λ-calculus with recursive bindings, barriers, and updatable memory cells with...
We consider the problem of reporting the pairwise enclosures among a set of $n$ axes-parallel rectan...
We address the concurrent rebalancing of almost balanced binary search trees (AVL trees). Such a reb...
Constructive logic can be used to consider program specifications as logical formulas. The advantage...
12 pagesInternational audienceArray remappings are useful to many applications on dis tributed memor...
The Table Maker's Dilemma is the problem of always getting correctly rounded results when computing ...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
AbstractAn additional isotropic internal variable is utilized to extend the Bodner Partom unified vi...
La compression des données est la technique informatique qui vise à réduire la taille de l’informati...
We aim to develop a finite volume method which applies to a greater class of meshes than other finit...
Given a set $L$ of $n$ points in the $d$-dimensional Cartesian space $E^d$, and a query specifying a...
Prosodic boundary detection is important to disambiguate parsing, especially in spontaneous speech, ...
AbstractThere are two quite different possibilities for implementing linear head reduction in λ-calc...
AbstractMuch recent work on the compilation of statically typed languages such as ML relies on the p...
This paper deals with the computation of reciprocals, square roots, inverse square roots, and some e...
AbstractλS extends the λ-calculus with recursive bindings, barriers, and updatable memory cells with...
We consider the problem of reporting the pairwise enclosures among a set of $n$ axes-parallel rectan...
We address the concurrent rebalancing of almost balanced binary search trees (AVL trees). Such a reb...
Constructive logic can be used to consider program specifications as logical formulas. The advantage...
12 pagesInternational audienceArray remappings are useful to many applications on dis tributed memor...
The Table Maker's Dilemma is the problem of always getting correctly rounded results when computing ...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
AbstractAn additional isotropic internal variable is utilized to extend the Bodner Partom unified vi...
La compression des données est la technique informatique qui vise à réduire la taille de l’informati...
We aim to develop a finite volume method which applies to a greater class of meshes than other finit...
Given a set $L$ of $n$ points in the $d$-dimensional Cartesian space $E^d$, and a query specifying a...
Prosodic boundary detection is important to disambiguate parsing, especially in spontaneous speech, ...
AbstractThere are two quite different possibilities for implementing linear head reduction in λ-calc...