Sciweavers

7092 search results - page 256 / 1419
» Parallelizing constraint programs
Sort
View
ICPPW
2002
IEEE
15 years 5 months ago
High Performance Air Pollution Simulation Using OpenMP
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
Marta Parada, María J. Martín, Ramon...
92
Voted
IJHPCA
2007
130views more  IJHPCA 2007»
15 years 16 days ago
A Composition Environment for MPI Programs
While MPI is the most common mechanism for expressing parallelism, MPI programs are not composable by using current MPI process managers or parallel shells. We introduce MPISH2, an...
Narayan Desai, Ewing L. Lusk, Rick Bradshaw
POPL
2009
ACM
16 years 1 months ago
Relaxed memory models: an operational approach
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
Gérard Boudol, Gustavo Petri
UAI
2008
15 years 2 months ago
Partitioned Linear Programming Approximations for MDPs
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
Branislav Kveton, Milos Hauskrecht
86
Voted
CORR
2002
Springer
81views Education» more  CORR 2002»
15 years 13 days ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint