Liste over viktige informatikkpublikasjoner
Her er en liste over viktige informatikkpublikasjoner , organisert etter fagområde.
Noen grunner til at et innlegg kan betraktes som viktig:
- kreativt emne - Et innlegg som skapte et nytt emne;
- funn - En publikasjon som betydelig endret vitenskapelig kunnskap;
- innflytelse - En publikasjon som har påvirket verden sterkt, eller som har hatt en enorm innvirkning på informatikkutdanningen .
Kunstig intelligens
-
Computing Machinery and Intelligence , Alan Turing , Mind , 59: 433–460, 1950 ( online kopi ). Denne artikkelen foreslår Turing-testen som en metode for å skille mellom maskin og menneske.
-
Et forslag til Dartmouth Summer Research Project on Artificial Intelligence , John McCarthy , Marvin Minsky , N. Rochester, Claude Shannon ( online kopi ). I sommer ble forskningsprosjekt innviet og definert. Den inneholder den første bruken av begrepet kunstig intelligens og denne kortfattede beskrivelsen av feltets filosofiske grunnlag: "ethvert aspekt ved læring eller andre karakteristika ved intelligens kan i prinsippet beskrives nøyaktig som en maskin kan lages for å simulere dem" ( Se filosofien om kunstig intelligens ). Dette forslaget inviterte forskere til Dartmouth-konferansen , som er allment ansett som ((fødsel av AI ((. (Se historie om AI.)).
-
Fuzzy sets , Lotfi Zadeh , Information and Control , Vol. 8, s. 338–353 , 1965. Denne grunnleggende oppgaven som ble utgitt i 1965, gir detaljer om matematikken i fuzzy set theory .
-
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference , Judea Pearl ( ISBN 1-55860-479-0 ) . Denne boken introduserer Bayesianske metoder for AI.
-
Artificial Intelligence: A Modern Approach , Stuart J. Russell , Peter Norvig , Prentice Hall, Englewood Cliffs, New Jersey, 1995, ( ISBN 0-13-080302-2 ) ( Online kopi ). Referansehåndbok i kunstig intelligens. Bokens nettsted viser over 1100 høyskoler.
Maskinlæring
-
En induktiv inferensmaskin , Ray Solomonoff , IRE Convention Record, Seksjon om informasjonsteori , del 2, s. 56–62 , 1957. Det første skriftlige dokumentet om maskinlæring . Den understreker viktigheten av å trene sekvenser, og bruk av deler av tidligere løsninger på problemer i å konstruere testløsninger på nye problemer.
-
Språkidentifikasjon i grensen , E. Mark Gold, Information and Control , 10 (5): 447–474, 1967 ( (HTML) (PDF) ). Dette dokumentet skapte teorien om algoritmisk læring .
-
Om den ensartede konvergensen av relative frekvenser av hendelser til deres sannsynlighet , Vladimir Vapnik , Alexeï Tchervonenkis , Theory of Probability and its Applications , 16 (2): 264—280, 1971. Computer learning theory, VC theory, convergence statistical uniform and the VC dimensjon.
-
En teori om det lærbare , Leslie Valiant , Communications of the ACM , 27 (11): 1134–1142, 1984. PAC-læring .
-
Læringsrepresentasjoner av Back-Propagating feil , David E. Rumelhart, Geoffrey E. Hinton og Ronald J. Williams, Nature , 323, 533-536, 1986. Utvikling av algoritmen tilbake forplantning for nevrale nettverk kunstig . Merk at algoritmen ble beskrevet av Paul Werbos i 1974.
-
Induksjon av beslutningstrær , Ross Quinlan , maskinlæring , 1. 81-106, 1986. Beslutningstrær er et vanlig læringsalgoritme og beslutningsrepresentasjonsverktøy.
-
Lære raskt når irrelevant attributter er i overflod: En ny algoritme med lineær terskel , Nick Littlestone, Machine Learning 2: 285–318, 1988 ( Online versjon (PDF) )
-
Lære å forutsi etter metoden for tidsmessig forskjell , Richard S. Sutton , Machine Learning 3 (1): 9–44 ( Online versjon ). Tidsforskjellen metoden for forsterkning læring .
-
Lærbarhet og Vapnik - Chervonenkis-dimensjonen , A. Blumer, Andrzej Ehrenfeucht , D. Haussler, MK Warmuth, Journal of the ACM , 36 (4): 929–965, 1989. Fullstendig karakterisering av PAC-læring ved bruk av VC-dimensjonen .
-
Kryptografiske begrensninger på læring av boolske formler og endelige automater , M. Kearns, Leslie Valiant , Symposium on Theory of Computing , side 433–444, New York, ACM. ( Online versjon (HTML) ). Bevis på negative resultater for CAP-læring.
-
Styrken til svak lærbarhet , Robert Schapire , Machine Learning , 5 (2): 197–227, 1990. ( Online versjon (HTML) ). Bevis for at svak og sterk lærbarhet er ekvivalent i PAC-rammeverket .
-
En treningsalgoritme for optimale margklassifiserere , Bernhard E. Boser, Isabelle M. Guyon, Vladimir Vapnik , ( Online versjon (HTML) ). Denne artikkelen introduserer Support Vector Machines , en praktisk og populær maskinlæringsalgoritme. Støttevektormaskiner bruker ofte kjernetrikset .
-
En hurtiglæringsalgoritme for dype trosnett, Geoffrey E. Hinton, Simon Osindero, Yee-Whye Teh, Neural Computation , 2006 ( [PDF] online )
-
Kunnskapsbasert analyse av mikroarray-genuttrykkingsdata ved hjelp av støttevektormaskiner , 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. Den første anvendelsen av veiledet læring til data om genuttrykk , spesielt bærervektormaskinen . Metoden er nå standard, og dokumentet er en av de mest siterte i dette feltet.
Kompilatorer
-
DE Knuth , “ Om oversettelse av språk fra venstre til høyre ”, Information and Control , vol. 8, n o 6,Juli 1965, s. 607-639 ( DOI 10.1016 / S0019-9958 (65) 90426-2 , lest online , åpnet 29. mai 2011 ). LR-analysator .
-
Semantics of Context-Free Languages , Donald Knuth , Math. Systemteori 2: 2 (1968), 127–145. Om grammatikkattribusjon, grunnlaget for s-tilskrevet av yacc, og den LR-tilskrevne tilnærmingen til zyacc.
-
En prosedyre for analyser av dataflyt , Frances E. Allen , John Cocke , Commun. ACM , 19, 137-147.
-
En enhetlig tilnærming til global programoptimalisering , Gary Kildall , Proceedings of ACM Sigact-Sigplan 1973 Symposium on Principles of Programming Languages ( pdf ). Formaliserte begrepet dataflytanalyse som et fast punkt for gitterberegning .
-
YACC: Nok en kompilator-kompilator , Stephen C. Johnson, Unix Programmer's Manual Vol 2b, 1979 ( Les online (HTML) . Yacc er et verktøy for parsergenerering .
-
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. ( Les online ; pdf ). Den profilering gprof .
-
Compilers: Principles, Techniques and Tools , Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman , Monica Lam, Addison-Wesley , 1986. ( ISBN 0-201-10088-6 ) . Denne boken har blitt en klassiker innen kompilatorforfattere.
Datamaskinarkitektur
-
Colossus datamaskin , Tommy Flowers , Annals of the History of Computing , Vol. 5 (nr. 3), 1983, s. 239–252 . ( Designet av Colossus ). Colossus- maskiner var de første databehandlingsapparatene som ble brukt av britisk kryptanalyse for å bryte tyske meldinger kryptert med Lorenz-maskinen under andre verdenskrig . Colossus er en binær elektronisk digital datamaskin .
-
Første utkast til en rapport om EDVAC , John von Neumann .30. juni 1945, ENIAC- prosjektet . ( Første utkast til en rapport om EDVAC ) ( [PDF] ). Inneholder den første publiserte beskrivelsen av den logiske utformingen av en datamaskin ved hjelp av von Neumann-arkitekturen.
-
Architecture of the IBM System / 360 , Gene Amdahl , Fred Brooks , GA Blaauw, IBM Journal of Research and Development , 1964. ( Architecture of the IBM System / 360 ). Den IBM / 360-systemet er en familie av stormaskinsystemer annonsert av IBM på7. april 1964. Det var den første familien av datamaskiner som gjorde et klart skille mellom arkitektur og implementering.
-
Saken for den reduserte instruksjonsdatamaskinen , DA Patterson, DR Ditzel, Computer Architecture News , vol. 8, n o 6,Oktober 1980, s. 25–33 . ( Online versjon ( [PDF] ) )
-
Kommentarer til saken for redusert instruksjonsdatamaskin , DW Clark, WD Strecker, Computer Architecture News , 1980. ( Online versjon ( [PDF] )
-
CRAY-1 datasystem , DW Clark, WD Strecker, kommunikasjon av ACM ,Januar 1978, bind 21, nummer 1, side 63–72. ( Online versjon ( [PDF] ) ). Den Cray-1 var en superdatamaskin designet av et team inkludert Seymour Cray for Cray forskning . Det første Cray-1-systemet ble installert på Los Alamos National Laboratory i 1976, det har blitt en av de mest kjente og mest suksessrike superdatamaskinene i historien.
-
Gyldigheten av Single Processor Approach to Achieving Large Scale Computing Capabilities , Gene Amdahl , AFIPS 1967 Spring Joint Computer Conference , Atlantic City, NJ ( Online versjon ( [PDF] ) ). Den Amdahl lov .
-
A Case for Redundant Arrays of Inexpensive Disks (RAID) , David A. Patterson, Garth Gibson, Randy H. Katz, In International Conference on Management of Data , side 109—116, 1988. ( Online versjon ( [PDF] ) ). Dokumentet introduserer konseptet med RAID- disker , beskriver de forskjellige nivåene av RAID, og fordelene med hvert nivå.
Infografikk
-
The Rendering Equation , J. Kajiya, Siggraph: ACM Special Interest Group on Computer Graphics and Interactive Techniques , side 143—150
-
Elastisk deformerbare modeller , Demetri Terzopoulos , John Platt , Alan Barr, Kurt Fleischer, Computer Graphics , 21 (4), 1987, 205–214, Proc. ACM SIGGRAPH '87 Conference, Anaheim, CA,Juli 1987. ( Online versjon ( [PDF] ) ).
Digital visjon
-
The Phase Correlation Image Alignment Method , CD Kuglin, DC Hines, IEEE 1975 Conference on Cybernetics and Society , 1975, New York, s. 163–165 . En korrelasjonsmetode basert på den inverse Fourier- transformasjonen.
-
Determining Optical Flow , BKP Horn, BG Schunck, Artificial Intelligence , Volume 17, 185–203, 1981. DOI : 10.1016 / 0004-3702 (81) 90024-2 . En metode for å estimere bildebevegelsen av punkter mellom to bilder i en videosekvens.
-
En Iterativ bilderegistreringsteknikk med en applikasjon til stereovision , BD Lucas, Takeo Kanade , Proceedings of the 7th International Joint Conference on Artificial Intelligence , 674–679, Vancouver, Canada, 1981 ( Online versjon ). Dette dokumentet gir en effektiv teknikk for bildeopptak.
-
The Laplacian Pyramid as a compact image code , Peter J. Burt, Edward H. Adelson, IEEE Transactions on Communications , volume = COM-31,4 , s. 532–540 , 1983. ( Online versjon ). En teknikk for bildekoding ved hjelp av lokale operatører av mange skalaer.
-
Stokastisk avslapping, Gibbs-fordelinger, og den bayesiske restaurering av bilder , Stuart Geman, Donald Geman, IEEE Transactions on Pattern Analysis and Machine Intelligence , 1984. Innføring av 1) MRFs for bildeanalyse 2) Gibbs sampling som revolusjonert Bayesisk statistikk og derfor hadde en primær innvirkning på mange andre felt i tillegg til datasyn.
-
Slanger: Aktive konturmodeller , Michael Kass, Andrew Witkin, Demetri Terzopoulos . En interaktiv variasjonsteknikk for bildesegmentering og visuell sporing.
-
Kondens - forplantning av betinget tetthet for visuell sporing , M. Isard, A. Blake, International Journal of Computer Vision , 29 (1): 5–28, 1998. ( Online versjon ). En teknikk for den bevegelige kampen.
-
Objektgjenkjenning fra lokale skala-invariante trekk , David Lowe , International Conference on Computer Vision , s. 1150–1157 , 1999. En teknikk ( Scale-invariant feature transform ) for funksjonsbeskrivelse .
Database
-
En relasjonsmodell for store delte databanker , Edgar Frank Codd , Communications of the ACM , 13 (6): 377–387,Juni 1970. Dette dokumentet presenterer relasjonsmodellen for databaser .
-
Binary B-Trees for Virtual Memory , Rudolf Bayer , ACM-SIGFIDET Workshop 1971 , San Diego, California, Session 5B, s. 219–235 . Denne artikkelen introduserer datastrukturen til B-trær . Denne modellen har blitt nummer én modell.
-
Enhetsrelasjonsmodellen - mot et enhetlig syn på data , Peter Chen , ACM Transactions on Database Systems , Vol. 1, nr. 1. mars 1976, s. 9–36 . Dette dokumentet introduserer diagram for Entity Relationship Model (ERD) over databasedesign.
-
Oppfølger: Et strukturert engelsk spørrespråk , Donald D. Chamberlin , Raymond F. Boyce. Dette dokumentet introduserer SQL-språket.
-
Forestillingene om konsistens og predikatlås i et databasesystem , KP Eswaran, J. Gray, RA Lorie, IL Traiger, Communications of the ACM 19 , 1976, 624-633. Dette dokumentet definerer begrepene transaksjon og konsistens . Han argumenterte også for at en transaksjon burde være relatert til en logikk i stedet for en fysisk delmengde av databasen.
-
Gruveforeningen regler mellom sett med artikler i store databaser , Rakesh Agrawal, Tomasz Imielinski, Arun Swami, Proc. av ACM SIGMOD Conference on Management of Data , side 207–216, Washington, DC,Mai 1993( Online versjon (HTML) ). De foreningen regler , en meget vanlig metode for datagraving .
Kalkulatorhistorie
Søker etter informasjon
-
En Vector Space Model for Automatic Indexing , Gerard Salton , A. Wong, CS Yang, Commun. ACM , 18 (11): 613-620 (1975). Vector mal presentasjon.
-
Utvidet boolsk informasjonsinnhenting , Gerard Salton , Edward A. Fox, Harry Wu, Commun. ACM 26 (11): 1022-1036 (1983). Presentasjon av den omvendte indeksen .
Sosialt nettverk
-
Datakommunikasjon og nettverk , Behrouz A. Forouzan, ( ISBN 0073376221 ) , McGraw hill education, 2013. Denne boka presenterer en omfattende og tilgjengelig tilnærming til datakommunikasjon og nettverk, og som har gjort denne boken til en favoritt blant studenter og fagpersoner. Over 830 tall og 150 tabeller følger teksten og gir visuell og intuitiv forståelse.
Operativsystemer
-
Et eksperimentelt timesharing-system , Fernando J. Corbató , M. Merwin-Daggett, RC Daley, Proceedings of the AFIPS FJCC , side 335–344, 1962. ( Online versjon (HTML) ). Dette dokumentet diskuterer tidsdeling av en metode for deling av dataressurser. Denne ideen har endret samspillet med datasystemer.
-
Working Set Model for Program Behavior , Peter J. Denning, Communications of the ACM , Vol. 11, n o 5,Mai 1968, s. 323–333 ( Online versjon ( [PDF] ) ). Starten på hurtigbufferen .
-
Virtuelt minne, prosesser og deling i multics , Robert C. Daley, Jack B. Dennis , Communications of the ACM , Vol. 11, n o 5,Mai 1968, s. 306–312 . ( Online versjon ( [PDF] ) . Klassisk dokument om Multics , det mest ambisiøse operativsystemet i tidlig datahistorie. De fleste operativsystemer siden Multics har innlemmet en delmengde av fasilitetene.
-
Kjernen til et flerprogrammeringssystem , Per Brinch Hansen, Communications of the ACM , Vol. 13, n o 4,April 1970, s. 238-242 ( Online versjon ( [PDF] ) ). Dokument på den utvidbare kjernearkitekturen til RC 4000 flerprogrammeringssystem , nå kjent som mikronukleus.
-
Operativsystemprinsipper , Per Brinch Hansen, Prentice Hall , Englewood Cliffs, NJ,Juli 1973. ( Online versjon (ACM Digital Library) ). Den første omfattende håndboken om operativsystemer.
-
UNIX Time-Sharing System , Dennis M. Ritchie og Ken Thompson , Communications of the ACM , 17 (7),Juli 1974. ( Online versjon ). Unix- operativsystemet og dets prinsipper er beskrevet i dette dokumentet. Hovedviktigheten kommer ikke fra dette dokumentet, men fra operativsystemet, som har hatt en enorm innvirkning på operativsystemet og datateknologien.
-
Erfaringer med prosesser og skjermer i Mesa , Butler W. Lampson , David D. Redell, Communications of the ACM , Vol. 23, n o toFebruar 1980, s. 105–117 . ( Online versjon ( [PDF] ) ). Klassisk dokument om synkroniseringsteknikker.
-
Et raskt filsystem for Unix , Marshall Kirk McKusick , William N. Joy , Samuel J. Leffler, Robert S. Fabry, IACM Transactions on Computer Systems , Vol. 2, n o 3, august 1984, s. 181–197 . ( Online versjon ( [PDF] ) ). Den filsystemet for Unix . En av de første artiklene om hvordan du administrerer disklagring for filsystemer med høy ytelse.
-
Microkernel operativsystemarkitektur og 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 Bohman, side 11–30,April 1992. Dokument som omhandler en bestemt mikronukleusarkitektur.
-
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 versjon ). En ny måte å opprettholde konsistensen av filsystemet på.
Programmerings språk
-
Fortran Automatic Coding System , John Backus et al., Proceedings of the WJCC (Western Joint Computer Conference) , Los Angeles, California,Februar 1957. ( Online versjon ( [PDF] ) ). Dette dokumentet beskriver utformingen og implementeringen av den første Fortran- kompilatoren av IBM- teamet . Fortran er en dedikert , prosessuelle , og viktig programmeringsspråk som er spesielt egnet til numerisk og vitenskapelig databehandling.
-
Rekursive funksjoner av symbolske uttrykk og deres maskinberegning, del I , John McCarthy , Communications of the ACM , 3 (4): 184–195,April 1960. ( Online versjon ). Dette dokumentet introduserer LISP , det første funksjonelle programmeringsspråket , som har blitt mye brukt i mange områder av databehandling, spesielt innen AI . LISP har også kraftige funksjoner for å manipulere LISP-programmer innen språket.
-
Fundamental Concepts in Programming Languages , Christopher Strachey , ( [PDF] ). Introdusert programmeringsspråkterminologi som fortsatt brukes i dag.
-
Lambda Papers , Gerald Jay Sussman og Guy Lewis Steele, Jr. , AI Memos, 1975–1980. Denne serien av artikler og rapporter definerer først det innflytelsesrike programmeringsspråket Scheme og utfordret eksisterende praksis innen programmeringsspråkdesign ved å bruke storskala lambda-beregning for å modellere konseptene til programmeringsspråket, programmering og veiledning for effektiv implementering uten å ofre uttrykksfull kraft .
-
Struktur og tolkning av dataprogrammer , Hal Abelson og Gerald Jay Sussman , MIT Press , 1984, 1996. Denne håndboken forklarer grunnleggende dataprogrammeringsbegreper, og regnes som en klassisk tekst innen informatikk.
-
Comprehending Monads , Philip Wadler , Matematiske strukturer i informatikk 2.04 , 1992, 461-493. ( Online versjon ). Dette dokumentet introduserer monaden til funksjonell programmering.
-
Mot en teori om typestruktur , John Reynolds, Programming Symposium. Springer Berlin Heidelberg , 1974. ( Online versjon ). Dette dokumentet introduserer F-systemet .
-
Et aksiomatisk grunnlag for dataprogrammering , Charles Antony Richard Hoare , Communications of the ACM , Volume 12, n o 10,Oktober 1969, Sider 576-580. Denne artikkelen introduserer Hoares logikk , som danner grunnlaget for programverifisering.
Vitenskapelig databehandling
- JH Wilkinson og C. Reinsch , Lineær algebra, bind II i håndbok for automatisk beregning , Springer,1971( ISBN 978-0-387-05414-8 )
- Gene H. Golub, Charles F. van Loan, Matrix Computations, 3. utgave , Johns Hopkins University Press, 1996 [1983] ( ISBN 978-0-8018-5414-9 )
-
Computational linguistics , TL Booth (1969). "Probabilistisk representasjon av formelle språk" IEEE Conference Record of the 1969 Tiende årlige symposium om bytte og automatteori: 74–81 s ..
- Kimmo Koskenniemi, To-nivå morfologi: En generell datamodell for ord-skjema anerkjennelse og produksjon , Institutt for generell lingvistikk, Universitetet i Helsinki , 1983. Den første publiserte beskrivelse av beregnings morfologi bruke begrensede transdusere . (Kaplan og Kay hadde tidligere jobbet i dette området og presenterte på en konferanse, lingvist Johnson la merke til muligheten i 1972, men implementerte den ikke.)
-
Lawrence R. Rabiner , “ En veiledning om skjulte Markov-modeller og utvalgte applikasjoner i talegjenkjenning ”, Proceedings of the IEEE , vol. 77, n o to1989, s. 257–286 ( DOI 10.1109 / 5.18626 ). En oversikt over talegjenkjenning orientert skjult Markovmodeller , beskriver Viterbi og forover og bakover algoritme .
-
Eric Brill , “ Transformasjonsbasert feildrevet læring og naturlig språkbehandling: En casestudie i tagging av tale ”, Computational Linguistics , vol. 21, n o 4,1995, s. 543–566. Beskriver en nå vanlig brukt POS-tagger basert på transformasjonsbasert læring.
Programvareteknikk
-
Programvareutvikling: Rapport fra en konferanse sponset av NATOs vitenskapskomite , Peter Naur , Brian Randell (red.), Garmisch, Tyskland, 7–11. oktober 1968, Brussel, Divisjon for vitenskapelige saker, NATO (1969) 231 s. ( Online versjon ( [PDF] ) ). Programvarelederkonferanse c. 1968. Dokumentet definerer feltet programvareutvikling .
-
En beskrivelse av 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 versjon ( [PDF] ) )
-
Gå til uttalelse som ansett som skadelig , Edsger Dijkstra , Communications of the ACM , 1 (3): 147–148,Mars 1968( Online versjon ). Ikke bruk goto - starten på strukturert programmering .
-
På kriteriene som skal brukes i systemer dekomponere i moduler , David Parnas , Communications of the ACM , bind 15, n o 12: 1053-1058,Desember 1972. ( Online versjon ( [PDF] ) ). Betydningen av modulering og innkapsling .
-
Hierarkiske programstrukturer , Ole-Johan Dahl , Charles Antony Richard Hoare , Structured Programming , Academic Press, London og New York, s. 175–220 , 1972. Begynnelsen på objektorientert programmering . Denne artikkelen argumenterte for at programmer burde deles opp i uavhengige komponenter. De argumenterte også for at objekter burde ha relaterte data og metoder.
-
En teknikk for programvarespesifikasjon med eksempler , David Parnas , Comm. ACM 15 , 5 (Mai 1972), 330–336. spesifikasjon .
-
Strukturert Design , Wayne Stevens, Glenford Myers, og Larry Constantine, IBM Systems Journal , 13 (2), 115-139, 1974. ( Online versjon ( [PDF] ) ). Artikler om strukturert design , dataflytdiagram , kobling og sammenheng .
-
Keiserens gamle klær , CAR Hoare, Communications of the ACM , Vol. 24 n o toFebruar 1981, s. 75–83 . ( Online versjon ( [PDF] ) ). Illustrerer den " andre systemeffekten " og viktigheten av enkelhet.
-
Den mytiske Man-Month: Essays on Software Engineering , Fred Brooks , Addison Wesley Professional, to th edition, 1995. Kaster flere folk til oppgaven vil ikke fremskynde ferdigstillelse ...
-
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 )
-
Katedralen og basaren , Eric Raymond , første mandag , 3, 3,Mars 1998( Online versjon (HTML) ). Åpen kildekode metodikk .
-
Design Patterns: Elements of Gjenbrukobjektorientert Programvare , Erich Gamma , Design Patterns , R. Johnson, J. Vlissides
-
Addison-Wesley , Reading, Massachusetts, 1995. Denne boka var den første til å definere og liste opp designmønstre .
-
Statecharts: A Visual Formalism For Complex Systems , David Harel, D. Harel. Statecharts: En visuell formalisme for komplekse systemer. Science of Computer Programming , 8: 231-274, 1987 ( Online versjon ). De statecharts er en visuell modellering tilnærming. De er en utvidelse av den endelige automaten som kan være eksponentielt mer effektiv. Derfor tillater statcharts formell modellering av applikasjoner som var for kompliserte før.
sikkerhet
Anonymitetssystemer
Kryptografi
- Whitfield Diffie og Martin E. Hellman, nye veiledninger i kryptografi , IEEE-transaksjoner om informasjonsteori,November 1976
- RL Rivest, A. Shamir og LM Adelman, en metode for å oppnå digitale signaturer og kryptosystemer med offentlig nøkkel , MIT / LCS / TM-82, 1977
- R. Merkle, Security, Authentication, and Public Key Systems , Thesis, Stanford University, 1979.
Passord
Sikkerhetssystem
- Saltzer og Schroeder, Beskyttelse av informasjon i datasystemer , ACM Symposium on Operating System Principles ,Oktober 1973, ( HTML HTML2 )
- Karger og Schell, Tretti år senere: Leksjoner fra Multics Security Evaluation , ACSAC, 2002
- Lamport, Butler, A Note on the Coninement Problem , Communications of the ACM , 16:10 (Oktober 1973), s. 613-615 . ( [PDF] )
- Thompson, Reflections on Trusting Trust , Communications of the ACM , 27: 8,August 1984
- JE Forrester og BP Miller, en empirisk studie av robustheten til Windows NT-applikasjoner ved bruk av tilfeldig testing , 4. USENIX Windows Systems Symposium, Seattle,august 2000.
Sikkerhet brukbar
- Whitten, Alma, Why Johnny Can not Encrypt: A Usability Evaluation of PGP 5.0 , Proceedings of the 8. conference on Usenix Security Symposium , Volume 8, side 14–28
- Simson Garfinkel og Abhi Shelat, minne om data som er sendt , IEEE Security and Privacy , Volume 1, n o 1,januar 2003, Side 17-27
Teoretisk informatikk
Merknader og referanser
-
http://www.pnas.org/cgi/content/abstract/97/1/262
-
Laplante 1996 , s. 150
-
Laplante 1996 , s. 208
-
Gjengivelsesligningen
-
M. Kass , A. Witkin og D. Terzopoulos , “ Snakes: Active contour models ”, International Journal of Computer Vision , vol. 1, n o 4,1988, s. 321 ( DOI 10.1007 / BF00133570 , les online )
-
Behrouz Forouzan, " Datakommunikasjon og nettverk bok " , McGraw-Hill Education (tilgjengelig på en st januar 2013 )
-
Laplante 1996 , s. 62
-
(en-US) Benjamin C. Pierce, “ Flotte verk i programmeringsspråk ” , Penn Engineering ,2004
-
To-nivå morfologi: En generell beregningsmodell for gjenkjenning og produksjon av ordform (PDF)
-
Modellvisning av kontrollerhistorikk .
Se også
Bibliografi
- (en) Phillip Laplante ( dir. ), Store papirer innen informatikk , New York, IEEE Press,1996, 717 s. ( ISBN 0-314-06365-X )
Relaterte artikler
Eksterne linker
Universitets søkemotorer