컴퓨터 사이언스의 중요 출판물 목록

List of important publications in computer science

이것은 컴퓨터 공학에서 중요한 출판물들의 분야별 목록입니다.특정 출판물이 중요하다고 간주될 수 있는 몇 가지 이유는 다음과 같습니다.

  • 토픽 작성자– 새로운 토픽을 작성한 출판물
  • 혁신 – 과학 지식을 크게 바꾼 출판물
  • 영향 – 세계에 큰 영향을 미치거나 컴퓨터 과학 교육에 큰 영향을 미친 출판물.

인공지능

컴퓨터 기계와 인텔리전스

설명:이 논문은 기계가 왜 지능적일 수 없는지에 대한 다양한 주장을 논하고 그러한 주장들 중 어느 것도 설득력이 없다고 단언합니다.이 논문은 또 튜링에 따르면 기계가 지능적으로 생각할 수 있는지 묻는 것은 무의미하고 지능적으로 행동할 수 있는지 확인하는 것으로 충분하기 때문에 '모방 게임'이라고 부르는 튜링 테스트도 제안했다.

인공지능 다트머스 여름연구 프로젝트 제안

설명:이번 여름 연구 제안이 시작되었고 그 분야를 정의했다.그것은 인공지능이라는 용어의 첫 번째 사용과 이 분야의 철학적 기초에 대한 간결한 설명을 포함하고 있다: "학습의 모든 측면이나 지능의 다른 특징들은 원칙적으로 기계가 그것을 시뮬레이션하도록 만들어질 수 있을 정도로 정확하게 기술될 수 있다." (AI의 철학 참조) 연구자들을 초대했다.'AI의 탄생'으로 널리 알려진 e다트머스 컨퍼런스(AI의 역사 참조)

퍼지 집합

설명:1965년에 발표된 정설 논문은 퍼지 집합론의 수학에 대한 자세한 내용을 제공한다.

지능형 시스템의 확률론적 추론:그럴듯한 추론의 네트워크

  • 유대 진주
  • ISBN1-55860-479-0 출판사: Morgan Kaufmann Pub, 1988

설명:이 책은 AI에 베이지안 방식을 소개했다.

인공지능:현대적 접근법

설명:인공지능 표준교과서.그 책 웹사이트에는 1,100개 이상의 대학이 나열되어 있다.

기계 학습

유도 추론기

  • 레이 솔로몬오프
  • IRE 협약 기록, 정보 이론 섹션, Part 2, 56-62, 1957
  • (이것의 더 긴 버전은 1956년에 비공개로 회람된 보고서가 온라인에 있습니다).

설명:기계학습에 관한 첫 논문입니다.트레이닝 시퀀스의 중요성과 새로운 문제에 대한 시험적인 해결책을 구축할 때 문제에 대한 이전 해결책의 일부를 사용하는 것을 강조했다.

제한 내 언어 식별

설명:이 논문은 알고리즘 학습 이론을 만들었다.

확률에 대한 사건의 상대적 빈도의 균일한 수렴에 대하여

설명:컴퓨터 학습 이론, VC 이론, 통계 균일 수렴 및 VC 차원.이 논문의 경계가 최선은 아니지만 2021년 [1]마이클 Naaman에 의해 최선의 경계가 얻어지기까지는 50년이 걸릴 것이다.

배울 수 있는 것의 이론

설명:아마 대략적으로 올바른 학습(PAC 학습) 프레임워크.

오류를 역전파하여 표현하기

Seppo Linnainma의 역자동 분화[2][3] 모드(Paul[4] Werbos에 의해 신경 네트워크에 처음 적용됨)는 내부 표현을 배우기 위해 David Rumelhart, Geoff Hinton 및 Ronald J. Williams의 실험에 사용됩니다.

Decision Tree의 도입

설명:Decision Tree는 일반적인 학습 알고리즘이자 의사결정 표현 도구입니다.의사결정 트리의 개발은 본 논문 이전에도 많은 분야에서 많은 연구자들에 의해 이루어졌다.이 논문은 이 분야에서 가장 영향력 있는 논문 중 하나이지만요.

관련 없는 Atribut이 많을 경우의 신속한 학습: 새로운 선형 임계값 알고리즘

