Feuilleter par Promoteur : Fontaine, Pascal
Resultats 1 à 8 de 8
Titre | Auteur | Année | (Co)Promoteur(s) | |
---|---|---|---|---|
Analysis and conception of a solution to synchronise Jira instances | Bourdouxhe, Alexandre | 2023 | Fontaine, Pascal | |
Chronological vs. non-chronological backtracking in satisfiability modulo theories | Coutelier, Robin | 2023 | Fontaine, Pascal | |
Implementing an Automatic Pointers Exercises Generator in CAFÉ 2.0 | Baum, Valentin | 2023 | Donnet, Benoît ; Fontaine, Pascal | |
Implementing the beta machine on a Terasic DE10 SoC + FPGA development board | Polet, Quentin | 2021 | Fontaine, Pascal ; Mathy, Laurent | |
Master thesis : Creation of a domain specific language for an Extract-Transform-Load system | Wauthoz, Julien | 2022 | Lambert, Marie ; Fontaine, Pascal | |
Master thesis : Implementing pipelining for an FPGA incarnation of the beta machine | Henrotte, Justin | 2024 | Mathy, Laurent ; Fontaine, Pascal | |
Modeling and Solving Problems Using Propositional Logic and SAT Solvers | Aldeghi, Florian | 2023 | Fontaine, Pascal | |
Satisfiability Modulo Theories for finite domains | Dasnois, Louis | 2023 | Fontaine, Pascal |