Search

Displaying 1 - 10 of 11 results.

Pages

  1. Multipath TCP with real Smartphone applications
    By : De Coninck, Quentin[UCL] Baerts, Matthieu[UCL] Directed by : Bonaventure, Olivier[UCL] (2015) Ecole polytechnique de Louvain

  2. Evolution of the Linux TCP stack : a simulation study
    By : Sastre Ferrandez, Esteban[UCL] Directed by : Bonaventure, Olivier[UCL] (2015) Ecole polytechnique de Louvain

  3. A framework for visualizing and manipulating structured execution graphs
    By : Nauw, Olivier[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  4. 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

  5. A study program verificator based on petri nets
    By : Colson, Olivier[UCL] Directed by : Lobelle, Marc[UCL] (2015) Ecole polytechnique de Louvain

  6. Systematics validation of a software hardening framework
    By : Vermeylen, Alex[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

  7. Implementing temporal logic queries with PyNuSMV
    By : Thibert, Simon[UCL] Directed by : Pecheur, Charles[UCL] (2015) Ecole polytechnique de Louvain

Pages