10848 search results - page 2041 / 2170 » Programming in Biomolecular Computation |
185
click to vote
ASIAN
2004
Springer
16 years 8 days 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,...
199
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
167
click to vote
ICALP
2004
Springer
16 years 7 days ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
197
click to vote
ICS
2004
Tsinghua U.
16 years 7 days ago
2004
Tsinghua U.
The Cray X1 was recently introduced as the first in a new line of parallel systems to combine high-bandwidth vector processing with an MPP system architecture. Alongside capabili...
206
click to vote
ICS
2004
Tsinghua U.
16 years 7 days 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...