설명:온라인 학습 분야를 시작한 신문 중 하나.이 학습 환경에서 학습자는 일련의 예를 받고, 각 예후에 예측을 하고, 각 예후에 피드백을 받습니다.(1) 알고리즘과 증명은 매우 단순하고 아름다운 경향이 있고 (2) 모델은 데이터에 대해 통계적 가정을 하지 않기 때문에 이 영역의 연구는 주목할 만하다.즉, 데이터는 무작위일 필요는 없으며(다른 거의 모든 학습 모델에서와 마찬가지로) "자연" 또는 적에 의해 임의로 선택될 수 있다.구체적으로는 winnow 알고리즘을 도입했습니다.

시간차를 이용한 예측 학습

설명:강화 학습을 위한 시간적 차이 방법.

학습성과 Vapnik-Chervonenkis 차원

설명:VC 디멘션을 사용한PAC 학습성의 완전한 특성화.

부울 공식 및 유한 오토마타 학습에 대한 암호화 제한

설명: PAC 학습에 대한 부정적인 결과 증명.

약한 학습 능력의 강점

설명: 소음 없는 PAC 프레임워크에서 약하고 강한 학습성이 동등함을 증명한다.증압법을 도입하여 증명했다.

최적의 마진 분류기를 위한 훈련 알고리즘

설명:본 논문은 실용적이고 인기 있는 기계 학습 알고리즘인 지원 벡터 기계를 제시했다.지원 벡터 머신은 커널 트릭을 사용하는 경우가 많습니다.

깊은 신뢰망을 위한 빠른 학습 알고리즘

설명:이 논문은 딥 러닝 분야에서 큰 발전을 이끈 딥 신념 네트워크에 대한 다루기 쉬운 욕심 계층별 학습 알고리즘을 제시했다.

서포트 벡터 머신을 이용한 마이크로어레이 유전자 발현 데이터 지식기반 분석

설명:유전자 발현 데이터, 특히 Support Vector Machine에 대한 감독 학습의 첫 번째 적용.그 방법은 이제 표준이 되었고, 이 분야에서 가장 많이 인용되는 논문 중 하나이다.

컴파일러

왼쪽에서 오른쪽으로의 언어 번역에 대하여

설명: LR 파서: 결정론적 컨텍스트프리 언어에 대한 보텀업 파싱을 수행합니다.이후 파생된 파서(LALR 파서 등)는 Yacc 및 후속 [5]파서처럼 표준 관행으로 유지되어 왔습니다.

문맥이 없는 언어의 의미론.

설명: yacc의 s-attribute 및 zyacc의 LR-attribute 접근법의 기반인 문법 속성에 대해 설명합니다.

프로그램 데이터 흐름 분석 절차

설명:요약부터: "프로그램의 글로벌 데이터 관계는 이 문서에서 설명하는 정적 분석 방법으로 공개 및 코드화할 수 있습니다.프로그램의 제어 흐름 그래프의 각 노드에 도달할 가능성이 있는 모든 정의와 그래프의 각 에지에 존재하는 모든 정의를 결정하는 절차가 제공된다.

글로벌 프로그램 최적화를 위한 통합 접근법

설명:데이터 흐름 분석의 개념을 격자에 대한 고정점 계산으로 공식화하고 프로그램 최적화에 사용되는 대부분의 정적 분석이 이 프레임워크 내에서 균일하게 표현될 수 있음을 보여주었다.

또 다른 컴파일러 컴파일러

설명:Yacc는 컴파일러의 쓰기를 훨씬 쉽게 해주는 도구입니다.

gprof: 콜그래프 실행 프로파일러

설명:gprofiler

컴파일러: 원칙, 기술 및 도구

설명:이 책은 컴파일러 작문의 고전이 되었다.그것은 표지에 등장하는 용의 이름을 따서 드래곤 북으로도 알려져 있다.

컴퓨터 아키텍처

골로사 컴퓨터

설명:Colosus 기계는 제2차 세계대전 중 로렌츠 암호로 암호화된 독일 메시지를 해독하기 위해 영국 암호 해독기에 의해 사용된 초기 계산 장치였다.Colosus는 초기 바이너리 전자 디지털 컴퓨터였다.골로소스의 디자인은 나중에 참고 문헌에 기술되었다.

EDVAC에 관한 보고서 초안[6]

설명:그것은 폰 노이만 아키텍처로 알려지게 된 저장된 프로그램 개념을 사용한 컴퓨터의 논리 설계에 대한 첫 번째 공개된 설명을 포함합니다.EDVAC에 관한 보고서의 초안을 참조해 주세요.

IBM System/360의 아키텍처

설명:IBM System/360(S/360)은 IBM이 1964년 4월 7일 발표한 메인프레임 컴퓨터 시스템 제품군입니다.아키텍처와 구현을 명확하게 구별하는 최초의 컴퓨터 패밀리입니다.

