6939 search results - page 1098 / 1388 » Algorithm Engineering for Parallel Computation |
219
click to vote
APCSAC
2003
IEEE
16 years 14 days ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...
202
click to vote
CONCUR
2003
Springer
16 years 12 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
181
click to vote
GCC
2003
Springer
16 years 12 days ago
2003
Springer
Due to their minimum consideration to an actual network topology, the existing peer-to-peer (P2P) overlay networks will lead to high latency and low efficiency. In TaChord, we pres...
158
click to vote
ICCS
2003
Springer
16 years 12 days ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
203
click to vote
IPTPS
2003
Springer
16 years 11 days ago
2003
Springer
We introduce a distributed hash table (DHT) with logarithmic degree and logarithmic dilation. We show two lookup algorithms. The first has a message complexity of log n and is ro...