logo EDITE Sami TAKTAK
Identité
Sami TAKTAK
État académique
Thèse soutenue le 2009-01-30
Sujet: DETECTION DES INTERBLOCAGES DANS LES RESEAUX SUR PUCE
Laboratoire: personnel permanent
Encadrement de thèses (depuis 2007)
0
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792345154
Data Decision Diagrams for Promela Systems Analysis
Vol. 12, No. 5, pp. 337-352 2011
edite:1332792428476
A polynomial algorithm to prove deadlock-freeness of wormhole networks
PDP EUROMICRO Conference on Parallel, Distributed and Network-based Computing IEEE Computer Society, Pisa, Italy 2010
Soutenance
Thèse: DETECTION DES INTERBLOCAGES DANS LES RESEAUX SUR PUCE
Soutenance: 2009-01-30