487 search results - page 16 / 98 » A Compiled Implementation of Normalization by Evaluation |
128
click to vote
IWOMP
2009
Springer
15 years 10 months ago
2009
Springer
OpenMP relies heavily on barrier synchronization to coordinate the work of threads that are performing the computations in a parallel region. A good implementation of barriers is ...
145
click to vote
ISPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
—Super-scalar, out-of-order processors that can have tens of read and write requests in the execution window place significant demands on Memory Level Parallelism (MLP). Multi- ...
127
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
131
click to vote
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
141
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...