7456 search results - page 385 / 1492 » Parallelism in Logic Programming |
178
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
164
click to vote
ISPA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
192
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...
216
click to vote
HIPEAC
2011
Springer
14 years 6 months ago
2011
Springer
Much compiler-orientated work in the area of mapping parallel programs to parallel architectures has ignored the issue of external workload. Given that the majority of platforms w...
160
click to vote
ADAEUROPE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...