Filter your results
- 6
- 6
- 5
- 2
- 1
- 20
- 10
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 5
- 14
- 5
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 19
- 19
- 19
- 14
- 10
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 2
- 1
- 16
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 2
|
|
sorted by
|
|
CamlDimSoftware hal-01863457v1 |
||
|
Image segmentation with multidimensional refinement indicatorsInverse 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
|
||
|
Couplage de codes numériques, parallélisme et langages de haut niveau[Rapport de recherche] RR-4825, INRIA. 2003
Reports
inria-00071761v1
|
||
|
Wave equation numerical resolution: a comprehensive mechanized proof of a C programJournal of Automated Reasoning, 2013, 50 (4), pp.423-456. ⟨10.1007/s10817-012-9255-4⟩
Journal articles
hal-00649240v3
|
||
|
Polymorphic type inference and assignmentPOPL 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 OCamlP3lProceedings of the International Conference ParCo 2005, Sep 2005, France. pp.811-818
Conference papers
hal-00149565v1
|
|||
Skeletal Parallel Programming with OCAMLP3L 2.0Parallel Processing Letters, 2008, 18 (1), pp.149-164
Journal articles
hal-00265664v1
|
|||
|
On the implementation of construction functions for non-free concrete data types16th 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
|
||
|
Trusting computations: a mechanized proof from partial differential equations to actual programComputers & Mathematics with Applications, 2014, 68 (3), pp.28. ⟨10.1016/j.camwa.2014.06.004⟩
Journal articles
hal-00769201v3
|
||
|
Polymorphic type inference and assignmentRR-1327, INRIA. 1990
Reports
inria-00075233v1
|
||
|
OcamlP3l release 2.03Software hal-02487579v1 |
||
|
The multi-dimensional refinement indicators algorithm for optimal parameterizationJournal of Inverse and Ill-posed Problems, 2008, 16 (2), pp.107-126. ⟨10.1515/JIIP.2008.008⟩
Journal articles
inria-00079668v6
|
||
|
The CAML reference manual[Research Report] RT-0121, INRIA. 1990, pp.491
Reports
inria-00070046v1
|
||
Domain decomposition and skeleton programming with OCamlP3lParallel Computing, 2006, 32 (7-8), pp.539-550. ⟨10.1016/j.parco.2006.04.003⟩
Journal articles
istex
hal-00149564v1
|
|||
|
Formal proof of a wave equation resolution scheme: the method errorITP'10 - Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.147-162, ⟨10.1007/978-3-642-14052-5_12⟩
Conference papers
inria-00450789v3
|
||
|
Translating Simulink Models to Modelica using the Nsp Platform2019, ⟨10.3384/ecp19157841⟩
Proceedings
hal-01948681v2
|
||
|
1+1=1 : an optimizing Caml compiler[Research Report] RR-2301, INRIA. 1994
Reports
inria-00074372v1
|
||
|
Format Unraveled28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers
hal-01503081v1
|
||
Skeletal parallel programming with OCamlP3L 2.0Proceedings of Third International Workshop on High-level Parallel Programming and Applications (HLPP 2005), Jul 2005, Warwick, United Kingdom
Conference papers
hal-00154353v1
|
|||
|
Parallel Programming with the System Applications to Numerical Code Coupling[Research Report] RR-5131, INRIA. 2004
Reports
inria-00071452v1
|