7456 search results - page 396 / 1492 » Parallelism in Logic Programming |
287
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
177
click to vote
MICRO
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we present a novel mechanism that implements register renaming, dynamic speculation and precise interrupts. Renaming of registers is performed during the instructio...
191
click to vote
IFIPPACT
1994
15 years 8 months ago
1994
: We describe an approach to parallel compilation that seeks to harness the vast amount of ne-grain parallelism that is exposed through partial evaluation of numerically-intensive ...
179
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose an interconnect reorganization algorithm for reduction stages in parallel multipliers. It aims at minimizing power consumption for given static probabilities at the pri...
202
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...