7092 search results - page 239 / 1419 » Parallelizing constraint programs |
74
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Targeted optimization of program segments can provide an additional program speedup over the highest default optimization level, such as -O3 in GCC. The key challenge is how to au...
111
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
94
Voted
JSW
2008
15 years 16 days ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
100
click to vote
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...
101
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...