487 search results - page 15 / 98 » A Compiled Implementation of Normalization by Evaluation |
111
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
159
Voted
EUROPAR
2007
Springer
15 years 5 months ago
2007
Springer
This paper presents a new version of the OMPi OpenMP C compiler, enhanced by lightweight runtime support based on user-level multithreading. A large number of threads can be spawne...
138
click to vote
DCOSS
2011
Springer
14 years 3 months ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
131
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
113
Voted
ICCD
1993
IEEE
15 years 7 months ago
1993
IEEE
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...