Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Advisor "Finkel, Alain"

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, ...

  • Automates à contraintes semilinéaires = Automata with a semilinear constraint 

    Cadilhac, Michaël (2013-09-03)
    Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout ...