Scalable Parallel Implementation of Constraint Programs on Distributed Network of SMPs
Efficient scalable implementations of Constraint
Logic Programming Systems are being designed. To date,
a model based on stack-splitting has been proposed
to realize efficient distributed implementations of
constraint-based system. The implementation of this
model on a distributed network of SMPs on top of a
sequential engine from ALS, Inc., is
currently in progress. Other NMSU people involved are
Prof. Enrico Pontelli, Hai-Feng Guo, and Karen Villaverde.
The project is being
done in collaboration with ALS, Inc., Federal University
of Rio de Janeiro and Federal University of Rio Grande do Sul (Brazil),
University of Porto (Portugal) and is funded by NSF and a Department
of Education graduate fellowship.