2019

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

KEEFE Alana

Project graduation Bachelor

2016

Mondes virtuels tridimensionnels : une approche par surfaces implicites

Project graduation Bachelor

2016

Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory

XAVIER Yoshio

Project graduation Bachelor

2014

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

RAMONA Cody

Project graduation Bachelor

2013

A Framework for Automatic Annotation of Semantic Trajectories

XERXES Stone

Project graduation Bachelor

2012

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

QUINLAN Nichole

Project graduation Bachelor

2011

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

BRENDEN Scott

Project graduation Bachelor