축소 명령 집합 컴퓨터의 경우

설명:RISC(Reduced Instruction Set Computer) CPU 설계 철학.RISC는 CPU 설계의 이념으로, 보다 심플한 명령어 세트를 삭감하는 것을 선호합니다.

'명령어 세트 컴퓨터 축소 사례'에 대한 의견

설명:

CRAY-1 컴퓨터 시스템

설명:Cray-1은 Cray Research를 위해 Seymour Cray를 포함한 팀에 의해 설계된 슈퍼 컴퓨터였다.최초의 Cray-1 시스템은 1976년 로스앨러모스 국립연구소에 설치되었고, 역사상 가장 잘 알려져 있고 가장 성공적인 슈퍼컴퓨터 중 하나가 되었다.

대규모 컴퓨팅 기능을 실현하기 위한 싱글 프로세서 접근법의 타당성

설명:암달의 법칙

저렴한 디스크 용장 어레이(RAID)의 케이스

설명:이 문서에서는 RAID Disk의 개념에 대해 설명하고 RAID의 다양한 수준과 각 수준의 이점을 개략적으로 설명합니다.이 문서는 컴퓨터 시스템의 신뢰성과 폴트 톨러런스, 그리고 이러한 폴트 톨러런스를 제공하기 위한 비용에 대해 논의하는 데 도움이 되는 문서입니다.

싱글칩 멀티프로세서 케이스

설명:본서에서는 복수의 명령어 문제를 추가해 프로세서의 퍼포먼스를 향상시키고 순서가 어긋나는 실행을 실시하는 어프로치는, 무한히 고속화를 제공할 수 없다고 주장하고 있습니다.복수의 「코어」를 포함한 싱글 칩 프로세서를 제조하기 위한 케이스를 제시합니다.2005년에 인텔이 멀티코어 프로세서를 주류로 도입해, 그 후 시장을 지배하고 있기 때문에, 이 논문은 선견지명이 있는 것으로 나타났습니다.

컴퓨터 그래픽스

렌더링 방정식

  • 카지야
  • SIGGRAPH: ACM Computer Graphs and Interactive Technologies (컴퓨터 그래픽스와 인터랙티브 테크닉에 관한 특별 이익 그룹) 143 - 150[7] 페이지

탄성 변형 가능한 모델

설명:Academy of Motion Arts and Sciences는 이 논문을 "컴퓨터 그래픽의 기념비"로 인용했습니다.

맨머신 그래픽 통신 시스템인 스케치패드

설명:설립 중 하나는 컴퓨터 그래픽스에 관한 것이다.

컴퓨터 비전

위상 상관 이미지 정렬 방법

설명:역 푸리에 변환에 기초한 상관법

광유동 판별

설명:비디오 시퀀스의 2프레임 사이의 월드 포인트의 화상 움직임을 추정하는 방법.

스테레오 비전에 응용한 반복 영상 기록 기법

설명:이 문서에서는 이미지 등록에 효율적인 기술을 제공합니다.

콤팩트한 이미지 코드로서의 라플라시안 피라미드

설명:여러 척도의 로컬 연산자를 사용하여 이미지를 인코딩하는 기술입니다.

확률적 완화, 깁스 분포 및 이미지의 베이지안 복원

설명: (1) 이미지 분석을 위한 MRF, (2) 컴퓨터 베이지안 통계를 혁신하여 Computer Vision 외에도 많은 다른 분야에서 가장 큰 영향을 미친 깁스 샘플링이 도입되었습니다.

뱀: 활성 등고선 모델

설명:영상 분할 및 시각적 추적을 위한 대화형 변형 기법입니다.

응축 – 시각적 추적을 위한 조건부 밀도 전파

설명:시각 추적 기술

로컬 스케일 불변 피쳐에서 객체 인식

설명:견고한 기능 설명을 위한 기술(스케일 불변 피쳐 변환)

동시, 병렬 및 분산 컴퓨팅

주요 기사:동시, 병렬 및 분산 컴퓨팅에 관한 중요한 출판물 목록

대상 토픽: 동시 컴퓨팅, 병렬 컴퓨팅 및 분산 컴퓨팅.

데이터베이스

대규모 공유 데이터 뱅크를 위한 관계형 모델

설명:이 문서에서는 데이터베이스의 관계형 모델을 소개했습니다.이 모델은 1위 모델이 되었다.

가상 메모리의 바이너리 B-Tree

  • 루돌프 바이어
  • ACM-SIGFIDET 워크숍 1971, 캘리포니아 샌디에이고, 세션 5B, 페이지 219–235.

