#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1984

2017

- This year (1)
- Last 5 years (1)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jean-François Puget, Michel Leconte
- ILPS
- 1995

Constraint Logic Programming (CLP) is a very active research area. One reason being that nite domain CLP systems have been successfully applied to various combinatorial optimization problems such as time tabling, scheduling, frequency allocation, manpower planning, production planning. State of the art nite domain CLP languages o er programming constructs… (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)

- Bruno Berstel, Michel Leconte
- 2010 Third International Conference on Software…
- 2010

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)

Constraint solving over finite-sized integers involves the definition of propagators able to capture modular (a.k.a. wrap-around) integer computations. In this paper, we propose efficient propagators for a fragment of modular integer constraints including adders, multipliers and comparators. Our approach is based on the original notion of Clockwise Interval… (More)

- Michel Leconte
- Theor. Comput. Sci.
- 1985

- Michel Leconte
- Automata on Infinite Words
- 1984

- Michel Leconte
- 2007

A Constraint Programming Solver (CP Solver) encouters slow convergence when propagation takes a time that is linear in the size of the domains. Such a phenomenon occurs for instance on as simple integer equations as x = 2y + 1 and x = 2z. Constraints generated for Program Verification tasks very often involve variables ranging on all the… (More)

- Driss Bru, Bertrand Lubac, +5 authors Cédric Jamet
- Remote Sensing
- 2017

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)

- M Leconte, P Beyer, X Garbet, S Benkadda
- Physical review letters
- 2009

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)

- G. Fuhr, S. Benkadda, +7 authors S. Hamaguchi
- 2008

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
- ›