7456 search results - page 1180 / 1492 » Parallelism in Logic Programs |
156
click to vote
ASPLOS
2009
ACM
15 years 12 months ago
2009
ACM
This paper presents a performance analysis of an accelerated 2-D rigid image registration implementation that employs the Compute Unified Device Architecture (CUDA) programming e...
136
click to vote
KBSE
2009
IEEE
15 years 12 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
147
click to vote
CISIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
145
Voted
FOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
142
click to vote
LADS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...