11 vzťahy: Dallas, Edmund Clarke, Informatika, Joseph Sifakis, Overovanie modelov, Spojené štáty, Texas, Turingova cena, 1954, 2. jún, 2007.
Dallas
Poloha mesta v Texase Dallas je tretie najväčšie mesto v americkom štáte Texas a deviate najväčšie mesto v Spojených štátoch.
Nový!!: Ernest Allen Emerson a Dallas · Pozrieť viac »
Edmund Clarke
Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA† 22. december 2020) bol americký informatik známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking).
Nový!!: Ernest Allen Emerson a Edmund Clarke · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Ernest Allen Emerson a Informatika · Pozrieť viac »
Joseph Sifakis
Joseph Sifakis (* 26. december 1946, Irakleio, Kréta, Grécko) je grécky informatik v súčasnosti žijúci vo Francúzsku.
Nový!!: Ernest Allen Emerson a Joseph Sifakis · Pozrieť viac »
Overovanie modelov
Overovanie modelov alebo model checking je automatizovaná metóda formálnej verifikácie paralelného systému s konečným počtom stavov.
Nový!!: Ernest Allen Emerson a Overovanie modelov · Pozrieť viac »
Spojené štáty
Spojené štáty americké (anglickyUnited States of America), skráteným názvom Spojené štáty, skrátene USA (alebo aj US), je demokratická federatívna prezidentská republika v Severnej Amerike, rozkladajúca sa medzi Atlantickým oceánom na východe a Tichým oceánom na západe.
Nový!!: Ernest Allen Emerson a Spojené štáty · Pozrieť viac »
Texas
Texas je štát v juhostrednej časti Spojených štátov.
Nový!!: Ernest Allen Emerson a Texas · Pozrieť viac »
Turingova cena
Cena A. M. Turinga (angl. ACM A.M. Turing Award) je ocenenie, udeľované každoročne Asociáciou výpočtovej techniky (ACM) jednotlivcom za ich technický prínos počítačovej komunite.
Nový!!: Ernest Allen Emerson a Turingova cena · Pozrieť viac »
1954
Žiadny popis.
Nový!!: Ernest Allen Emerson a 1954 · Pozrieť viac »
2. jún
Žiadny popis.
Nový!!: Ernest Allen Emerson a 2. jún · Pozrieť viac »
2007
Rok 2007 (MMVII) bol kalendárny rok, ktorý v súlade s gregoriánskym kalendárom začal v pondelok 1. januára a skončil v pondelok 31. decembra.
Nový!!: Ernest Allen Emerson a 2007 · Pozrieť viac »