설명:본 논문은 B-Tree 데이터 구조를 소개했다.이 모델은 1위 모델이 되었다.

데이터베이스 하위 언어의 관계적 완전성

  • E. F. 코드
  • 입력: R. Rustin (ed.) : 데이터베이스 시스템: 65-98, 프렌티스 홀 및 IBM 연구 보고서 RJ 987, 캘리포니아 새너제이: (1972)
  • 온라인 버전(PDF)

설명:데이터베이스 서브 언어 완전성

엔티티 관계 모델– 데이터 통합 뷰 지향

설명:본 논문은 데이터베이스 설계의 엔티티-관계도(ERD) 방법을 소개했다.

속편: 구조화된 영어 쿼리 언어

설명:이 문서에서는 SQL 언어를 소개했습니다.

데이터베이스 시스템의 일관성 및 술어 잠금 개념

설명:이 문서에서는 트랜잭션, 일관성 및 일정의 개념을 정의했습니다.또한 트랜잭션은 데이터베이스의 물리적 서브셋이 아닌 논리적 서브셋을 잠글 필요가 있다고 주장했다.

분산 데이터베이스, 이기종 데이터베이스 및 자율 데이터베이스를 관리하기 위한 통합 데이터베이스 시스템

  • 에이미트 쉐스, J.A. 라슨.
  • ACM Computing Surveies - 이종 데이터베이스에 관한 특별호 조사, 제22호, 제3호, 183~236쪽, 1990년 9월
  • ACM 소스

설명:데이터 상호 운용성 및 이종 데이터 소스 통합에 큰 영향을 미치는 연합 데이터베이스 시스템 개념을 도입했습니다.

대형 데이터베이스의 항목 집합 간 마이닝 연결 규칙

설명:데이터 마이닝에 매우 일반적인 방법인 연결 규칙입니다.

계산의 역사

파스칼에서 폰 노이만까지의 컴퓨터

설명:아마도 계산의 역사에 대한 첫 번째 책일 것이다.

20세기 컴퓨팅의 역사

편집자:

설명:컴퓨팅의 선구자에 의한 몇 개의 챕터.

정보 검색

자동 인덱싱을 위한 벡터 공간 모델

  • 제라드 솔튼, A.웡, C. S. 양
  • Communic. ACM 18 (11): 613 ~620 (1975)

설명:벡터 공간 모델을 제시했습니다.

확장 부울 정보 취득

  • 제라드 솔튼, 에드워드 A폭스, 해리 우
  • Communic. ACM 26 (11): 1022 – 1036 (1983)

설명:반전 지수를 제시

용어특이성의 통계적 해석과 검색에서의 그 적용

설명:용어 특수성에 대한 통계적 해석(Inverse Document Frequency(IDF; 역문서 빈도))을 고안하여 용어 가중치의 기초가 되었습니다.

네트워킹

패킷 네트워크 인터커뮤니케이션 프로토콜

설명:이 문서에는 나중에 인터넷을 구성하는 두 가지 기본 프로토콜인 TCP와 IP가 된 많은 아이디어들이 포함되어 있습니다.Cerf와 Kahn은 이 논문에 포함된 업적으로 ACM Turning Award를 받았습니다.

DARPA 인터넷 프로토콜의 설계 철학

설명:이 백서에서는 인터넷의 배후에 있는 설계 원칙의 일부와 이러한 설계 원칙이 인터넷에서 어떻게 실현되는지에 대해 설명합니다.

시스템 설계의 엔드 투 엔드 인수

설명:이 백서는 인터넷의 많은 프로토콜과 시스템의 설계를 안내하기 위해 널리 사용되는 고전적인 설계 원칙인 "엔드 투 엔드 원칙"을 제시한다.

폭주 회피 및 제어

설명:이 백서에서는, 네트워크 congestion의 문제를 특정해, 프로토콜이 congestion를 저감 하기 위해서 송신 레이트를 저감 하는 방법에 관한 알고리즘을 나타냅니다.이 접근법은 TCP 프로토콜에 통합되었고, 다른 많은 데이터 전송 프로토콜의 설계에 영향을 주었습니다.

공정 큐잉 알고리즘 분석 및 시뮬레이션

설명:이 문서에서는 인터넷라우터에 거의 보편적으로 배치되는 버퍼 할당 알고리즘인 "균등화 큐잉"에 대해 설명합니다.

