Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Zadarmo
Rýchlejšie ako prehliadači!
 

Ernest Allen Emerson

Index Ernest Allen Emerson

Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA) je americký informatik.

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) je americký informatik, ktorý je 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, dlhý tvar Spojené štáty americké (skratka USA), (skratka USA) sú federatívny štát v Severnej Amerike rozkladajúci sa od Atlantického po Tichý oceán a na niektorých tichomorských ostrovoch (napríklad Havaj).

Nový!!: Ernest Allen Emerson a Spojené štáty · Pozrieť viac »

Texas

Texas je štát Spojených štátov amerických, ktorý sa pripojil v roku 1845 ako 28.

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

Žiadny popis.

Nový!!: Ernest Allen Emerson a 2007 · Pozrieť viac »

Presmerovanie tu:

Allen Emerson, E. Allen Emerson.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »