Knowledge Tree

researcher / Patrick Martineau

Patrick Martineau

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Ordonnancement en-ligne dans les systemes informatiques temps reel

Directed Thesis:

Optimisation de la gestion des ressources sur une plate-forme informatique du type Big Data basée sur le logiciel Hadoop

Utilisation de méthodes formelles pour garantir des propriétés de logiciels au sein d'une distribution : exemple du noyau Linux.

Calcul haute performance sur matériel générique

Méthodes de résolution pour un problème de gestion de projet multi-compétence

Identification et résolution de problèmes de sécurité dans un habitat domotisé

Ordonnancement à machines parallèles avec serveur