스케일러블한 고속 IP 라우팅 룩업

  • M. 발드보겔, G. 바르게세, J. 터너, B. 플랫너
  • ACM SIGCOMM, 1997년 8월
  • 온라인 복사(PDF)

설명:이 문서에서는 특정 IP 주소를 포함하는 프리픽스(슈퍼넷)를 찾는 알고리즘적 접근법에 대해 설명합니다.이 프로세스는 현재 인터넷라우터에서 거의 보편적으로 사용되고 있습니다.

코드: 인터넷 애플리케이션용 확장 가능한 피어 투 피어 룩업 서비스

  • 이온 스토이카, 로버트 모리스, 데이비드 카거, M. 프란스 카쇼크, 하리 발라크리슈난
  • ACM SIGCOMM, 2001년 8월
  • 온라인 복사(PDF)

설명:이 문서에서는 다수의 피어 투 피어 시스템, 분산 파일 시스템 및 기타 대규모 분산 시스템의 설계에 영향을 준 분산 데이터 구조인 분산 해시 테이블(DHT)의 개념을 설명합니다.


ACM SIGCOMM CCR에 게재된 「Top Ten Networking Papers」리스트도 참조해 주세요.

운영 체제

실험적인 시분할 시스템입니다.

설명:이 문서에서는 컴퓨터 자원을 공유하는 방법으로서의 시분할에 대해 설명합니다.이 아이디어는 컴퓨터 시스템과의 상호작용을 변화시켰다.

프로그램 동작을 위한 작업 세트 모델

설명:캐시 시작입니다.자세한 내용은 SIGOPS 명예의 전당을 참조하십시오.

MULTICS에서의 가상 메모리, 프로세스 및 공유

설명:컴퓨터 역사상 가장 야심찬 운영체제인 Multics에 관한 클래식 페이퍼.읽기 어렵지만, 정보 공유를 논리적으로 극단으로 끌어올리는 시스템을 구축하려고 할 때의 의미를 설명하고 있습니다.Multics 이후 대부분의 운영체제는 일부 설비를 포함하고 있습니다.

멀티프로그래밍 시스템의 핵심

설명:RC4000 멀티프로그래밍 시스템의 확장 가능한 핵 아키텍처와 운영체제 커널 및 마이크로커널 아키텍처에 관한 클래식 페이퍼.

운영 체제의 원리

설명:운영체제에 관한 최초의 포괄적인 교과서입니다.첫 번째 모니터 표기법(7장)을 포함합니다.

감금 문제에 관한 메모

설명:이 문서에서는 신뢰할 수 없는 프로그램으로부터의 정보 흐름을 제한하는 문제에 대해 설명합니다.은밀한 채널에 대해 논의하지만, 더 중요한 것은 프로그램 자체를 효과적으로 사용할 수 없게 만들지 않고 완전한 제한을 얻는 데 어려움을 해결한다는 점이다.이러한 아이디어는 신뢰할 수 있는 컴퓨팅의 측면뿐만 아니라 악성코드의 억제를 이해하려고 할 때 중요합니다.

UNIX 시분할 시스템

설명:이 문서에서는 Unix 운영 체제와 그 원리에 대해 설명합니다.가장 중요한 것은 종이가 아니라 운영체제와 컴퓨터 기술에 큰 영향을 미친 운영체제입니다.

복제 데이터에 대한 가중치 투표

설명:이 문서에서는 쿼럼 컨센서스로 알려진 일관성 메커니즘에 대해 설명합니다.이는 두 가지 대안(이 경우 읽기-모두 쓰기 및 쓰기-모두 일관성 방식) 간에 연속적인 옵션 세트를 제공하는 알고리즘의 좋은 예입니다.이후 수년간 연구자들에 의해 많은 변형과 개선이 이루어졌으며, 이는 모두가 이해해야 할 일관성 알고리즘 중 하나이다.다른 크기의 쿼럼을 선택하여 사용할 수 있는 옵션은 분산 시스템의 일관성에 대한 핵심 요건을 논의하는 데 유용한 구조를 제공합니다.

Mesa에서의 프로세스 및 모니터 사용 경험

설명:이 문서는 대체 접근법과 함정을 모두 포함하는 동기화 기술에 대한 고전적인 문서입니다.

동시 시스템 스케줄링 기술

설명:관련 프로세스의 동시 스케줄링을 위한 알고리즘이 제공되었다.

UNIX용 고속 파일 시스템

설명:UNIX 파일시스템고성능 파일 시스템을 위한 Disk 스토리지 관리 방법에 대해 논의한 최초의 문서 중 하나입니다.이 논문 이후 대부분의 파일 시스템 연구는 이 논문의 영향을 받았으며, 지난 20년간 대부분의 고성능 파일 시스템에는 이 논문의 기술이 포함되어 있습니다.

