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