Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Author "Blondin, Michael"
Now showing items 1-2 of 2
-
Algorithmique et complexité des systèmes à compteurs
Blondin, Michael (2016-09-28)L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De par leur nature concurrentielle, ... -
Complexité raffinée du problème d'intersection d'automates
Blondin, Michael (2012-07-05)Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une ...