UNIX 운영체제 설계

  • Maurice J. Bach, AT&T Bell Labs
  • 프렌티스 홀 • 486 페이지 • 1986년 5월 27일 발행

이 설명에서는 주로 System V Release 2 커널과 Release 3 및 BSD의 몇 가지 신기능에 대해 설명했습니다.

로그 구조화 파일 시스템 설계 및 구현

설명: 로그 구조화된 파일 시스템.

마이크로커널 운영체제 아키텍처 및 마하

설명:이 문서는 특정 마이크로커널 아키텍처에 대해 설명하고 이를 모노리식 커널 설계와 비교하는 데 도움이 되는 문서입니다.Mach는 Mac OS X를 기반으로 하며, 그 계층화된 아키텍처는 Windows NT 커널과 L4와 같은 현대의 마이크로커널 설계에 큰 영향을 미쳤다.또한 메모리 매핑 파일 기능이 많은 모노리식 커널에 추가되었습니다.

UNIX용 로그 구조화 파일 시스템 구현

설명:이 논문은 로그 구조 파일 시스템의 실행 가능성과 쇼트커밍에 대한 많은 논의를 낳았던 이 아이디어의 첫 번째 프로덕션 품질 구현이었습니다.「로그 구조화 파일 시스템의 설계와 실장」은 확실히 최초의 것이었지만, 이것은 연구 아이디어를 사용 가능한 시스템에 도입하는 데 있어서 중요했습니다.

소프트 업데이트:파일 시스템의 메타데이터 업데이트 문제에 대한 해결책

설명:파일 시스템의 일관성을 유지하는 새로운 방법입니다.

프로그래밍 언어

FORTRAN 자동 코딩 시스템

  • 존 배커스 [10]외
  • 1957년 2월 캘리포니아 주 로스앤젤레스에서 열린 WJCC(Western Joint Computer Conference) 절차.
  • 온라인 버전(PDF)

설명:본 문서에서는 IBM 팀에 의한 최초의 FORTRAN 컴파일러의 설계 및 구현에 대해 설명합니다.Fortran은 특히 수치 계산 및 과학 컴퓨팅에 적합한 범용 절차적 명령형 프로그래밍 언어입니다.

기호식의 재귀 함수 및 기계별 계산, 파트 I[11]

설명:이 논문은 컴퓨터 과학, 특히 인공지능 분야에서 많이 사용된 최초의 기능 프로그래밍 언어인 LISP를 소개했다.LISP에는 언어 내에서 LISP 프로그램을 조작하기 위한 강력한 기능도 있습니다.

알골 60

설명:알골60은 블록 구조를 도입했다.

다음 700개의 프로그래밍 언어[11]

설명:본 논문은 이상적인 언어 ISWIM을 제안하였으며, 구현되지 않은 언어 ISWIM은 이후 개발 전반에 영향을 미쳤다.

프로그래밍 언어의 기본 개념

설명:프로그래밍 언어의 기본 개념은 R-값, L-값, 파라메트릭 다형성 및 애드혹 다형성을 포함하여 오늘날에도 여전히 사용되는 많은 프로그래밍 언어 용어를 도입했습니다.

람다 페이퍼즈

설명:이 일련의 논문과 보고서에서는 우선 영향력 있는 스킴 프로그래밍 언어를 정의하고 프로그래밍 언어 설계에서 널리 사용되는 관행에 의문을 제기하며, 람다 미적분을 광범위하게 사용하여 프로그래밍 언어 개념을 모델링하고 표현력을 희생하지 않고 효율적인 구현을 유도했습니다.

컴퓨터 프로그램의 구조와 해석

주요 기사:컴퓨터 프로그램의 구조와 해석

설명:이 교과서는 컴퓨터 프로그래밍의 핵심 개념을 설명하고 컴퓨터 과학의 고전적인 텍스트로 널리 알려져 있다.

온라인 코스

모나드의 이해

설명:이 논문은 기능 프로그래밍에 대한 모노드를 소개했다.

유형구조이론을 향하여

설명:이 논문은 시스템 F를 소개하고 파라메트릭 다형성의 현대적인 개념을 만들었다.

컴퓨터 프로그래밍의 자명한 기초

  • 토니 호어
  • ACM 통신, 제12권 제10호, 1969년 10월, 576-580페이지

설명:본 논문은 프로그램 검증의 토대를 이루는 Hoare 논리를 소개한다.

