Výsledky vyhledávání - "Gesbert, Louis"

Dissertation/ Thesis

Développement systématique et sûreté d'exécution en programmation parallèle structurée

Autor: Gesbert, Louis

Exprimer le parallélisme dans la programmation de manière simple et performante est un défi auquel l'informatique fait face, en raison de l'évolution actuelle des architectures matérielles. BSML est un langage permettant une programmation parall

Externí odkaz: http://www.theses.fr/2009PEST0004/document

Zobrazit plný text záznamu

Connecter l'écosystème OCaml à Software Heritage via opam

Autor: Andrès, Léo, Boujbel, Raja, Gesbert, Louis, Pinto, Dario

Publikováno v: Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.227-234

National audience; Software Heritage est un projet initié par Inria ayant pour but d'archiver l'ensemble des logiciels libres disponibles sur internet. Dans cet article nous présentons Software Heritage et décrivons nos travaux en lien avec l'éco

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::1615e8e9d71dbc4252c45e00bba94ec4
https://inria.hal.science/hal-03626845/file/jfla22_paper_22.pdf

Zobrazit plný text záznamu

Akademický článek

Bulk synchronous parallel ML with exceptions

Autor: Gesbert, Louis, Gava, Frédéric, Loulergue, Frédéric, Dabrowski, Frédéric

Publikováno v: In Future Generation Computer Systems 2010 26(3):486-490

Zobrazit plný text záznamu

Learn-OCaml : un assistant à l'enseignement d'OCaml

Autor: Bozman, Cagdas, Canou, Benjamin, Di Cosmo, Roberto, Couderc, Pierrick, Gesbert, Louis, Henry, Grégoire, le Fessant, Fabrice, Mauny, Michel, Morel, Carine, Peyrot, Loïc

Publikováno v: Journées Francophones des Langages Applicatifs (JFLA)
Journées Francophones des Langages Applicatifs (JFLA), Jan 2019, Les Rousses, France

International audience; La plateforme Learn-OCaml est un assistant à l'enseignement du langage de program-mation OCaml, développée dans le cadre du projet éponyme porté par la Fondation OCaml, qui vise à soutenir et développer l'usage d'OCaml

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::161916c9434a87a224f99ca387a9878c
https://hal.inria.fr/hal-01962838/document

Zobrazit plný text záznamu

Using Preferences to Tame your Package Manager

Autor: Abate, Pietro, Di Cosmo, Roberto, Gesbert, Louis, Le Fessant, Fabrice, Zacchiroli, Stefano

Publikováno v: OCaml 2014
OCaml 2014, Sep 2014, Goteborg, Sweden

International audience; Determining whether some components can be installed on a system is a complex problem: not only it is NP-complete in the worst case, but there can also be exponentially many solutions to it. Ordinary package managers use ad-ho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef6f5413e5c956435ccbd12d81dbbba9
https://inria.hal.science/hal-01091177

Zobrazit plný text záznamu

Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML

Autor: Bousdira, Wadoud, Gesbert, Louis, Loulergue, Frédéric

Publikováno v: Journées Francophones des Langages Applicatifs
(JFLA)
(JFLA), 2011, France. pp.117-146
[Rapport de recherche] 2010

Research Report RR-2010-12; Bulk Synchronous Parallel ML (BSML) est une extension du langage fonctionnel Objective Caml, fondé sur un modèle structuré de parallélisme, le modèle BSP. Ce modèle assure au programmeur BSML la sûreté d'exécution

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7611756f1c03aa50b763bd2181f08ef9
https://hal.archives-ouvertes.fr/hal-00592542

Zobrazit plný text záznamu

Systematic Development of Functional Bulk Synchronous Parallel Programs

Autor: Tesson, Julien, Hu, Zhenjiang, Matsuzaki, Kiminori, Loulergue, Frédéric, Gesbert, Louis

Publikováno v: [Research Report] RR-2010-01, 2010, pp.21

Research Report RR-2010-01; With the current generalization of parallel architectures arises the concern of applying formal methods to parallelism, which allows specifications of parallel programs to be precisely stated and the correctness of an impl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e7762cf96d81d074f4a582778207b5ee
https://hal.inria.fr/inria-00465838

Zobrazit plný text záznamu

Systematic development and safety of execution in structured parallel programming

Autor: Gesbert, Louis

Publikováno v: Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩

Finding a good paradigm to represent parallel programming in a simple and efficient way is a challenge currently faced by computer science research, mainly due to the evolution of machine architectures towards multi-core processors. BSML is a high le

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c9d18d3ac2b1bc43a77ac9c698db99ac
https://theses.hal.science/tel-00481376

Zobrazit plný text záznamu