Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

20 Results
Author: personID (integer) : 833428
Image document

CamlDim

Bruno Blanchet , Xavier Leroy , Damien Doligez , François Rouaix , Jérôme Vouillon et al.
Software hal-01863457v1
Image document

Image segmentation with multidimensional refinement indicators

Hend Ben Ameur , Guy Chavent , François Clément , Pierre Weis
Inverse Problems in Science and Engineering, 2011, Special Issue: Proceedings of the 5th International Conference on Inverse Problems: Modeling and Simulation, May 24th-29th, 2010, held in Antalya, Turkey, 19 (5), pp.577-597. ⟨10.1080/17415977.2011.579609⟩
Journal articles inria-00533799v3
Image document

Couplage de codes numériques, parallélisme et langages de haut niveau

François Clément , Arnaud Vodicka , Roberto Di cosmo , Pierre Weis
[Rapport de recherche] RR-4825, INRIA. 2003
Reports inria-00071761v1
Image document

Wave equation numerical resolution: a comprehensive mechanized proof of a C program

Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond et al.
Journal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Journal articles hal-00649240v3
Image document

Polymorphic type inference and assignment

Xavier Leroy , Pierre Weis
POPL 1991: 18th symposium Principles of Programming Languages, ACM, Jan 1991, Orlando, United States. pp.291-302, ⟨10.1145/99583.99622⟩
Conference papers hal-01499974v1

Domain Decomposition and Skeleton Programming with OCamlP3l

François Clément , Vincent Martin , Arnaud Vodicka , Roberto Di Cosmo , Pierre Weis et al.
Proceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
Conference papers hal-00149565v1

Skeletal Parallel Programming with OCAMLP3L 2.0

Roberto Di Cosmo , Zheng Li , Susanna Pelagatti , Pierre Weis
Parallel Processing Letters, 2008, 18 (1), pp.149-164
Journal articles hal-00265664v1
Image document

On the implementation of construction functions for non-free concrete data types

Frédéric Blanqui , Thérèse Hardin , Pierre Weis
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.95-109, ⟨10.1007/978-3-540-71316-6_8⟩
Conference papers inria-00095110v1
Image document

Trusting computations: a mechanized proof from partial differential equations to actual program

Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond et al.
Computers & Mathematics with Applications, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Journal articles hal-00769201v3
Image document

Polymorphic type inference and assignment

Xavier Leroy , Pierre Weis
RR-1327, INRIA. 1990
Reports inria-00075233v1
Image document

OcamlP3l release 2.03

Roberto Di Cosmo , Pierre Weis , Francois Clement , Zheng Li
Software hal-02487579v1
Image document

The multi-dimensional refinement indicators algorithm for optimal parameterization

Hend Ben Ameur , François Clément , Pierre Weis , Guy Chavent
Journal of Inverse and Ill-posed Problems, 2008, 16 (2), pp.107-126. ⟨10.1515/JIIP.2008.008⟩
Journal articles inria-00079668v6
Image document

The CAML reference manual

Pierre Weis , Maria Virginia Aponte , Alain Laville , Michel Mauny , Ascander Suarez et al.
[Research Report] RT-0121, INRIA. 1990, pp.491
Reports inria-00070046v1

Domain decomposition and skeleton programming with OCamlP3l

François Clément , Vincent Martin , Arnaud Vodicka , Roberto Di Cosmo , Pierre Weis et al.
Parallel Computing, 2006, 32 (7-8), pp.539-550. ⟨10.1016/j.parco.2006.04.003⟩
Journal articles istex hal-00149564v1
Image document

Formal proof of a wave equation resolution scheme: the method error

Sylvie Boldo , François Clément , Jean-Christophe Filliâtre , Micaela Mayero , Guillaume Melquiond et al.
ITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Conference papers inria-00450789v3
Image document

Translating Simulink Models to Modelica using the Nsp Platform

Jean-Philippe Chancelier , Sébastien Furic , Pierre Weis
Proceedings hal-01948681v2
Image document

1+1=1 : an optimizing Caml compiler

Manuel Serrano , Pierre Weis
[Research Report] RR-2301, INRIA. 1994
Reports inria-00074372v1
Image document

Format Unraveled

Richard Bonichon , Pierre Weis
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers hal-01503081v1

Skeletal parallel programming with OCamlP3L 2.0

Roberto Di Cosmo , Zheng Li , Susanna Pelagatti , Pierre Weis
Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), Jul 2005, Warwick, United Kingdom
Conference papers hal-00154353v1
Image document

Parallel Programming with the System Applications to Numerical Code Coupling

François Clément , Roberto Di cosmo , Zheng Li , Vincent Martin , Arnaud Vodicka et al.
[Research Report] RR-5131, INRIA. 2004
Reports inria-00071452v1