Explore projects

My PhD thesis

Optimized parallel implementations of the k-means algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU

A Python photonics tool to use quarter- and half-wave plates in order to simulate quantum gates.

Simulator to assess school opening policies during a vaccination campaign

Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)

This repository contains the project prepared by entaraleSupelec students on dynamic modeling of two rooms in the campus Rennes. The building is represented by an RC model; it contains real historical weather data and model occupancy of the rooms.

Optimized parallel implementations of the k-means algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU

Git repository containing two projects from eclipse workspace and the slides from the presentation

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)

A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".

Ceci est le squelette du TP de compilation pour les InfoSec.

survival Model Simulation