Michel Leconte

Learn More
Constraints generated for Program Verification tasks very often involve integer variables ranging on all the machine-representable integer values. Thus, if the propagation takes a time that is linear in the size of the domains, it will not reach a fix point in practical time. Indeed, the propagation time needed to reduce the interval domains for as simple(More)
Rule-based programming has been gaining interest in the industry for several years, through the growing use of Business Rules Management Systems. A demand for verification of semantic properties on rule programs has thus emerged. In this paper we present an approach to rule program verification, using constraints to model program executions and verification(More)
Spatial resolution is the main instrumental requirement for the multi-spectral optical space missions that address the scientific issues of marine coastal systems. This spatial resolution should be at least decametric. Aquatic color data processing associated with these environments requires specific atmospheric corrections (AC) suitable for the spectral(More)
Transport-barrier relaxation oscillations in the presence of resonant magnetic perturbations are investigated using three-dimensional global fluid turbulence simulations from first principles at the edge of a tokamak. It is shown that resonant magnetic perturbations have a stabilizing effect on these relaxation oscillations and that this effect is due(More)
Several aspects of plasma turbulence and transport at a tokamak edge have been studied by three dimensional numerical simulations of resistive ballooning turbulence in a toroidal geometry. These simulations have been realized with a three dimensional global code which calculates the evolution of the pressure and the electrostatic potential at the plasma(More)
  • 1