Liste wichtiger Informatikpublikationen

Hier finden Sie eine nach Fachgebieten geordnete Liste wichtiger Informatik- Publikationen .

Einige Gründe, warum ein Beitrag als wichtig angesehen werden kann:

• kreatives Thema – Ein Beitrag, der ein neues Thema erstellt hat;
• Entdeckung - Eine Veröffentlichung, die die wissenschaftlichen Erkenntnisse erheblich verändert hat;
• Einfluss - Eine Veröffentlichung, die die Welt stark beeinflusst hat oder einen massiven Einfluss auf die Informatikausbildung hatte .

Künstliche Intelligenz

• Computing Machinery and Intelligence , Alan Turing , Mind , 59: 433–460, 1950 ( Online-Kopie ). Dieser Artikel schlägt den Turing-Test als Methode vor, um zwischen Maschine und Mensch zu unterscheiden.
• Ein Vorschlag für das Dartmouth Summer Research Project on Artificial Intelligence , John McCarthy , Marvin Minsky , N. Rochester, Claude Shannon ( Online-Kopie ). Dieses Sommer-Forschungsprojekt hat das Feld eingeweiht und definiert. Es enthält die erste Verwendung des Begriffs künstliche Intelligenz und diese kurze Beschreibung der philosophischen Grundlage des Feldes: „jeden Aspekt des Lernens oder jede andere Eigenschaft der Intelligenz kann im Prinzip genau wie eine Maschine beschrieben werden , können sie hergestellt werden , um zu simulieren“ ( Siehe die Philosophie der künstlichen Intelligenz ). Dieser Vorschlag lud Forscher zur Dartmouth-Konferenz ein , die weithin als die ((Geburt der KI ((. (Siehe Geschichte der KI.).
• Fuzzy-Sets , Lotfi Zadeh , Information and Control , Vol. 2 , No. 8, s.  338–353 , 1965. Diese bahnbrechende Arbeit aus dem Jahr 1965 enthält Details zur Mathematik der Fuzzy-Set- Theorie .
• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference , Judea Pearl ( ISBN  1-55860-479-0 ) . Dieses Buch führt Bayessche Methoden in KIs ein.
• Künstliche Intelligenz: Ein moderner Ansatz , Stuart J. Russell , Peter Norvig , Prentice Hall, Englewood Cliffs, New Jersey, 1995, ( ISBN  0-13-080302-2 ) ( Online-Kopie ). Referenzhandbuch in Künstliche Intelligenz. Die Website des Buches listet über 1.100 Colleges auf.

Maschinelles Lernen

• Eine induktive Inferenzmaschine , Ray Solomonoff , IRE Convention Record, Abschnitt über Informationstheorie , Teil 2, p.  56–62 , 1957. Das erste schriftliche Dokument über maschinelles Lernen . Es betont die Bedeutung von Trainingssequenzen und die Verwendung eines Teils früherer Problemlösungen beim Konstruieren von Testlösungen für neue Probleme.
• Sprachidentifikation in der Grenze , E. Mark Gold, Information and Control , 10 (5): 447–474, 1967 ( (HTML) (PDF) ). Dieses Dokument schuf die Theorie des algorithmischen Lernens .
• Zur einheitlichen Konvergenz relativer Häufigkeiten von Ereignissen zu ihren Wahrscheinlichkeiten , Vladimir Vapnik , Alexeï Tchervonenkis , Theory of Probability and Its Applications , 16 (2): 264-280, 1971 Abmessungen.
• Eine Theorie des Erlernbaren , Leslie Valiant , Communications of the ACM , 27 (11): 1134-1142, 1984. PAC-Lernen .
• Darstellungen von Back-Propagierung von Fehlern zu lernen , David E. Rumelhart, Geoffrey E. Hinton und Ronald J. Williams, Nature , 323, 533-536, 1986. Die Entwicklung des Algorithmus Backpropagation für die neuronale Netznachbildungen . Beachten Sie, dass der Algorithmus 1974 von Paul Werbos beschrieben wurde .
• Induction of Decision Trees , Ross Quinlan , Machine Learning , 1.81-106, 1986. Entscheidungsbäume sind ein üblicher Lernalgorithmus und ein Werkzeug zur Entscheidungsrepräsentation.
• Schnell lernen, wenn irrelevante Attribute im Überfluss vorhanden sind: A New Linear-threshold Algorithm , Nick Littlestone, Machine Learning 2: 285–318, 1988 ( Online-Version (PDF) )
• Vorhersagen lernen durch die Methode der zeitlichen Differenz , Richard S. Sutton , Machine Learning 3 (1): 9–44 ( Online-Version ). Die Zeitdifferenzmethode für das Reinforcement Learning .
• Learnability and the Vapnik – Chervonenkis dimension , A. Blumer, Andrzej Ehrenfeucht , D. Haussler, MK Warmuth, Journal of the ACM , 36 (4): 929–965, 1989. Vollständige Charakterisierung des PAC-Lernens mit der VC-Dimension .
• Kryptografische Einschränkungen beim Lernen von Booleschen Formeln und endlichen Automaten , M. Kearns, Leslie Valiant , Symposium on Theory of Computing , Seiten 433–444, New York, ACM. ( Online-Version (HTML) ). Nachweis negativer Ergebnisse für das CAP-Lernen.
• Die Stärke der schwachen Erlernbarkeit , Robert Schapire , Machine Learning , 5 (2): 197–227, 1990. ( Online-Version (HTML) ). Nachweis, dass schwache und starke Lernfähigkeit im PAC-Framework gleichwertig sind .
• Ein Trainingsalgorithmus für optimale Margin-Klassifikatoren , Bernhard E. Boser, Isabelle M. Guyon, Vladimir Vapnik , ( Online-Version (HTML) ). In diesem Whitepaper werden Support Vector Machines vorgestellt , ein praktischer und beliebter Algorithmus für maschinelles Lernen. Support-Vektor-Maschinen verwenden oft den Kernel-Trick .
• Ein schnell lernender Algorithmus für Deep-Belief-Netze , Geoffrey E. Hinton, Simon Osindero, Yee-Whye Teh, Neural Computation , 2006 ( [PDF] online )
• Wissensbasierte Analyse von Microarray-Genexpressionsdaten mit Hilfe von Support-Vektor-Maschinen , MP Brown, WN Grundy, D Lin, Nello Cristianini, CW Sugnet, TS Furey, M Ares Jr, David Haussler, PNAS ,4. Januar 2000 ; 97 (1): 262–7. Die erste Anwendung des überwachten Lernens auf Genexpressionsdaten , insbesondere die Trägervektormaschine . Die Methode ist mittlerweile Standard, und das Dokument ist eines der meistzitierten in diesem Bereich.

Compiler

• DE Knuth , „  Über die Übersetzung von Sprachen von links nach rechts  “, Information and Control , vol.  8, n o  6,Juli 1965, s.  607-639 ( DOI  10.1016 / S0019-9958 (65) 90426-2 , online gelesen , abgerufen am 29.05.2011 ). LR-Analysator .
• Semantik kontextfreier Sprachen , Donald Knuth , Math. Systemtheorie 2: 2 (1968), 127–145. Über die Grammatikattribution, die Grundlage für s-attributiert von yacc und den LR-attributierten Ansatz von zyacc.
• Ein Programmdatenflussanalyseverfahren , Frances E. Allen , John Cocke , Commun. ACM , 19, 137-147.
• A Unified Approach to Global Program Optimization , Gary Kildall , Proceedings of ACM Sigact-Sigplan 1973 Symposium on Principles of Programming Languages ( pdf ). Formalisierung des Konzepts der Datenflussanalyse als Fixpunkt der Gitterberechnung .
• YACC: Noch ein Compiler-Compiler , Stephen C. Johnson, Unix Programmer's Manual Vol 2b, 1979 ( Online lesen (HTML) . Yacc ist ein Werkzeug zur Parser- Generierung .
• gprof: A Call Graph Execution Profiler , Susan L. Graham, Peter B. Kessler, Marshall Kirk McKusick , Proceedings of the ACM Sigplan 1982 Symposium on Compiler Construction , Sigplan Notices 17, 6, Boston, MA.,Juni 1982. ( Online lesen ; pdf ). Die Profilerstellung gprof .
• Compiler: Prinzipien, Techniken und Werkzeuge , Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman , Monica Lam, Addison-Wesley , 1986. ( ISBN  0-201-10088-6 ) . Dieses Buch ist zu einem Klassiker im Compiler-Schreiben geworden.

Rechnerarchitektur

• Colossus computer , Tommy Flowers , Annals of the History of Computing , Bd. 5 (Nr. 3), 1983, p.  239–252 . ( Das Design des Koloss ). Colossus- Maschinen waren die ersten Computergeräte, die von der britischen Kryptoanalyse verwendet wurden, um deutsche Nachrichten zu knacken, die während des Zweiten Weltkriegs mit Lorenz' Maschine verschlüsselt wurden . Colossus ist ein binärer elektronischer digitaler Computer .
• Erster Entwurf eines Berichts über die EDVAC , John von Neumann .30. Juni 1945, das ENIAC - Projekt . ( Erster Entwurf eines Berichts zum EDVAC ) ( [PDF] ). Enthält die erste veröffentlichte Beschreibung des logischen Designs eines Computers unter Verwendung der von Neumann-Architektur.
• Architektur des IBM Systems / 360 , Gene Amdahl , Fred Brooks , GA Blaauw , IBM Journal of Research and Development , 1964. ( Architektur des IBM Systems / 360 ). Das IBM / 360-System ist eine Familie von Mainframe-Systemen , die von IBM am . angekündigt wurde7. April 1964. Es war die erste Computerfamilie, die eine klare Unterscheidung zwischen Architektur und Implementierung machte.
• Der Fall für den Computer mit reduziertem Befehlssatz , DA Patterson, DR Ditzel, Computer Architecture News , vol. 8, n o  6,Oktober 1980, s.  25–33 . ( Online-Version ( [PDF] ) )
• Anmerkungen zum Fall des Reduzierten Befehlssatzes Computer , DW Clark, WD Strecker, Computer Architecture News , 1980. ( Online-Version ( [PDF] )
• Das CRAY-1-Computersystem , DW Clark, WD Strecker, Kommunikation des ACM ,Januar 1978, Band 21, Nummer 1, Seiten 63–72. ( Online-Version ( [PDF] ) ). Der Cray-1 war ein Supercomputer, der von einem Team einschließlich Seymour Cray für Cray Research entwickelt wurde . Das erste Cray-1-System wurde 1976 im Los Alamos National Laboratory installiert und ist zu einem der bekanntesten und erfolgreichsten Supercomputer der Geschichte geworden.
• Gültigkeit des Single Processor Approach to Achieving Large Scale Computing Capabilities , Gene Amdahl , AFIPS 1967 Spring Joint Computer Conference , Atlantic City, NJ ( Online-Version ( [PDF] ) ). Das Gesetz von Amdahl .
• A Case for Redundant Arrays of Inexpensive Disks (RAID) , David A. Patterson, Garth Gibson, Randy H. Katz, In International Conference on Management of Data , Seiten 109–116, 1988. ( Online-Version ( [PDF] ) ). Das Dokument stellt das Konzept von RAID- Festplatten vor , beschreibt die verschiedenen RAID-Stufen und die Vorteile jeder Stufe.

Infografiken

• The Rendering Equation , J. Kajiya, Siggraph: ACM Special Interest Group on Computer Graphics and Interactive Techniques , Seiten 143—150
• Elastisch verformbare Modelle , Demetri Terzopoulos , John Platt , Alan Barr, Kurt Fleischer, Computer Graphics , 21 (4), 1987, 205–214, Proc. ACM SIGGRAPH '87 Konferenz, Anaheim, CA,Juli 1987. ( Online-Version ( [PDF] ) ).

Digitales Sehen

• The Phase Correlation Image Alignment Method , CD Kuglin, DC Hines, IEEE 1975 Conference on Kybernetics and Society , 1975, New York, p.  163–165 . Ein Korrelationsverfahren basierend auf der inversen Fourier- Transformation.
• Determining Optical Flow , BKP Horn, BG Schunck, Künstliche Intelligenz , Band 17, 185–203, 1981. DOI : 10.1016 / 0004-3702 (81) 90024-2 . Ein Verfahren zum Schätzen der Bildbewegung von Punkten zwischen zwei Bildern einer Videosequenz.
• An Iterative Image Registration Technique with an Application to Stereo Vision , BD Lucas, Takeo Kanade , Proceedings of the 7th International Joint Conference on Artificial Intelligence , 674–679, Vancouver, Kanada, 1981 ( Online-Version ). Dieses Dokument stellt eine effiziente Technik zur Bildaufzeichnung bereit.
• Die Laplace-Pyramide als kompakter Bildcode , Peter J. Burt, Edward H. Adelson, IEEE Transactions on Communications , Band = COM-31,4 , p.  532–540 , 1983. ( Online-Version ). Eine Technik zur Bildkodierung unter Verwendung lokaler Operatoren vieler Skalen.
• Stochastische Relaxation, Gibbs-Verteilungen und die Bayessche Wiederherstellung von Bildern , Stuart Geman, Donald Geman, IEEE Transactions on Pattern Analysis and Machine Intelligence , 1984. Einführung von 1) MRFs für die Bildanalyse 2) Gibbs-Sampling, das die Bayes-Statistik revolutionierte und daher eine Auswirkungen auf viele andere Bereiche neben Computer Vision.
• Schlangen: Aktive Konturmodelle , Michael Kass, Andrew Witkin, Demetri Terzopoulos . Eine variable interaktive Technik zur Bildsegmentierung und visuellen Verfolgung.
• Kondensation – bedingte Dichteausbreitung für visuelles Tracking , M. Isard, A. Blake, International Journal of Computer Vision , 29 (1): 5–28, 1998. ( Online-Version ). Eine Technik für das bewegte Spiel.
• Objekterkennung aus lokalen skaleninvarianten Merkmalen , David Lowe , International Conference on Computer Vision , p.  1150–1157 , 1999. Eine Technik ( Skaleninvariante Merkmalstransformation ) zur Merkmalsbeschreibung .

Datenbank

• Ein relationales Modell für großen gemeinsam genutzten Datenbanken , Edgar Frank Codd , Communications of the ACM , 13 (6): 377-387,Juni 1970. Dieses Dokument stellt das relationale Modell von Datenbanken vor .
• Binary B-Trees for Virtual Memory , Rudolf Bayer , ACM-SIGFIDET Workshop 1971 , San Diego, California, Session 5B, p.  219–235 . Dieses Papier stellt die Datenstruktur von B-Bäumen vor . Dieses Modell hat sich zum Modell Nummer eins entwickelt.
• Das Entity-Relationship-Modell – Hin zu einer einheitlichen Sicht auf Daten , Peter Chen , ACM-Transaktionen auf Datenbanksystemen , Bd. 1, Num. 1, März 1976, S. 9–36 . Dieses Dokument stellt das Entity Relationship Model (ERD) -Diagramm des Datenbankentwurfs vor.
• Fortsetzung: Eine strukturierte englische Abfragesprache , Donald D. Chamberlin , Raymond F. Boyce. Dieses Dokument stellt die SQL-Sprache vor.
• Die Begriffe Konsistenz und Prädikatssperren in einem Datenbanksystem , KP Eswaran, J. Gray, RA Lorie, IL Traiger, Communications of the ACM 19 , 1976, 624-633. Dieses Dokument definiert die Konzepte von Transaktion und Konsistenz . Er argumentierte auch, dass sich eine Transaktion eher auf eine Logik als auf eine physische Teilmenge der Datenbank beziehen sollte.
• Mining-Assoziationsregeln zwischen Sets von Elementen in großen Datenbanken , Rakesh Agrawal, Tomasz Imielinski, Arun Swami, Proc. der ACM SIGMOD Conference on Management of Data , Seiten 207–216, Washington, DC,Mai 1993( Online-Version (HTML) ). Die Assoziationsregeln , eine sehr verbreitete Methode für das Data Mining .

Geschichte der Infinitesimalrechnung

• Herman H. Goldstine , Der Computer von Pascal bis von Neumann , Princeton University Press ,1972( ISBN  0-691-08104-2 ). Das erste Buch über die Geschichte der Infinitesimalrechnung.
• A History of Computing in the Twentieth Century , Nicholas Metropolis , J. Howlett, Gian-Carlo Rota , Academic Press , 1980, ( ISBN  0-12-491650-3 ) . Mehrere Kapitel von Computerpionieren.

Suche nach Informationen

• Ein Vektorraummodell für die automatische Indizierung , Gerard Salton , A. Wong, CS Yang, Commun. ACM , 18 (11): 613-620 (1975). Präsentation der Vektorvorlage.
• Erweiterter boolescher Informationsabruf , Gerard Salton , Edward A. Fox, Harry Wu, Commun. ACM 26 (11): 1022-1036 (1983). Darstellung des invertierten Index .

Soziales Netzwerk

• Data Communications and Networking , Behrouz A. Forouzan, ( ISBN  0073376221 ) , McGraw Hill Education, 2013. Dieses Buch präsentiert einen umfassenden und zugänglichen Ansatz für die Datenkommunikation und das Networking, was dieses Buch zu einem Favoriten bei Studenten und Fachleuten gemacht hat. Über 830 Zahlen und 150 Tabellen begleiten den Text und sorgen für visuelles und intuitives Verständnis.

Betriebssysteme

• Ein experimentelles Timesharing-System , Fernando J. Corbató , M. Merwin-Daggett, RC Daley, Proceedings of the AFIPS FJCC , Seiten 335–344, 1962. ( Online-Version (HTML) ). In diesem Dokument wird Timesharing als Methode zur gemeinsamen Nutzung von Computerressourcen erläutert . Diese Idee hat die Interaktion mit Computersystemen verändert.
• The Working Set Model for Program Behavior , Peter J. Denning, Communications of the ACM , Vol. 2, No. 11, n o  5,Mai 1968, s.  323–333 ( Online-Version ( [PDF] ) ). Der Start des Caches .
• Virtueller Speicher, Prozesse und gemeinsame Nutzung in Multics , Robert C. Daley, Jack B. Dennis , Communications of the ACM , Vol. 2, No. 11, n o  5,Mai 1968, s.  306–312 . ( Online-Version ( [PDF] ) . Klassisches Dokument über Multics , das ehrgeizigste Betriebssystem in der frühen Computergeschichte. Die meisten Betriebssysteme seit Multics haben eine Teilmenge seiner Funktionen integriert.
• Der Kern eines Multiprogramming-Systems , Per Brinch Hansen, Communications of the ACM , Bd. 13, n o  4,April 1970, s.  238–242 ( Online-Version ( [PDF] ) ). Dokument über die erweiterbare Kernel-Architektur des RC 4000 Multiprogramming-Systems , jetzt bekannt als Mikronukleus.
• Betriebssystemprinzipien , Per Brinch Hansen, Prentice Hall , Englewood Cliffs, NJ,Juli 1973. ( Online-Version (ACM Digital Library) ). Das erste umfassende Handbuch zu Betriebssystemen.
• The UNIX Time-Sharing System , Dennis M. Ritchie und Ken Thompson , Communications of the ACM , 17 (7),Juli 1974. ( Online-Version ). Das Unix- Betriebssystem und seine Prinzipien wurden in diesem Dokument beschrieben. Die Hauptbedeutung kommt nicht aus diesem Dokument, sondern aus dem Betriebssystem, das einen großen Einfluss auf das Betriebssystem und die Computertechnologie hatte.
• Erfahrungen mit Prozessen und Monitoren in Mesa , Butler W. Lampson , David D. Redell , Communications of the ACM , Vol. 2, No. 23, n o  2Februar 1980, s.  105–117 . ( Online-Version ( [PDF] ) ). Klassisches Dokument zu Synchronisationstechniken.
• Ein schnelles Dateisystem für Unix , Marshall Kirk McKusick , William N. Joy , Samuel J. Leffler, Robert S. Fabry, IACM Transactions on Computer Systems , Bd. 2, n o  3, August 1984 p.  181–197 . ( Online-Version ( [PDF] ) ). Das Dateisystem für Unix . Einer der ersten Artikel zum Verwalten von Festplattenspeicher für Hochleistungsdateisysteme.
• Microkernel-Betriebssystemarchitektur und Mach , David L. Black, David B. Golub, Daniel P. Julin, Richard F. Rashid, Richard P. Draves, Randall W. Dean, Alessandro Forin, Joseph Barrera, Hideyuki Tokuda, Gerald Malan, David Böhmen, Seiten 11–30,April 1992. Dokument, das sich mit einer bestimmten Mikronukleus-Architektur befasst.
• Soft Updates: A Solution to the Metadata Update problem in File Systems , G. Ganger, M. McKusick , C. Soules, Y. Patt, ACM Transactions on Computer Systems 18, 2, p.  127–153 ,Mai 2000( Online-Version ). Eine neue Möglichkeit, Dateisystemkonsistenz aufrechtzuerhalten.

Programmiersprachen

• The Fortran Automatic Coding System , John Backus et al., Proceedings of the WJCC (Western Joint Computer Conference) , Los Angeles, Kalifornien,Februar 1957. ( Online-Version ( [PDF] ) ). Dieses Dokument beschreibt das Design und die Implementierung des ersten Fortran- Compilers durch das IBM- Team . Fortran ist eine dedizierte , prozeduralen , und zwingend notwendig , Programmierung Sprache , die vor allem auf numerisches und wissenschaftliches Rechnen geeignet ist.
• Rekursive Funktionen symbolischer Ausdrücke und ihre maschinelle Berechnung, Teil I , John McCarthy , Communications of the ACM , 3 (4): 184-195,April 1960. ( Online-Version ). In diesem Dokument wird LISP vorgestellt , die erste funktionale Programmiersprache , die in vielen Bereichen der Informatik, insbesondere in der KI, weit verbreitet ist . LISP verfügt auch über leistungsstarke Funktionen zur Manipulation von LISP-Programmen innerhalb der Sprache.
• Grundlegende Konzepte in Programmiersprachen , Christopher Strachey , ( [PDF] ). Einführung der Terminologie der Programmiersprache, die heute noch verwendet wird.
• Lambda Papers , Gerald Jay Sussman und Guy Lewis Steele, Jr. , AI Memos, 1975–1980. Diese Reihe von Artikeln und Berichten definiert zunächst die einflussreiche Programmiersprache Scheme und hinterfragt bestehende Praktiken im Programmiersprachendesign, indem sie groß angelegte Lambda-Kalküle verwendet , um die Konzepte der Programmiersprache zu modellieren und eine effektive Implementierung zu steuern, ohne die Ausdruckskraft zu beeinträchtigen .
• Struktur und Interpretation von Computerprogrammen , Hal Abelson und Gerald Jay Sussman , MIT Press , 1984, 1996. Dieses Handbuch erklärt grundlegende Konzepte der Computerprogrammierung und gilt als klassischer Text in der Informatik.
• Monaden verstehen , Philip Wadler , Mathematische Strukturen in der Informatik 2.04 , 1992, 461-493. ( Online-Version ). Dieses Dokument führt die Monade in die funktionale Programmierung ein.
• Auf dem Weg zu einer Theorie der Typstruktur , John Reynolds, Programming Symposium. Springer Berlin Heidelberg , 1974. ( Online-Version ). Dieses Dokument stellt das F-System vor .
• Eine axiomatic Basis für Computerprogrammierung , Charles Richard Antony Hoare , Communications of the ACM , Band 12, n o  10,Oktober 1969, Seiten 576-580. Dieser Artikel stellt die Logik von Hoare vor , die die Grundlage der Programmüberprüfung bildet.

Wissenschaftliches rechnen

• JH Wilkinson und C. Reinsch , Lineare Algebra, Band II des Handbook for Automatic Computation , Springer,1971( ISBN  978-0-387-05414-8 )
• Gene H. Golub, Charles F. van Loan, Matrix Computations, 3. Auflage , Johns Hopkins University Press, 1996 [1983] ( ISBN  978-0-8018-5414-9 )
• Computerlinguistik , TL Booth (1969). "Probabilistische Darstellung formaler Sprachen" IEEE Conference Record of the 1969 Tenth Annual Symposium on Switching and Automata Theory : 74–81 S .. 
• Kimmo Koskenniemi, Zwei-Level - Morphologie: Ein allgemeines Berechnungsmodell von Wortformerkennung und Produktion , Institut für Allgemeine Sprachwissenschaft, Universität Helsinki , 1983. Die erste veröffentlichte Beschreibung der Computational Morphologie mit endlichen Wandlern . (Kaplan und Kay hatten zuvor in diesem Bereich gearbeitet und auf einer Konferenz vorgestellt, der Linguist Johnson bemerkte die Möglichkeit 1972, setzte sie jedoch nicht um.)
• Lawrence R. Rabiner , „  Ein Tutorial zu Hidden-Markov-Modellen und ausgewählten Anwendungen in der Spracherkennung  “, Proceedings of the IEEE , vol.  77, n o  21989, s.  257–286 ( DOI  10.1109 / 5.18626 ). Eine Übersicht über die Spracherkennung orientiert Markov - Modelle versteckt , beschreibt die Viterbi und Vorwärts-Rückwärts - Algorithmus  .
• Eric Brill , „  Transformationsbasiertes fehlergesteuertes Lernen und Verarbeitung natürlicher Sprache: Eine Fallstudie zum Tagging von Wortarten  “, Computerlinguistik , vol.  21, n o  4,1995, s.  543–566. Beschreibt einen heute häufig verwendeten POS-Tagger, der auf transformativem Lernen basiert.

Softwareentwicklung

• Software Engineering: Bericht einer vom NATO Science Committee gesponserten Konferenz , Peter Naur , Brian Randell (Hrsg.), Garmisch, Deutschland, 7–11. Oktober 1968, Brüssel, Abteilung Wissenschaftliche Angelegenheiten, NATO (1969) 231 S. ( Online-Version ( [PDF] ) ). Konferenz der Software-Führungskräfte c. 1968. Das Dokument definiert das Gebiet der Softwaretechnik .
• A Description of the Model-View-Controller User Interface Paradigm in the Smalltalk-80 System , Glenn E. Krasner, Stephen T. Pope, The Journal of Object Technology , August-September 1988( Online-Version ( [PDF] ) )
• Gehe zu Aussage als schädlich , Edsger Dijkstra , Mitteilungen des ACM , 1 (3): 147–148,März 1968( Online-Version ). Verwenden Sie nicht goto - der Beginn der strukturierten Programmierung .
• Auf den Kriterien bei der Zersetzung Systemen in Module verwendet werden , David Parnas , Communications of the ACM , Band 15, n o  12: 1053-1058,Dezember 1972. ( Online-Version ( [PDF] ) ). Die Bedeutung von Modularisierung und Kapselung .
• Hierarchische Programmstrukturen , Ole-Johan Dahl , Charles Antony Richard Hoare , Structured Programming , Academic Press, London and New York, p.  175–220 , 1972. Der Beginn der objektorientierten Programmierung . In diesem Artikel wurde argumentiert, dass Programme in unabhängige Komponenten zerlegt werden sollten. Sie argumentierten auch, dass Objekte verwandte Daten und Methoden haben sollten.
• Eine Technik zur Spezifikation von Softwaremodulen mit Beispielen , David Parnas , Comm. ACM 15 , 5 (Mai 1972), 330–336. Spezifikation .
• Structured Design , Wayne Stevens, Glenford Myers und Larry Constantine, IBM Systems Journal , 13 (2), 115–139, 1974. ( Online-Version ( [PDF] ) ). Artikel zu strukturiertem Design , Datenflussdiagramm , Kopplung und Kohäsion .
• Die alten Kleider des Kaisers , CAR Hoare, Mitteilungen der ACM , Vol. 24, n o  2Februar 1981, s.  75–83 . ( Online-Version ( [PDF] ) ). Veranschaulicht den „  zweiten Systemeffekt  “ und die Bedeutung der Einfachheit.
• Der Mythos der Mann-Monat: Essays on Software Engineering , Fred Brooks , Addison Wesley, 2 th  Edition, Werfen 1995 mehr Menschen auf die Aufgabe wird seine Vollendung nicht beschleunigen ...
• No Silver Bullet: Essence and Accidents of Software Engineering , Frederick. P., Jr. Brooks , „  No Silver Bullet: Essence and Accidents of Software Engineering  “, Computer , vol.  20, n o  4,April 1987, s.  10–19 ( DOI  10.1109 / MC.1987.1663532 )
• Die Kathedrale und der Basar , Eric Raymond , Erster Montag , 3, 3,März 1998( Online-Version (HTML) ). Open-Source- Methodik .
• Design Patterns: Elemente wiederverwendbarer objektorientierter Software , Erich Gamma , Design Patterns , R. Johnson, J. Vlissides
• Addison-Wesley , Reading, Massachusetts, 1995. Dieses Buch war das erste, das Entwurfsmuster definiert und auflistet .
• Statecharts: Ein visueller Formalismus für komplexe Systeme , David Harel, D. Harel. Statecharts: Ein visueller Formalismus für komplexe Systeme. Science of Computer Programming , 8: 231-274, 1987 ( Online-Version ). Die  Statecharts sind ein visueller Modellierungsansatz. Sie sind eine Erweiterung der Zustandsmaschine , die exponentiell effizienter sein könnte. Daher ermöglichen Statcharts die formale Modellierung von Anwendungen, die zuvor zu komplex waren.

Sicherheit

Anonymitätssysteme

• David Chaum, Unverfolgbare elektronische Post, Rücksendeadressen und digitale Pseudonyme , Communications of the ACM , 4 (2): 84–88,Februar 1981.
• Dingledine und Mathewson, Anonymity Loves Company: Usability and the Network Effect , Workshop on the Economics of Information Security (WEIS) 2006

Kryptographie

• Whitfield Diffie und Martin E. Hellman, New Directions in Cryptography , IEEE Transactions on Information Theory,November 1976
• RL Rivest, A. Shamir und LM Adelman, Eine Methode zum Erhalt digitaler Signaturen und Public-Key-Kryptosysteme , MIT / LCS / TM-82, 1977
• R. Merkle, Security, Authentication, and Public Key Systems , Dissertation, Stanford University, 1979.

Passwörter

• Robert Morris und Ken Thompson, Passwort - Sicherheit: eine Fallgeschichte , Communications of the ACM CACM Homepage Archiv , Band 22, n o  11. November 1979 Seiten 594-597. ( [PDF] )
• Mazurek et al., Messung der Passworterkennbarkeit für eine gesamte Universität , CCS '13 Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security , Seiten 173-186

Sicherheitssystem

• Saltzer und Schroeder, The Protection of Information in Computer Systems , ACM Symposium on Operating System Principles ,Oktober 1973( HTML HTML2 )
• Karger und Schell, Thirty Years later: Lessons from the Multics Security Evaluation , ACSAC, 2002
• Lamport, Butler, A Note on the Confinement Problem , Communications of the ACM , 16:10 (Oktober 1973), p.  613-615 . ( [PDF] )
• Thompson, Reflections on Trusting Trust , Mitteilungen des ACM , 27: 8,August 1984
• JE Forrester und BP Miller, An Empirical Study of the Robustness of Windows NT Applications Using Random Testing , 4. USENIX Windows Systems Symposium, Seattle,August 2000.

Sicherheit verwendbar

• Whitten, Alma, Why Johnny Can't Encrypt: A Usability Evaluation of PGP 5.0 , Proceedings of the 8th Conference on Usenix Security Symposium , Band 8, Seiten 14–28
• Simson Garfinkel und Abhi Shelat, Erinnerung an Daten übergeben , IEEE Sicherheit und Privatsphäre , Band 1, n o  1,Januar 2003, Seite 17-27

Theoretische Informatik

• Die behandelten Themen: Theoretische Informatik , Komplexitätstheorie , Algorithmen , algorithmische Informationstheorie , Informationstheorie  und formale Verifikation .

Hinweise und Referenzen

1. http://www.pnas.org/cgi/content/abstract/97/1/262
2. Laplante 1996 , p.  150
3. Laplante 1996 , p.  208
4. Die Rendering-Gleichung
5. M. Kass , A. Witkin und D. Terzopoulos , „  Schlangen: Aktive Konturmodelle  “, International Journal of Computer Vision , vol.  1, n o  4,1988, s.  321 ( DOI  10.1007 / BF00133570 , online lesen )
6. Behrouz Forouzan, "  Datenkommunikation und Netzwerk - Buch  " , McGraw-Hill Education (abgerufen am 1. st Januar 2013 )
7. Laplante 1996 , p.  62
8. (en-US) Benjamin C. Pierce, „  Großartige Werke in Programmiersprachen  “ , Penn Engineering ,2004
9. Zwei-Ebenen-Morphologie: Ein allgemeines Rechenmodell der Wortformerkennung und -produktion (PDF)
10. Modellansicht Controller-Verlauf .

Siehe auch

Literaturverzeichnis

• (en) Phillip Laplante ( dir. ), Great papers in Computer Science , New York, IEEE Press,1996, 717  S. ( ISBN  0-314-06365-X )

Zum Thema passende Artikel

• Liste wichtiger Kryptologie-Publikationen
• Liste wichtiger Veröffentlichungen in der theoretischen Informatik
• Liste wichtiger mathematischer Veröffentlichungen
• Liste wichtiger Veröffentlichungen in der Statistik
• Liste wichtiger Veröffentlichungen in der Physik
• Chronologie der botanischen Klassifikation

Externe Links

Suchmaschinen für Universitäten

• Google Scholar
• CiteSeer
• Live-Akademiker
• Odyszi
• ISI Web of Science