487 search results - page 27 / 98 » A Compiled Implementation of Normalization by Evaluation |
172
Voted
ACMMSP
2006
ACM
15 years 5 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
126
click to vote
AOSD
2011
ACM
14 years 3 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
102
click to vote
ISCA
2005
IEEE
15 years 5 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
IWPC
1999
IEEE
15 years 4 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
87
Voted
TVLSI
2008
14 years 11 months ago
2008
Recently, it has become possible to implement floating-point cores on field-programmable gate arrays (FPGAs) to provide acceleration for the myriad applications that require high-p...