487 search results - page 10 / 98 » A Compiled Implementation of Normalization by Evaluation |
111
click to vote
CC
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
104
click to vote
DAGSTUHL
1996
15 years 26 days ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
100
click to vote
ICS
2004
Tsinghua U.
15 years 4 months ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
CIS
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, a new approach on image registration is presented. We introduce a novel conception- normal vector information (NVI) - to evaluate the similarity between two images. ...
126
click to vote
ARITH
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...