과학 컴퓨팅

주요 기사:계산과학

컴퓨터 언어학

  • Booth, T. L. (1969). "Probabilistic representation of formal languages". IEEE Conference Record of the 1969 Tenth Annual Symposium on Switching and Automata Theory. pp. 74–81.
확률적 문맥이 없는 문법의 첫 번째 프레젠테이션을 포함합니다.
유한 상태 변환기를 사용한 컴퓨터 형태학의 첫 번째 기술. (Kaplan과 Kay는 이전에 이 분야에서 작업을 수행했고 컨퍼런스에서 이것을 발표했다; 언어학자 Johnson은 1972년에 가능성을 언급했지만, 어떠한 구현도 만들어내지 않았다.)
음성 인식 및 기타 NLP 필드에 맞춰진 숨겨진 마르코프 모델의 개요로, Viterbi 및 순방향 알고리즘을 설명합니다.
  • Brill, Eric (1995). "Transformation-based error-driven learning and natural language processing: A case study in part-of-speech tagging". Computational Linguistics. 21 (4): 543–566.
변환 기반 학습을 기반으로 현재 일반적으로 사용되는 POS 태그에 대해 설명합니다.
NLP의 통계적 및 확률론적 방법에 대한 교과서.
이 조사에서는 자연어 프로세서를 구축하고 많은 언어 이론을 수용하기 위한 게으른 기능 프로그래밍 언어(즉, Haskell)의 중요성이 상대적으로 덜 연구되고 있습니다.

소프트웨어 엔지니어링

다음 항목도 참조하십시오.소프트웨어 엔지니어링 토픽 목록» 주목해야 할 자료

소프트웨어 엔지니어링:북대서양조약기구(NATO) 과학위원회 주최 회의 보고서

설명:소프트웨어 분야 선도자 회의 c.68
이 문서에서는 소프트웨어 엔지니어링 분야를 정의했습니다.

Smalltalk-80 시스템의 Model-View-Controller 사용자 인터페이스 패러다임 설명[14]

설명:모델 뷰 컨트롤러의 GUI 프로그래밍 패러다임(현재의 지배적)을 만든 시스템에 대한 설명

유해하다고 간주되는 문으로 이동[11]

설명:구조화된 프로그래밍의 시작인 goto를 사용하지 마십시오.

시스템을 모듈로 분해할 때 사용하는 기준에 대하여

설명:모듈화와 정보 은닉의 중요성.정보 은닉은 동일한 저자의 다른 논문인 "설계 방법론의 정보 분배 측면", IFIP 의회 '71, 1971, 책자 TA-3, 페이지 26-30에서 처음 제시되었다.

계층형 프로그램 구조

  • 올레-조한 달, C. A. R. 호어
  • Dahl, Dijkstra 및 Hoare, Structured Programming, Academic Press, London and New York, 페이지 175–220, 1972.

설명:객체 지향 프로그래밍의 시작입니다.이 백서는 프로그램을 작고 단순한 인터페이스를 가진 독립 컴포넌트로 분해해야 한다고 주장했다.그들은 또한 물체는 데이터와 관련된 방법을 모두 가져야 한다고 주장했다.

서브타이핑의 행동 개념

설명:Liskov 대체 원칙을 도입하여 동작 서브타이핑 규칙을 확립합니다.

소프트웨어 모듈 사양에 관한 기술(예시 포함)

설명: 소프트웨어 사양.

구조화 설계

설명:구조화 설계, 데이터 흐름도, 커플링 및 응집력에 관한 주요 문서.

천황의 낡은 옷

설명:"제2의 시스템 효과"와 단순성의 중요성을 설명합니다.

신화 속 인월: 소프트웨어 공학에 관한 에세이

설명:더 많은 인원을 투입하는 것은 그 완료를 앞당기지 못할 것이다.

No Silver Bullet: 소프트웨어 엔지니어링의 본질과 사고

설명: Brooks는 "기술과 관리 기술 모두 단일 개발은 없으며, 그 자체만으로도 생산성, 신뢰성, 단순성 면에서 10년 이내에 한 가지 규모의 개선 효과를 기대할 수 있습니다."라고 주장합니다.또, 「하드웨어 개발(무어의 법칙)과 같이, 소프트웨어 개발에서는 2년마다 2배의 이익을 기대할 수 없다」라고 말하고 있습니다.

성당과 바자르

설명:오픈 소스 방법론

설계 패턴:재사용 가능한 객체 지향 소프트웨어의 요소

