7456 search results - page 1092 / 1492 » Parallelism in Logic Programming |
197
click to vote
ISCAPDCS
2001
15 years 8 months ago
2001
This paper presents the evaluation of a non-blocking, decoupled memory/execution, multithreaded architecture known as the Scheduled Dataflow (SDF). The major recent trend in digit...
156
Voted
ACTA
2004
15 years 6 months ago
2004
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
159
click to vote
JUCS
2000
15 years 6 months ago
2000
: Since the era of vector and pipelined computing, the computational speed is limited by the memory access time. Faster caches and more cache levels are used to bridge the growing ...
177
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
170
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...