7092 search results - page 260 / 1419 » Parallelizing constraint programs |
99
Voted
IPCO
2007
15 years 2 months ago
2007
A conic integer program is an integer programming problem with conic constraints. Conic integer programming has important applications in finance, engineering, statistical learnin...
112
Voted
POPL
2009
ACM
15 years 7 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
96
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present a novel hardware mechanism for dynamic program phase detection in distributed sharedmemory (DSM) multiprocessors. We show that successful hardware mechanisms for pha...
105
click to vote
ICDCS
1998
IEEE
15 years 4 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
107
click to vote
AAIM
2009
Springer
15 years 7 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...