Institution: | Team SIMPAF--INRIA Futurs, CNRS & Université Lille 1, Laboratoire Paul Painlevé, UMR CNRS 8524, Cité Scientifique, 59655 Villeneuve D'Ascq Cedex, France ; Team SIMPAF--INRIA Futurs, CNRS & Université Lille 1, Laboratoire Paul Painlevé, UMR CNRS 8524, Cité Scientifique, 59655 Villeneuve D'Ascq Cedex, France |