Schneller Zugriff als Browser!
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ßoffizier (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
Allen Emerson, 2022 Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein US-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 und dafür 1996 mit dem Turing Award ausgezeichnet wurde.
Neu!!: Joseph Sifakis und Amir Pnueli · Mehr sehen »
Centre national de la recherche scientifique
Das Centre national de la recherche scientifique (CNRS; franz.; dt. „Nationales Zentrum für wissenschaftliche Forschung“) ist als nationale französische Forschungsorganisation dem Forschungsministerium unterstellt und widmet sich der Grundlagenforschung, betreibt insbesondere am Institut national de physique nucléaire et de physique des particules aber auch Angewandte Forschung.
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; † 22. Dezember 2020 in Mt. Lebanon, Pennsylvania) war ein US-amerikanischer Informatiker.
Neu!!: Joseph Sifakis und Edmund M. Clarke · Mehr sehen »
Eingebettetes System
Eingebettetes System auf einer Einsteckkarte mit Prozessor, Speicher, Stromversorgung und externen Schnittstellen Ein eingebettetes System (auch) ist ein 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 eine Ingenieurwissenschaft, die sich mit der Forschung und der Entwicklung sowie der Produktion, dem Zusammenbau und der Instandhaltung von Elektrogeräten und elektrischen Anlagen befasst, die zumindest anteilig auf elektrischer Energie beruhen.
Neu!!: Joseph Sifakis und Elektrotechnik · Mehr sehen »
Großoffizier (Ordenskunde)
Baron Georges de Cuvier mit Halsdekoration und Bruststern eines Großoffiziers der Ehrenlegion Robert Fulton als ''Knight Commander'' des Order of the British Empire Der Begriff Großoffizier (auch Großkomtur, Komtur I. Klasse, Komtur mit Stern, im Englischen häufig Knight Commander/Dame Commander) bezeichnet in der Phaleristik die zweithöchste Stufe eines in fünf Stufen eingeteilten Ritter- oder Verdienstordens.
Neu!!: Joseph Sifakis und Großoffizier (Ordenskunde) · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Joseph Sifakis und Informatik · Mehr sehen »
Iraklio
Iraklio (veraltet auch Iraklion, in seitens der Stadt selbst verwendeter Schreibung Heraklion,, Herakleion, im Mittelalter Chandakas, in der Zeit der venezianischen Herrschaft Candia, danach) 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 (Eigenschreibweise) ist eine Athener Morgenzeitung.
Neu!!: Joseph Sifakis und Kathimerini · Mehr sehen »
Kreta
Kreta ist die größte griechische Insel und mit rund 8261 km² 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 renommierte US-amerikanische Berufsorganisation mit Sitz in Washington, D.C., die 1964 gegründet wurde.
Neu!!: Joseph Sifakis und National Academy of Engineering · Mehr sehen »
Nationale Technische Universität Athen
Nationale Technische Universität Athen (NTUA), 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 (September 2022) 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 ein 1963 geschaffener französischer Verdienstorden.
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; † 10. März 2021) war 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),, war 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 »
