Rýchlejšie ako prehliadači!
13 vzťahy: Edmund Clarke, Ernest Allen Emerson, Francúzsko, Grécko, Informatika, Iraklio (mesto na Kréte), Kréta, Overovanie modelov, Turingova cena, Vstavaný systém, 1946, 2007, 26. december.
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ý!!: Joseph Sifakis a Edmund Clarke · Pozrieť viac »
Ernest Allen Emerson
Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA) je americký informatik.
Nový!!: Joseph Sifakis a Ernest Allen Emerson · Pozrieť viac »
Francúzsko
Francúzsko (výslovnosť IPA), dlhý tvar Francúzska republika (výslovnosť IPA) je štát nachádzajúci sa predovšetkým v západnej Európe.
Nový!!: Joseph Sifakis a Francúzsko · Pozrieť viac »
Grécko
Mapa Grécka Grécko (alebo Ελλάς – Ellas), dlhý tvar Grécka republika je štát ležiaci v južnej Európe na juhu Balkánskeho polostrova, na Peloponézskom polostrove, na ostrove Kréta a v Malej Ázii (ostrovy Rodos, Samos, Chios, Psara, Lesbos, Kastelorizo a iné menšie).
Nový!!: Joseph Sifakis a Grécko · Pozrieť viac »
Informatika
Informatika je veda o informácii a jej automatickom spracovaní (je to veda o algoritmickom riešení problémov).
Nový!!: Joseph Sifakis a Informatika · Pozrieť viac »
Iraklio (mesto na Kréte)
Iraklio Iraklio (po novogrécky Ηράκλειο - Iraklio, po starogrécky Hérakleion - bližšie pozri Iraklio; lat. Heracleum; tal. Candia; tur. Kandiye) je najväčšie prístavné a hlavné mesto ostrova Kréta.
Nový!!: Joseph Sifakis a Iraklio (mesto na Kréte) · Pozrieť viac »
Kréta
Kréta (alebo Candia) je najväčší grécky ostrov a súčasne piaty najväčší ostrov v Stredozemnom mori; administratívne je to kraj (perifereia), decentralizovaná správa a oficiálny geografický región v Grécku.
Nový!!: Joseph Sifakis a Kréta · 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ý!!: Joseph Sifakis a Overovanie modelov · 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ý!!: Joseph Sifakis a Turingova cena · Pozrieť viac »
Vstavaný systém
Vstavaný systém (iné názvy: vložený systém, vnorený systém; angl. embedded system) je elektronický systém (hardvér alebo softvér), ktorý je súčasťou väčšieho a komplexnejšieho systému, pre ktorý zabezpečuje riadenie definovanej množiny funkcií.
Nový!!: Joseph Sifakis a Vstavaný systém · Pozrieť viac »
1946
Žiadny popis.
Nový!!: Joseph Sifakis a 1946 · 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ý!!: Joseph Sifakis a 2007 · Pozrieť viac »
26. december
Žiadny popis.
Nový!!: Joseph Sifakis a 26. december · Pozrieť viac »
