1150 search results - page 139 / 230 » Advanced MPI Programming |
SAT
2004
Springer
15 years 3 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
77
Voted
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
IWPC
2003
IEEE
2003
IEEE
Comprehending Reality - Practical Barriers to Industrial Adoption of Software Maintenance Automation
15 years 3 months ago
Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
NCA
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper studies the optimal placement of web files for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ...
ASM
2003
ASM
15 years 3 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...