2343 search results - page 452 / 469 » Structure and Interpretation of Computer Programs |
150
Voted
ADHOCNOW
2004
Springer
15 years 7 months ago
2004
Springer
Consider k particles, 1 red and k −1 white, chasing each other on the nodes of a graph G. If the red one catches one of the white, it “infects” it with its color. The newly ...
125
click to vote
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
143
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
We propose a novel replacement algorithm, called InterReference Gap Distribution Replacement (IGDR), for setassociative secondary caches of processors. IGDR attaches a weight to e...
123
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
120
Voted
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
NMR resonance peak assignment is one of the key steps in solving an NMR protein structure. The assignment process links resonance peaks to individual residues of the target protei...