Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Allen Emerson et Joseph Sifakis

Raccourcis: Différences, Similitudes, Jaccard similarité Coefficient, Références.

Différence entre Allen Emerson et Joseph Sifakis

Allen Emerson vs. Joseph Sifakis

Allen (Ernest) Emerson, né le à Dallas au Texas, est un chercheur en informatique, professeur à l'université du Texas à Austin aux États-Unis. Joseph Sifakis (en grec moderne: Ιωσήφ Σηφάκης, Iosif Sifakis) est un chercheur en informatique français d'origine grecque, né le à Héraklion (Crète), directeur de recherche au CNRS et membre de l'Académie des technologies.

Similitudes entre Allen Emerson et Joseph Sifakis

Allen Emerson et Joseph Sifakis ont 4 choses en commun (em Unionpédia): Edmund M. Clarke, Informatique, Prix Turing, Vérification de modèles.

Edmund M. Clarke

Edmund Melson Clarke, Jr. (-) est un informaticien universitaire connu pour ses contributions au model checking, une méthode de vérification de conceptions de logiciel et matériel.

Allen Emerson et Edmund M. Clarke · Edmund M. Clarke et Joseph Sifakis · Voir plus »

Informatique

bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.

Allen Emerson et Informatique · Informatique et Joseph Sifakis · Voir plus »

Prix Turing

Le prix Turing ou, en hommage à Alan Turing (1912-1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la communauté informatique.

Allen Emerson et Prix Turing · Joseph Sifakis et Prix Turing · Voir plus »

Vérification de modèles

model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.

Allen Emerson et Vérification de modèles · Joseph Sifakis et Vérification de modèles · Voir plus »

La liste ci-dessus répond aux questions suivantes

Comparaison entre Allen Emerson et Joseph Sifakis

Allen Emerson a 18 relations, tout en Joseph Sifakis a 26. Comme ils ont en commun 4, l'indice de Jaccard est 9.09% = 4 / (18 + 26).

Références

Cet article montre la relation entre Allen Emerson et Joseph Sifakis. Pour accéder à chaque article à partir de laquelle l'information a été extraite, s'il vous plaît visitez:

Hey! Nous sommes sur Facebook maintenant! »