37 search results - page 1 / 8 » cc 2003 |
CC
2003
Springer
14 years 25 days ago
2003
Springer
CC
2003
Springer
14 years 25 days ago
2003
Springer
SPLST
2003
13 years 9 months ago
2003
IPPS
2003
IEEE
14 years 26 days ago
2003
IEEE
Our recent work on uniprocessor and single-node multiprocessor (SMP) active memory systems uses address remapping techniques in conjunction with extended cache coherence protocols...
CC
2003
Springer
14 years 25 days ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...