Master Thesis Online
Browsing by Promotor : Fontaine, Pascal
Showing results 1 to 8 of 8
| Title | Author(s) | Year | (Co)Promotor(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 |