The fast Poisson solvers based on FFT computations are among the fastest techniques to solve Poisson problems on uniform grids. In this report, we present two parallel distributed implementations of a 3D fast Poisson solver in the context of the atmospheric simulation code Meso-NH 2]. The rst parallel implementation consists in implementing data movement between each computational step so that ...

Experience using constraint programming to solve real-life problems has shown that nding an eecient solution to the problem often requires experimentation with diierent constraint solvers or even building a problem-speciic constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-deened solver interface, mutable globa...

Factotum, a software system for implementing symbolic computing systems, provides an uniform subterm sharing facility based on congruence that automatically detects and imposes sharing of equivalent structures independantly of client code. In the presence of this automatic facility, the meaning of structure updates is dangerously ambiguous. We explain how we resolve this problem in the Factotum...

MATLAB® has emerged as one of the languages most commonly used by scientists and engineers for technical computing, with approximately one million users worldwide. The primary benefits of MATLAB are reduced code development time via high levels of abstractions (e.g. first class multi-dimensional arrays and thousands of built in functions), interpretive, interactive programming, and powerful mat...