설명:이 책은 컴퓨터 공학에서 디자인 패턴을 정의하고 나열한 최초의 책이다.

상태 차트: 복잡한 시스템을 위한 시각적 형식주의

설명:상태 차트는 시각적 모델링 방법입니다.이들은 기하급수적으로 더 효율적일 수 있는 상태 시스템의 확장입니다.따라서 Statchart를 사용하면 이전에는 너무 복잡했던 애플리케이션을 정식으로 모델링할 수 있습니다.상태 차트는 UML 다이어그램의 일부입니다.

보안과 프라이버시

익명성과 프라이버시

암호화

주요 기사:암호학에 관한 중요한 출판물 목록
  • 휘트필드 디피와 마틴 E.Hellman, 암호학의 새로운 방향, IEEE Transactions on Information Theory, 1976년 11월
  • R. L. 리베스트와 A.Shamir and L. M. Adelman, 디지털 서명 및 공개 키 암호 시스템 취득 방법, MIT/LCS/TM-82, 1977
  • Merkle, R. Security, Authentication, and Public Key Systems, 박사논문, 1979년 스탠포드 대학교.

패스워드

  • Morris, Robert and Thompson, Ken. 비밀번호 보안: 사례 이력, Communications of the ACM CACM 홈페이지 아카이브 제22호, 1979년 11월 11일, 594-597페이지.PDF

시스템 보안

사용 가능한 보안

이론 컴퓨터 공학

주요 기사:이론 컴퓨터 공학에 관한 중요 출판물 목록

주제: 계산가능성 이론, 계산 복잡성 이론, 알고리즘, 알고리즘 정보 이론, 정보 이론 및 형식 검증을 포함한 이론 컴퓨터 과학.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Naaman, Michael (2021). "On the tight constant in the multivariate Dvoretzky-Kiefer-Wolfowitz inequality". Statistics and Probability Letters. 173: 109088. doi:10.1016/j.spl.2021.109088.
  2. ^ 린나인마, 세포(1970).알고리즘의 누적 반올림 오차를 로컬 반올림 오차의 테일러 확장으로 나타냅니다.대학 석사 학위 논문.헬싱키, 6-7
  3. ^ 그리완크, 안드레아스(2012).누가 차별화의 역모드를 발명했는가?최적화 사례, Documenta Matematica, 추가 볼륨 ISMP(2012), 389-400.
  4. ^ 베르보스, P..회귀를 넘어서:행동 과학의 예측 및 분석을 위한 새로운 도구.1974년 하버드 대학교 박사 논문
  5. ^ 라플란테 1996, 150페이지
  6. ^ 라플란테 1996, 페이지 208
  7. ^ 렌더링 방정식
  8. ^ Kass, M.; Witkin, A.; Terzopoulos, D. (1988). "Snakes: Active contour models" (PDF). International Journal of Computer Vision. 1 (4): 321. CiteSeerX 10.1.1.124.5318. doi:10.1007/BF00133570. S2CID 12849354. Archived from the original (PDF) on 2016-01-12. Retrieved 2015-08-28.
  9. ^ Behrouz Forouzan. "Data communication and networking book". McGrawhill Education. Archived from the original on 4 September 2014. Retrieved 1 Jan 2013.
  10. ^ 라플란테 1996, 페이지 62
  11. ^ a b c Pierce, Benjamin C. (2004). "Great works in programming languages". Penn Engineering.
  12. ^ "Archived copy" (PDF). Archived (PDF) from the original on 2007-02-04. Retrieved 2007-02-26.{{cite web}}: CS1 maint: 제목으로 아카이브된 복사(링크)
  13. ^ "Google Академія". Archived from the original on 2015-05-14. Retrieved 2016-11-14.
  14. ^ 모델 뷰 컨트롤러 이력 2011년 5월 15일 웨이백 머신에 보관.C2.com (2012-05-11)2013-12-09에 취득.
  • Laplante, Phillip, ed. (1996). Great papers in computer science. New York: IEEE Press. ISBN 978-0-314-06365-6.
  • 랜델, 브라이언 (ed.) (1982)디지털 컴퓨터의 기원: 엄선된 논문.제3판베를린: Springer-Verlag.ISBN 0-387-11319-3.
  • 컴퓨팅의 전환점: 1962-1999, 특별호, IBM Systems Journal, 38(2/3), 1999.
  • Yourdon, Ed. (ed.) (1979) 소프트웨어 엔지니어링의 클래식.뉴욕: Yourdon Press.ISBN 0-917072-14-6

외부 링크

학술 검색 엔진