1445 search results - page 186 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
200
click to vote
PPDP
2007
Springer
16 years 23 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
169
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
181
click to vote
WDAG
2005
Springer
16 years 3 days ago
2005
Springer
We investigate issues related to the probe complexity of the And-Or quorum system and its implementation in a dynamic environment. Our contribution is twofold: We first analyze th...
188
click to vote
CASES
2004
ACM
16 years 2 days ago
2004
ACM
A coarse-grain multithreaded processor can effectively hide long memory latencies by quickly switching to an alternate task when the active task issues a memory request, improving...
192
click to vote
SIGCOMM
2004
ACM
16 years 2 days ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and file-sharing, there is lit...