Filter your results
- 44
- 18
- 49
- 8
- 3
- 1
- 1
- 62
- 2
- 1
- 3
- 1
- 3
- 4
- 4
- 5
- 8
- 5
- 5
- 1
- 2
- 2
- 2
- 3
- 2
- 5
- 3
- 1
- 39
- 23
- 39
- 19
- 10
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 62
- 15
- 8
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 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
62 Results
Hirondml: Fair Threads Migrations for Objective CamlParallel Processing Letters, 2008, 18 (1), pp.55-69. ⟨10.1142/S0129626408003223⟩
Journal articles
hal-00522883v1
|
|||
Couverture de code Caml pour la réalisation d'outils de développement certifiésJournées Francophones des Langages Applicatifs (JFLA 2007), Jan 2007, Aix-les-Bains, France. pp.71-86
Conference papers
hal-00154883v1
|
|||
A portable Implementation for Objective Caml FlightSecond Workshop on High-Level Parallel Programming and Applications, Jun 2003, France
Conference papers
hal-00154884v1
|
|||
Typer la désérialisation sans sérialiser les typesRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090
Journal articles
hal-00275358v1
|
|||
|
Typing Unmarshalling without Marshalling TypesInternational Conference on Functional Programming, Sep 2012, Copenhagen, Denmark. pp.287-298, ⟨10.1145/2364527.2364569⟩
Conference papers
hal-01282253v1
|
||
|
Concurrent Programming of Microcontrollers, a Virtual Machine Approach8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720
Conference papers
hal-01292266v1
|
||
La programmation de microcontrôleurs dans des langages de haut niveau - Cours invitéJFLA 2018 - Journées Francophones des Langages Applicatifs , Jan 2018, BANYULS, France
Conference papers
hal-01762414v1
|
|||
|
Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.93-109
Conference papers
hal-03626795v1
|
||
Efficient Abstractions for GPGPU ProgrammingInternational Journal of Parallel Programming, 2014, 42 (4), pp.583-600. ⟨10.1007/s10766-013-0261-x⟩
Journal articles
hal-01146170v1
|
|||
Certification de l’assemblage de composants dans le développement de logiciels critiquesApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Jun 2014, Paris, France. pp.109-114
Conference papers
hal-01215641v1
|
|||
Static Typing and JavaScript Libraries: Towards a More Considerate RelationshipInternational World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17
Conference papers
hal-01216057v1
|
|||
|
Non-Intrusive Structural Coverage for Objective Caml5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Mar 2010, Paphos, Cyprus. pp.59--73, ⟨10.1016/j.entcs.2011.02.006⟩
Conference papers
hal-00497131v1
|
||
OCaml sur circuit FPGAJFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs, Apr 2021, en ligne, France
Conference papers
hal-03437059v1
|
|||
Experiments with SpocWorkshop OpenGPU, HIPEAC 2012, Jan 2012, Paris, France
Conference papers
hal-01282257v1
|
|||
SPOC : GPGPU programming through Stream Processing with OCamlHLPGPU2012 workshop, Jan 2012, Paris, France. pp.1-8
Conference papers
hal-01273213v1
|
|||
Profiling High Level Heterogeneous ProgramsTenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Jan 2017, Stockholm, Sweden
Conference papers
hal-01468891v1
|
|||
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
Journal articles
hal-00145247v1
|
|||
Efficient Abstractions for GPGPU ProgrammingInternational Symposium on High-level Parallel Programming and Applications, Jul 2013, Paris, France
Conference papers
hal-01216144v1
|
|||
OC4MC: Objective Caml for Multicore Architectures21st Symposium on Implementation and Application of Functional Languages, Sep 2009, South Orange, United States. pp.24-41
Conference papers
hal-00641009v1
|
|||
|
A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers
hal-01705825v1
|
||
High Level Data Structures for GPGPU Programming in a Statically Typed LanguageInternational Journal of Parallel Programming, 2016, ⟨10.1007/s10766-016-0424-7⟩
Journal articles
hal-01320488v1
|
|||
|
Memory Consumption Analysis for a Functional and Imperative LanguageRAC 2016 - Resource Aware Computing, Apr 2016, Eindhoven, Netherlands. pp.27 - 46, ⟨10.1016/j.entcs.2016.12.013⟩
Conference papers
hal-01420298v1
|
||
|
Analyse de Bytecode par RaffinementApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France
Conference papers
hal-01558732v1
|
||
A declarative-friendly API for Web document manipulationInternational Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. pp.109-124, ⟨10.1007/978-3-642-45284-0_8⟩
Conference papers
istex
hal-00826790v1
|
|||
O’Jacaré : un pont entre OCaml et Java4ème Conférence en IngénieriE du Logiciel, Jun 2015, Bordeaux, France
Conference papers
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
Conference papers
hal-00838345v1
|
||
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
Conference papers
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
Journal articles
hal-00145249v1
|
|||
|
SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAMLParallel Processing Letters, 2012, 22 (2), pp.1240007. ⟨10.1142/S0129626412400075⟩
Journal articles
hal-00697257v1
|
||
Synchronous Web Programming,International Workshop on Reactive and Event-Based Languages and Systems (REBLS), Oct 2016, Amsterdam, Netherlands. ⟨10.1145/3001929.3001931⟩
Conference papers
hal-01468888v1
|