Logo
Unionpedia
Kommunikation
Jetzt bei Google Play
Neu! Laden Sie Unionpedia auf Ihrem Android™-Gerät herunter!
Frei
Schneller Zugriff als Browser!
 

Joseph Sifakis

Index Joseph Sifakis

Joseph Sifakis 2008 Joseph Sifakis (* 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer, Kathimerini, 4.

27 Beziehungen: Académie des sciences, Academia Europaea, Allen Emerson, American Academy of Arts and Sciences, Amir Pnueli, Centre national de la recherche scientifique, Echtzeitsystem, Edmund M. Clarke, Eingebettetes System, Eleftherotypia, Elektrotechnik, Großkomtur (Ordenskunde), Informatik, Iraklio, Kathimerini, Kreta, Model Checking, National Academy of Engineering, Nationale Technische Universität Athen, Nicolas Sarkozy, Ordre national du Mérite, Parallelrechner, Robert Kurshan, Turing Award, Universität Joseph Fourier Grenoble I, 1946, 26. Dezember.

Académie des sciences

Ludwig XIV. wohnt mit Colbert der Gründung der Académie bei (1666) Ludwig XIV. besucht die Académie des sciences 1671 Académie des sciences 1698 Die Pariser Académie des sciences de l’Institut de France, traditionell nur Académie des sciences (Akademie der Wissenschaften) genannt, ist eine der fünf Akademien, die zum Institut de France zusammengeschlossen wurden.

Neu!!: Joseph Sifakis und Académie des sciences · Mehr sehen »

Academia Europaea

Die Academia Europaea ist eine europäische regierungsunabhängige wissenschaftliche Gesellschaft, die im Jahr 1988 gegründet wurde.

Neu!!: Joseph Sifakis und Academia Europaea · Mehr sehen »

Allen Emerson

Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing-Preisträger.

Neu!!: Joseph Sifakis und Allen Emerson · Mehr sehen »

American Academy of Arts and Sciences

Die American Academy of Arts and Sciences (kurz American Academy) ist eine der ältesten und angesehensten Ehrengesellschaften der Vereinigten Staaten.

Neu!!: Joseph Sifakis und American Academy of Arts and Sciences · Mehr sehen »

Amir Pnueli

Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen geleistet hat, und dafür 1996 den Turing Award verliehen bekommen hat.

Neu!!: Joseph Sifakis und Amir Pnueli · Mehr sehen »

Centre national de la recherche scientifique

Das Centre national de la recherche scientifique (CNRS) ist als nationale französische Forschungsorganisation dem Forschungsministerium unterstellt und widmet sich der Grundlagenforschung.

Neu!!: Joseph Sifakis und Centre national de la recherche scientifique · Mehr sehen »

Echtzeitsystem

Als Echtzeitsysteme werden „Systeme zur unmittelbaren Steuerung und Abwicklung von Prozessen“ bezeichnet, die dafür an sie gestellte quantitative Echtzeitanforderungen erfüllen müssen.

Neu!!: Joseph Sifakis und Echtzeitsystem · Mehr sehen »

Edmund M. Clarke

Edmund M. Clarke 2006 Edmund „Ed“ Melson Clarke, Jr. (* 27. Juli 1945 in Newport News, Virginia) ist ein amerikanischer Informatiker und Turing-Preisträger.

Neu!!: Joseph Sifakis und Edmund M. Clarke · Mehr sehen »

Eingebettetes System

Ein eingebettetes System (auch) ist ein elektronischer Rechner oder auch Computer, der in einen technischen Kontext eingebunden (eingebettet) ist.

Neu!!: Joseph Sifakis und Eingebettetes System · Mehr sehen »

Eleftherotypia

Eleftherotypia (griechisch Ἐλευθεροτυπία/ "Pressefreiheit") war eine in Athen erscheinende Tageszeitung, die im linken Meinungsspektrum angesiedelt war.

Neu!!: Joseph Sifakis und Eleftherotypia · Mehr sehen »

Elektrotechnik

Elektrotechnik ist diejenige Ingenieurwissenschaft, die sich mit der Forschung und der Entwicklung sowie der Produktionstechnik von Elektrogeräten befasst, die zumindest anteilig auf elektrischer Energie beruhen.

Neu!!: Joseph Sifakis und Elektrotechnik · Mehr sehen »

Großkomtur (Ordenskunde)

Der Begriff Großkomtur (auch Großoffizier oder Knight Commander) bezeichnet in der Ordenskunde die zweithöchste Stufe eines in fünf Stufen eingeteilten Ritter- oder Verdienstordens.

Neu!!: Joseph Sifakis und Großkomtur (Ordenskunde) · Mehr sehen »

Informatik

Informatik ist die „Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Informationen, besonders der automatischen Verarbeitung mithilfe von Digitalrechnern“.

Neu!!: Joseph Sifakis und Informatik · Mehr sehen »

Iraklio

Iraklio (in seitens der Stadt selbst verwendeter Schreibung Heraklion,, im Mittelalter Chandakas, in der Zeit der venezianischen Herrschaft Candia, danach, griech. Megalo Kastro) ist die größte Stadt der südgriechischen Insel Kreta und der Sitz der Verwaltungsregion Kreta.

Neu!!: Joseph Sifakis und Iraklio · Mehr sehen »

Kathimerini

Kathimerini ist eine Athener Morgenzeitung.

Neu!!: Joseph Sifakis und Kathimerini · Mehr sehen »

Kreta

Kreta (Kriti) ist die größte griechische Insel und mit rund 8261 Quadratkilometern Fläche sowie 1066 Kilometern Küstenlänge nach Sizilien, Sardinien, Zypern und Korsika die fünftgrößte Insel im Mittelmeer.

Neu!!: Joseph Sifakis und Kreta · Mehr sehen »

Model Checking

Model Checking (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel).

Neu!!: Joseph Sifakis und Model Checking · Mehr sehen »

National Academy of Engineering

Die United States National Academy of Engineering (NAE) ist eine US-amerikanische Organisation.

Neu!!: Joseph Sifakis und National Academy of Engineering · Mehr sehen »

Nationale Technische Universität Athen

Nationale Technische Universität Athen, bekannt vor allem unter der Kurzbezeichnung Polytechnio, ist die älteste und bedeutendste Technische Universität in Athen.

Neu!!: Joseph Sifakis und Nationale Technische Universität Athen · Mehr sehen »

Nicolas Sarkozy

Nicolas Sarkozy (Oktober 2015) Unterschrift von Nicolas Sarkozy Nicolas Sarkozy (Nicolas Paul Stéphane Sárközy de Nagy-Bocsa; * 28. Januar 1955 in Paris) ist ein französischer Politiker.

Neu!!: Joseph Sifakis und Nicolas Sarkozy · Mehr sehen »

Ordre national du Mérite

Officier Chevalier Der Ordre national du Mérite ist der nationale Verdienstorden Frankreichs.

Neu!!: Joseph Sifakis und Ordre national du Mérite · Mehr sehen »

Parallelrechner

Parallelrechner, ein Cray-2 (1986) Ein Parallelrechner ist ein Rechner, in dem Rechenoperationen gleichzeitig unter anderem auf mehreren Haupt- oder Grafikprozessoren durchgeführt werden können.

Neu!!: Joseph Sifakis und Parallelrechner · Mehr sehen »

Robert Kurshan

Robert P. Kurshan (* 1943) ist ein US-amerikanischer Informatiker.

Neu!!: Joseph Sifakis und Robert Kurshan · Mehr sehen »

Turing Award

Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.

Neu!!: Joseph Sifakis und Turing Award · Mehr sehen »

Universität Joseph Fourier Grenoble I

Die Universität Joseph Fourier Grenoble I (UJF), ist eine Universität in Grenoble (Frankreich).

Neu!!: Joseph Sifakis und Universität Joseph Fourier Grenoble I · Mehr sehen »

1946

1946, das erste Jahr nach dem Ende des Zweiten Weltkriegs, steht noch weitgehend unter dem Eindruck der gemeinsamen Schaffung einer Nachkriegsordnung für die Welt durch die Siegerkoalition der vier Alliierten.

Neu!!: Joseph Sifakis und 1946 · Mehr sehen »

26. Dezember

Der 26.

Neu!!: Joseph Sifakis und 26. Dezember · Mehr sehen »

AusgehendeEingehende
Hallo! Wir sind auf Facebook! »