7092 search results - page 424 / 1419 » Parallelizing constraint programs |
169
click to vote
USENIX
2001
15 years 9 months ago
2001
We desired a platform for researching advanced window layout paradigms including the use of constraints. Typical window management systems are written entirely in C or C++, compli...
220
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
163
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
The results produced by five different MPI benchmark programs on an SGI Altix 3700 are analyzed and compared. There are significant differences in the results for some MPI operati...
198
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
205
click to vote
PPSN
2000
Springer
15 years 11 months ago
2000
Springer
To investigate the fundamental causes of bloat, six artificial random binary tree search spaces are presented. Fitness is given by program syntax (the genetic programming genotype)...