Filtrer vos résultats
- 44
- 20
- 50
- 9
- 3
- 1
- 1
- 64
- 2
- 2
- 1
- 3
- 1
- 3
- 4
- 4
- 5
- 8
- 5
- 5
- 1
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 1
- 41
- 23
- 39
- 19
- 12
- 5
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 64
- 15
- 8
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
64 résultats
Analyse statique de consommation mémoire pour un langage fonctionnel/impératif typéVingt-sixièmes journées francophones des langages applicatifs, Jan 2015, Val d'Ajol, France
Communication dans un congrès
hal-01212788v1
|
|||
|
Compositional certification: the CERCLES2 projectEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Communication dans un congrès
hal-02272116v1
|
||
|
Typer la dé-sérialisation sans sérialiser les typesJFLA06, Jan 2006, Pauillac, France. pp.133-146
Communication dans un congrès
hal-00145454v1
|
||
HirondML : Fair Threads Migrations for Objective CamlThird Workshop on High-Level Parallel Programming and Applications, Jul 2005, United Kingdom
Communication dans un congrès
hal-00154880v1
|
|||
|
Objective Caml on .NET: The OCamIL Compiler and ToplevelMay 2005, pp.109-120
Communication dans un congrès
hal-00003784v2
|
||
|
Accelerating OCaml programs on FPGA15th International Symposium on High-level Parallel Programming and Applications (HLPP 2022), Jul 2022, Porto, Portugal
Communication dans un congrès
hal-03921136v1
|
||
O’Jacaré : un pont entre OCaml et Java4ème Conférence en IngénieriE du Logiciel, Jun 2015, Bordeaux, France
Communication dans un congrès
hal-01213292v1
|
|||
|
Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveauCompas'13, Jan 2013, Grenoble, France. pp.8
Communication dans un congrès
hal-00838345v1
|
||
|
SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAMLParallel Processing Letters, 2012, 22 (2), pp.1240007. ⟨10.1142/S0129626412400075⟩
Article dans une revue
hal-00697257v1
|
||
Synchronous Web Programming,International Workshop on Reactive and Event-Based Languages and Systems (REBLS), Oct 2016, Amsterdam, Netherlands. ⟨10.1145/3001929.3001931⟩
Communication dans un congrès
hal-01468888v1
|
|||
Certified development tools implementation in objective caml.International Symposium on Practical Aspects of Declarative Languages PADL 08, Jan 2008, San Francisco, United States. pp.1--15
Communication dans un congrès
hal-00319700v1
|
|||
Interopérabilité avec Objective CamlRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 24 (9), pp.1055-1080
Article dans une revue
hal-00145249v1
|
|||
Work-in-Progress: mixing computation and interaction on FPGAInternational Conference on Embedded Software (EMSOFT 2023), Sep 2023, Hambourg, Germany
Communication dans un congrès
hal-04260840v1
|
|||
Experiments with SpocWorkshop OpenGPU, HIPEAC 2012, Jan 2012, Paris, France
Communication dans un congrès
hal-01282257v1
|
|||
SPOC : GPGPU programming through Stream Processing with OCamlHLPGPU2012 workshop, Jan 2012, Paris, France. pp.1-8
Communication dans un congrès
hal-01273213v1
|
|||
Profiling High Level Heterogeneous ProgramsTenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Jan 2017, Stockholm, Sweden
Communication dans un congrès
hal-01468891v1
|
|||
Efficient Abstractions for GPGPU ProgrammingInternational Symposium on High-level Parallel Programming and Applications, Jul 2013, Paris, France
Communication dans un congrès
hal-01216144v1
|
|||
O'Jacare : une interface objet entre Objective Caml et JavaRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2004, 10 (2-3), pp.75-88
Article dans une revue
hal-00145247v1
|
|||
Compositional certification: the CERCLES2 projectEmbedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. pp.582-591
Communication dans un congrès
hal-01215230v1
|
|||
|
A Mechanized Theory of Program RefinementICFEM 2019 - 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.305-321, ⟨10.1007/978-3-030-32409-4_19⟩
Communication dans un congrès
hal-02367566v1
|
||
Développement d'applications avec Objective CamlO'Reilly France, pp.400, 2000
Ouvrages
hal-00528476v1
|
|||
A portable implementation for Objective Caml flightParallel Processing Letters, 2003, 13 (3), pp.425-436
Article dans une revue
hal-00153378v1
|
|||
|
Unification des couleurs dans un lambda-calcul polychromeJournées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Communication dans un congrès
hal-00918944v1
|
||
Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certification frameworkThe 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), Aug 2009, Edinburgh, United Kingdom. pp.215-220, ⟨10.1145/1596550.1596582⟩
Communication dans un congrès
hal-00396371v1
|
|||
Programming microcontrollers through high-level abstractionsVMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, Nov 2020, Chicago / Virtual, United States. pp.5-14, ⟨10.1145/3427765.3428495⟩
Communication dans un congrès
hal-03154265v1
|
|||
High-Performance GPGPU Programming with OCamlThe OCaml Users and Developers Workshop, Sep 2013, Boston, MA, United States
Communication dans un congrès
hal-01215694v1
|
|||
High Level GPGPU Programming with Parallel SkeletonsPATTERNS FOR PARALLEL PROGRAMMING ON GPUS, Saxe-Coburg Publications, 2014
Chapitre d'ouvrage
hal-01221724v1
|
|||
Typage des langages de programmationTechniques de l'ingénieur, ref. article : h3320, Editions T.I., 2018
Chapitre d'ouvrage
hal-03154267v1
|
|||
|
PRATIQUE DES LANGAGES FONCTIONNELS TYPESAutre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003
HDR
tel-00009013v1
|
||
Applications du toplevel embarqué d'Objective CamlJan 2004, pp.91-106
Communication dans un congrès
hal-00154507v1
|