7092 search results - page 436 / 1419 » Parallelizing constraint programs |
127
Voted
COREGRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
144
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
115
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
A new high performance computation technique involving multiple processors on a single silicon die is quickly gaining popularity. This new design approach provides very high perfo...
183
Voted
SCAM
2005
IEEE
15 years 9 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
120
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...