Search

Displaying 1 - 10 of 26 results.

Pages

  1. An Oz implementation using Truffle and Graal
    By : Istasse, Maxime[UCL] Directed by : Van Roy, Peter[UCL] Daloze, Benoit Maudoux, Guillaume[UCL] (2017) Ecole polytechnique de Louvain

  2. High availability for RoQ core components
    By : Van Melle, Benjamin[UCL] Directed by : Van Roy, Peter[UCL] D'Erman, Alexandre (2015) Ecole polytechnique de Louvain

  3. Computer-aided musical composition
    By : Lapière, Baptiste[UCL] Directed by : Van Roy, Peter[UCL] Bresson, Jean[UCL] (2020) Ecole polytechnique de Louvain

  4. HoneyPot : a caching protocol for causally consistent data stores
    By : Munteanu, Ionel[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

  5. A formal proof for Speculative Snapshot Isolation
    By : d'Oreye de Lantremange, Sébastien[UCL] Directed by : Van Roy, Peter[UCL] (2017) Ecole polytechnique de Louvain

Pages