„John Cocke“ – Versionsunterschied

Versionsgeschichte interaktiv durchsuchen

[gesichtete Version]

← Zum vorherigen Versionsunterschied

Inhalt gelöscht Inhalt hinzugefügt

VisuellWikitext

Version vom 23. Juni 2018, 10:46 Uhr Bearbeiten John Red (Diskussion \| Beiträge) Passive Sichter, Sichter 57.960 Bearbeitungen Ergänzung: Mitglied der Amer. Philosophical Soc. ← Zum vorherigen Versionsunterschied		Aktuelle Version vom 29. April 2022, 09:03 Uhr Bearbeiten rückgängig TaxonKatBot (Diskussion \| Beiträge) Passive Sichter, Bots, Sichter 586.879 Bearbeitungen K Bot: Kategorie:Turing-Preisträger umbenannt in Kategorie:Träger des Turing Award: laut Diskussion
(3 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt)
Zeile 4: John Cocke studierte an der [[Duke University]], wo er 1946 seinen [[Bachelor]] in Maschinenbau und 1956 seinen [[Ph.D.]] in Mathematik machte. Cocke verbrachte seine gesamte Karriere von 1956 bis 1992 als Forscher bei [[IBM]]. Daneben war er Gastprofessor am [[Massachusetts Institute of Technology\|MIT]] und am [[Courant Institute of Mathematical Sciences of New York University]]. 1970 entwickelte er unabhängig von Daniel Younger, Tadao Kasami und anderen den [[Cocke-Younger-Kasami-Algorithmus]] zur Lösung des [[Wortproblem (Berechenbarkeitstheorie)\|Wortproblems]]s. 1974 schuf er mit Lalit Bahl, Frederick Jelinek und Josef Raviv den [[BCJR-Algorithmus]] zur Dekodierung von Block- und Faltungscodes. 1975 entwickelte er am [[Thomas J. Watson Research Center]] das RISC-Konzept für den Minicomputer [[IBM 801]], indem er dessen [[Befehlssatz]]-Design an die vergleichsweise simplen tatsächlich von Compilern genutzten Instruktionen anpasste und so hohe Performance zu niedrigen Kosten ermöglichte. Schon zuvor befasste Cocke sich auch intensiv mit Compileroptimierung, ohne die ein RISC-Rechner nicht sinnvoll eingesetzt werden kann. 1972 wurde er [[IBM Fellow]], 1979 Mitglied der [[National Academy of Engineering]]. 1985 wurde ihm der [[Eckert-Mauchly Award]] verliehen, 1986 wurde er Fellow der [[American Academy of Arts and Sciences]]. 1987 bekam er den [[Turing Award]], 1988 einen Ehrendoktortitel der Duke University, 1991 die [[National Medal of Technology]]. 1993 wurde er gewähltes Mitglied der [[National Academy of Sciences]] und 1995 der [[American Philosophical Society]],<ref>{{Internetquelle\| url=https://search.amphilsoc.org/memhist/search?creator=John+Cocke&title=&subject=&subdiv=&mem=&year=&year-max=&dead=&keyword=&smode=advanced\| titel=Member History: John Cocke Zeile 21: {{Navigationsleiste Träger des Turing-Awards}} {{Normdaten\|TYP=p\|GND=\|VIAF=220167942\|GNDfehlt=ja\|GNDCheck=2019-03-17}} {{DEFAULTSORT:Cocke, John}} [[Kategorie:Träger des Turing~~-Preisträger~~ Award]] [[Kategorie:Informatiker]] [[Kategorie:Mitglied der National Academy of Sciences]] Zeile 31: [[Kategorie:Mitglied der American Philosophical Society]] [[Kategorie:Träger der National Medal of Science]] [[Kategorie:Hochschullehrer (~~MIT~~Massachusetts Institute of Technology)]] [[Kategorie:Hochschullehrer (New York University)]] [[Kategorie:US-Amerikaner]]