2715 search results - page 145 / 543 » An Implementation of Narrowing Strategies |
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
201
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
161
click to vote
PDP
1995
IEEE
15 years 9 months ago
1995
IEEE
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
126
click to vote
ASAP
2009
IEEE
16 years 3 months ago
2009
IEEE
—In this paper we consider a multiresolution filter and its realization on the Cell BE and GPUs. We not only present common and specific optimization strategies undertaken for ...
122
click to vote
ISQED
2009
IEEE
16 years 27 days ago
2009
IEEE
— Voltage interpolation is a promising post fabrication technique for combating the effects of process variations. The benefits of voltage interpolation are well understood. It...