487 search results - page 32 / 98 » A Compiled Implementation of Normalization by Evaluation |
HASKELL
2005
ACM
15 years 5 months ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
101
click to vote
ADC
1999
Springer
15 years 4 months ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
EUROPAR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Fine-grained software-based distributed shared memory (SWDSM) systems typically maintain coherence with in-line checking code at load and store operations to shared memor...