2019

Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques

KEEFE Alana

Projet de fin d'études Licence

2016

Mondes virtuels tridimensionnels : une approche par surfaces implicites

Projet de fin d'études Licence

2016

Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory

XAVIER Yoshio

Projet de fin d'études Licence

2014

Systeme distribue a adressage global et coherence logicielle pourlexecution dun modele de tache a flot de donnees

RAMONA Cody

Projet de fin d'études Licence

2013

A Framework for Automatic Annotation of Semantic Trajectories

XERXES Stone

Projet de fin d'études Licence

2012

Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

QUINLAN Nichole

Projet de fin d'études Licence

2011

Un cadre general de causalite base sur les traces pour des systemes a composants

BRENDEN Scott

Projet de fin d'études Licence