Efficient Abstractions for GPGPU Programming von Bourgoin, Mathias, Chailloux, Emmanuel, Lamotte, Jean-Luc

Volltext

A Reusable Machine-Calculus for Automated Resource Analyses von Suzanne, Hector, Chailloux, Emmanuel

Volltext

Accelerating OCaml Programs on FPGA von Sylvestre, Loïc, Chailloux, Emmanuel, Sérot, Jocelyn

Volltext

Programming microcontrollers through high-level abstractions: The OMicroB project von Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel

Volltext

Hardware Implementation of OCaml Using a Synchronous Functional Language von Sylvestre, Loïc, Sérot, Jocelyn, Chailloux, Emmanuel

Volltext

High Level Data Structures for GPGPU Programming in a Statically Typed Language von Bourgoin, Mathias, Chailloux, Emmanuel, Lamotte, Jean-Luc

Volltext

Static Analysis of Communicating Processes Using Symbolic Transducers von Botbol, Vincent, Chailloux, Emmanuel, Le Gall, Tristan

Volltext

A Mechanized Theory of Program Refinement von Sall, Boubacar Demba, Peschanski, Frédéric, Chailloux, Emmanuel

Volltext

A Reusable Machine-Calculus for Automated Resource Analyses von Hector, Suzanne, Chailloux, Emmanuel

Volltext

Programming Microcontrollers in OCaml: The OCaPIC Project von Vaugon, Benoît, Wang, Philippe, Chailloux, Emmanuel

Volltext

Memory Consumption Analysis for a Functional and Imperative Language von Salvucci, Jérémie, Chailloux, Emmanuel

Volltext

A Declarative-Friendly API for Web Document Manipulation von Canou, Benjamin, Chailloux, Emmanuel, Balat, Vincent

Volltext

Objective Caml for Multicore Architectures von Bourgoin, Mathias, Canou, Benjamin, Chailloux, Emmanuel, Jonquet, Adrien, Wang, Philippe

Volltext bestellen

Static Analysis of Communicating Processes using Symbolic Transducers von Botbol, Vincent, Chailloux, Emmanuel, Gall, Tristan Le

Volltext bestellen

Low Cost High Integrity Platform von Lecomte, Thierry, Deharbe, David, Sabatier, Denis, Prun, Etienne, Péronne, Patrick, Chailloux, Emmanuel, Varoumas, Steven, Susungi, Adilla, Conchon, Sylvain

Volltext bestellen

Objective Caml for Multicore Architectures von Bourgoin, Mathias, Canou, Benjamin, Chailloux, Emmanuel, Jonquet, Adrien, Wang, Philippe

Volltext

Typing unmarshalling without marshalling types von Henry, Grégoire, Mauny, Michel, Chailloux, Emmanuel, Manoury, Pascal

Volltext

Non-Intrusive Structural Coverage for Objective Caml von Wang, Philippe, Jonquet, Adrien, Chailloux, Emmanuel

Volltext

Static Analysis of Communicating Processes using Symbolic Transducers von Botbol, Vincent, Chailloux, Emmanuel, Tristan Le Gall

Volltext

A conservative garbage collector with ambiguous roots for static typechecking languages von Chailloux, Emmanuel

Volltext