-
Contributions for Improving Debugging of Kernel-level Services in a Monolithi...
Despite the existence of an overwhelming amount of research on the quality of system software, Operating Systems are still plagued with reliability issues mainly... -
Contributions à l'amélioration du débogage des services noyau dans un système...
Despite the existence of an overwhelming amount of research on the quality of system software, Operating Systems are still plagued with reliability issues mainly... -
Presentation and study of some distributed algorithm problems
In this thesis, we first present a study of several problems in the field of distributed algorithms. We provide a formal model that relies on anonymous networks. In...
