Список важных публикаций по информатике

Эта статья поднимает множество проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалить эти сообщения-шаблоны ) У этой статьи нечеткий стиль цитирования . Используемые ссылки можно сделать более ясными с помощью другого или последовательного стиля цитирования и сносок . ( Октябрь 2011 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) Эта статья может потребовать очистки, чтобы соответствовать стандартам качества Википедии . Конкретная проблема: цитаты в заголовках Пожалуйста, помогите улучшить эту статью, если можете. ( Август 2013 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) Ведущий раздел этой статьи , возможно , придется переписать . Используйте руководство по макету, чтобы убедиться, что раздел соответствует нормам Википедии и включает все важные детали. ( Март 2018 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Это список важных публикаций по информатике , сгруппированный по отраслям.

Некоторые причины, по которым конкретная публикация может считаться важной:

• Создатель темы - публикация, создавшая новую тему.
• Прорыв - публикация, значительно изменившая научные знания.
• Влияние - публикация, которая значительно повлияла на мир или оказала огромное влияние на преподавание информатики.

Искусственный интеллект [ править ]

Вычислительная техника и интеллект [ править ]

• Алан Тьюринг
• Разум, 59: 433–460, 1950.
• Интернет-копия

Описание: в этой статье обсуждаются различные аргументы в пользу того, почему машина не может быть разумной, и утверждается, что ни один из этих аргументов не является убедительным. В документе также предлагается тест Тьюринга , который он называет «имитационной игрой», поскольку, согласно Тьюрингу, бессмысленно спрашивать, может ли машина мыслить разумно, и достаточно проверить, может ли она действовать разумно.

Предложение для Дартмутского летнего исследовательского проекта по искусственному интеллекту [ править ]

• Джон Маккарти
• Марвин Мински
• Н. Рочестер
• CE Shannon
• Интернет-копия

Описание: Этим летом проект исследования открыл и определил область. Он содержит первое использование термина « искусственный интеллект» и это краткое описание философского основания данной области: «каждый аспект обучения или любая другая особенность интеллекта в принципе может быть описана так точно, что можно создать машину для его моделирования. " (См. Философию ИИ ). Это предложение пригласило исследователей на Дартмутскую конференцию , которую многие считают «рождением ИИ». (См. Историю ИИ .)

Нечеткие множества [ править ]

• Лотфи Заде
• Информация и контроль, Vol. 8. С. 338–353. (1965).

Описание: в основополагающей статье, опубликованной в 1965 году, подробно описаны математические аспекты теории нечетких множеств .

Вероятностное мышление в интеллектуальных системах: сети правдоподобных выводов [ править ]

• Жемчужина Иудеи
• ISBN  1-55860-479-0 Издатель: Morgan Kaufmann Pub, 1988 г.

Описание: Эта книга познакомила ИИ с байесовскими методами .

Искусственный интеллект: современный подход [ править ]

• Стюарт Дж. Рассел и Питер Норвиг
• Prentice Hall, Englewood Cliffs, Нью-Джерси, 1995, ISBN 0-13-080302-2 
• Сайт учебника

Описание: Стандартный учебник по искусственному интеллекту. На книжном веб-сайте представлено более 1100 колледжей.

Машинное обучение [ править ]

Машина индуктивного вывода [ править ]

• Рэй Соломонов
• Протокол IRE Convention , раздел по теории информации, часть 2, стр. 56–62, 1957 г.
• (Более длинная версия этого отчета, распространенный в частном порядке за 1956 год, размещена в Интернете ).

Описание: Первая статья по машинному обучению . Подчеркнул важность обучающих последовательностей и использования частей предыдущих решений проблем при построении пробных решений новых проблем.

Определение языка в лимите [ править ]

• Э. Марк Голд
• Информация и контроль , 10 (5): 447–474, 1967.
• Онлайн-версия: (HTML) (PDF)

Описание: В этой статье создана теория алгоритмического обучения .

О равномерной сходимости относительных частот событий к их вероятностям [ править ]

• В. Вапник , А. Червоненкис
• Теория вероятностей и ее приложения , 16 (2): 264-280, 1971.

Описание: Вычислительная теория обучения , теория VC , статистическая равномерная сходимость и размерность VC .

Теория обучаемого [ править ]

• Лесли Валиант
• Сообщения ACM , 27 (11): 1134–1142 (1984).

Описание: фреймворк « Вероятно приблизительно правильное обучение» (PAC learning).

Изучение представлений путем обратного распространения ошибок [ править ]

• Дэвид Э. Рамелхарт , Джеффри Э. Хинтон и Рональд Дж. Уильямс
• Природа, 323, 533–536, 1986.

Обратный режим автоматического дифференцирования Сеппо Линнаинмаа ^{[1] [2]} (впервые примененный к нейронным сетям Полом Вербосом ^[3] ) используется в экспериментах Дэвида Румелхарта , Джеффа Хинтона и Рональда Дж. Уильямса для изучения внутренних представлений .

Индукция деревьев решений [ править ]

• JR Quinlan
• Машинное обучение, 1. 81-106, 1986.

Описание: Деревья решений - это общий алгоритм обучения и инструмент представления решений. Разработкой деревьев решений занимались многие исследователи во многих областях еще до этой статьи. Хотя эта статья - одна из самых влиятельных в этой области.

Быстрое обучение при большом количестве нерелевантных атрибутов: новый алгоритм линейного порога [ править ]

• Ник Литтлстоун
• Машинное обучение 2: 285–318, 1988 г.
• Онлайн-версия (PDF)

Описание: Одна из статей, положивших начало онлайн-обучению. В этой настройке обучения учащийся получает последовательность примеров, делая прогнозы после каждого из них и получая обратную связь после каждого прогноза. Исследования в этой области примечательны тем, что (1) алгоритмы и доказательства, как правило, очень просты и красивы, и (2) модель не делает статистических предположений относительно данных. Другими словами, данные не обязательно должны быть случайными (как почти во всех других моделях обучения), они могут быть выбраны произвольно «природой» или даже противником. В частности, в этой статье был представлен алгоритм веяния .

Учимся предсказывать методом временной разницы [ править ]

• Ричард С. Саттон
• Машинное обучение 3 (1): 9–44
• Электронная копия (PDF)

Описание: Метод временной разницы для обучения с подкреплением .

Обучаемость и измерение Вапника – Червоненкиса [ править ]

• А. Блюмер
• А. Эренфойхт
• Д. Хаусслер
• МК Вармут
• Журнал ACM , 36 (4): 929–965, 1989.

Описание: Полная характеристика обучаемости PAC с использованием измерения VC .

Криптографические ограничения на изучение логических формул и конечных автоматов [ править ]

• М. Кернс
• LG Valiant
• В материалах 21-го ежегодного симпозиума ACM по теории вычислений , страницы 433–444, Нью-Йорк. ACM.
• Онлайн-версия (HTML)

Описание: Доказательство отрицательных результатов обучения PAC .

Сила слабой обучаемости [ править ]

• Роберт Э. Шапир
• Машинное обучение, 5 (2): 197–227, 1990.
• Онлайн-версия (PDF)

Описание: Доказательство того, что слабая и сильная обучаемость эквивалентны в рамках PAC без шума . Доказательство было сделано путем введения метода повышения .

Алгоритм обучения оптимальных классификаторов маржи [ править ]

• Бернхард Э. Бозер
• Изабель М. Гийон
• Владимир Николаевич Вапник
• Материалы пятого ежегодного семинара по теории вычислительного обучения 5 144–152, Питтсбург (1992).
• Онлайн-версия (HTML)

Описание: В этой статье представлены опорные векторные машины , практичный и популярный алгоритм машинного обучения. Машины опорных векторов часто используют уловку с ядром .

Алгоритм быстрого обучения для сетей глубоких убеждений [ править ]

• Джеффри Э. Хинтон
• Саймон Осиндеро
• Йи-Уай Тех
• Нейронные вычисления (2006)
• Онлайн PDF

Описание: в этой статье представлен гибкий жадный алгоритм многоуровневого обучения для сетей с глубокими убеждениями, который привел к значительному прогрессу в области глубокого обучения .

Основанный на знаниях анализ данных экспрессии генов микрочипов с использованием машин вспомогательных векторов [ править ]

• MP Браун
• В. Н. Гранди
• D Lin
• Нелло Кристианини
• CW Sugnet
• Т.С. Фьюри
• М Арес-младший,
• Дэвид Хаусслер
• PNAS , 4 января 2000 г.; 97 (1): 262–7 < http://www.pnas.org/cgi/content/abstract/97/1/262 >

Описание: первое приложение контролируемого обучения к данным экспрессии генов , в частности к машинам опорных векторов . В настоящее время метод является стандартным, а статья - одной из самых цитируемых в этой области.

Компиляторы [ править ]

О переводе языков слева направо [ править ]

• Кнут, DE (июль 1965 г.). «О переводе языков слева направо» (PDF) . Информация и контроль . 8 (6): 607–639. DOI : 10.1016 / S0019-9958 (65) 90426-2 . Архивировано из оригинального (PDF) 15 марта 2012 года . Проверено 29 мая 2011 года .

Описание: парсер LR , который выполняет восходящий синтаксический анализ для детерминированных контекстно-свободных языков . Более поздние производные синтаксические анализаторы, такие как синтаксический анализатор LALR , были и остаются стандартной практикой, например, в Yacc и его потомках. ^[4]

Семантика контекстно-свободных языков. [ редактировать ]

• Дональд Кнут
• Математика. Теория систем 2: 2 (1968), 127–145.

Описание: О грамматической атрибуции, основе подхода yacc с s-атрибутами и Zyacc с LR-атрибутами .

Процедура анализа потока данных программы [ править ]

• Фрэнсис Э. Аллен , Дж. Кок
• Commun. АКМ, 19, 137–147.

Описание: Из аннотации: «Связи глобальных данных в программе могут быть выявлены и кодифицированы с помощью методов статического анализа, описанных в этой статье. Дана процедура, которая определяет все определения, которые могут быть достигнуты в каждом узле графа потока управления программа и все определения, которые находятся на каждом краю графа ".

Единый подход к глобальной оптимизации программ [ править ]

• Гэри Килдалл
• Труды симпозиума ACM SIGACT-SIGPLAN 1973 по принципам языков программирования .
• pdf

Описание: формализована концепция анализа потока данных как вычисления фиксированной точки над решетками и показано, что большинство статических анализов, используемых для оптимизации программы, могут быть единообразно выражены в рамках этой структуры.

YACC: Еще один компилятор-компилятор [ править ]

• Стивен С. Джонсон
• Руководство программиста Unix, том 2b, 1979 г.
• Интернет-копия (HTML)

Описание: Yacc - это инструмент, который значительно упростил написание компилятора .

gprof: Профилировщик выполнения графика вызовов [ править ]

• Сьюзан Л. Грэм , Питер Б. Кесслер , Маршалл Кирк МакКьюсик
• Материалы симпозиума ACM SIGPLAN 1982 по созданию компиляторов, SIGPLAN Notices 17, 6, Бостон, Массачусетс. Июнь 1982 г.
• Интернет-копия ; pdf

Описание: Профайлер gprof

Составители: принципы, методы и инструменты [ править ]

• Альфред В. Ахо
• Рави Сетхи
• Джеффри Д. Уллман
• Моника Лам
• Аддисон-Уэсли , 1986. ISBN 0-201-10088-6 

Описание: Эта книга стала классикой в ​​написании компиляторов. Она также известна как книга Дракона , в честь (красного) дракона, который появляется на ее обложке.

Компьютерная архитектура [ править ]

Компьютер Колосса [ править ]

• TH Цветы
• Анналы истории вычислительной техники , Том. 5 (№ 3), 1983, с. 239–252.
• Дизайн Колосса

Описание: Машины Колосса были ранними вычислительными устройствами, которые использовались британскими взломщиками кодов для взлома немецких сообщений, зашифрованных с помощью шифра Лоренца во время Второй мировой войны . Колосс был одним из первых двоичных электронных цифровых компьютеров . Дизайн Колосса был позже описан в упомянутой статье.

Первый проект отчета по EDVAC ^[5] [ править ]

• Джон фон Нейман
• 30 июня 1945 г., проект ENIAC .
• Первый проект отчета по EDVAC (PDF)

Описание: он содержит первое опубликованное описание логической схемы компьютера с использованием концепции хранимых программ, которая стала известна как архитектура фон Неймана .

Архитектура IBM System / 360 [ править ]

• Джин Амдал , Фред Брукс , Джорджия Блаау
• Журнал исследований и разработок IBM, 1964.
• Архитектура IBM System / 360

Описание: IBM System / 360 (S / 360) - это семейство компьютерных систем для мэйнфреймов , объявленное IBM 7 апреля 1964 года. Это было первое семейство компьютеров, в котором проводилось четкое различие между архитектурой и реализацией.

Случай для компьютера с сокращенным набором команд [ править ]

• Д.А. Паттерсон , Д.Р. Дицель
• Компьютерная архитектураНовости, т. 8, вып. 6, октябрь 1980 г., стр. 25–33.
• Онлайн-версия (PDF)

Описание: Философия проектирования ЦП компьютера с сокращенным набором команд ( RISC ) . RISC - это философия проектирования ЦП, которая отдает предпочтение сокращенному набору более простых инструкций .

Комментарии к "Случай для компьютера с сокращенным набором команд" [ править ]

• Д. У. Кларк , В. Д. Стрекер
• Новости компьютерной архитектуры, 1980.
• Онлайн-версия (PDF)

Описание:

Компьютерная система CRAY-1 [ править ]

• Д. У. Кларк , В. Д. Стрекер
• Сообщения ACM, январь 1978 г., том 21, номер 1, страницы 63–72.
• Онлайн-версия (PDF)

Описание: Cray-1 был суперкомпьютером, разработанным командой, в которую входил Сеймур Крей из Cray Research . Первая система Cray-1 была установлена ​​в Лос-Аламосской национальной лаборатории в 1976 году, и впоследствии она стала одним из самых известных и успешных суперкомпьютеров в истории.

Обоснованность подхода с использованием одного процессора для достижения крупномасштабных вычислительных возможностей [ править ]

• Джин Амдал
• AFIPS 1967 Весенняя совместная компьютерная конференция, Атлантик-Сити, Нью-Джерси
• Онлайн-версия (PDF)

Описание: Закон Амдала .

Случай для избыточных массивов недорогих дисков (RAID) [ править ]

• Дэвид А. Паттерсон , Гарт Гибсон , Рэнди Х. Кац
• В Международной конференции по управлению данными, страницы 109–116, 1988 г.
• Онлайн-версия (PDF)

Описание. В этом документе обсуждается концепция дисков RAID , описываются различные уровни RAID и преимущества каждого уровня. Это хорошая статья для обсуждения вопросов надежности и отказоустойчивости компьютерных систем, а также стоимости обеспечения такой отказоустойчивости.

Случай для однокристального мультипроцессора [ править ]

• Кунле Олукотун , Басем Найфех , Лэнс Хаммонд , Кен Уилсон , Куньюнг Чанг
• В SIGOPS Oper. Syst. Ред. 30, страницы 2–11, 1996 г.
• Онлайн-версия (PDF)

Описание: в этой статье утверждается, что подход, принятый для повышения производительности процессоров путем добавления нескольких инструкций и выполнения вне очереди, не может продолжать обеспечивать ускорение бесконечно. В нем изложены аргументы в пользу создания однокристальных процессоров, содержащих несколько «ядер». С массовым внедрением многоядерных процессоров Intel в 2005 году и последующим их доминированием на рынке эта статья оказалась пророческой.

Компьютерная графика [ править ]

Уравнение рендеринга [ править ]

• Дж. Каджиа
• SIGGRAPH: Специальная группа ACM по компьютерной графике и интерактивным технологиям, стр. 143–150 ^[6]

Упругодеформируемые модели [ править ]

• Деметри Терзопулос , Джон Платт , Алан Барр, Курт Флейшер
• Компьютерная графика, 21 (4), 1987, 205–214, Proc. Конференция ACM SIGGRAPH '87, Анахайм, Калифорния, июль 1987 г.
• Онлайн-версия (PDF)

Описание: Академия кинематографических искусств и наук назвала этот документ «вехой в компьютерной графике».

Sketchpad, система графической связи между человеком и машиной [ править ]

• Иван Сазерленд
• Онлайн-версия (PDF)

Описание: Одна из основополагающих работ по компьютерной графике.

Компьютерное зрение [ править ]

Метод выравнивания изображения фазовой корреляции [ править ]

• К. Д. Куглин и Д. К. Хайнс
• Конференция IEEE 1975 года по кибернетике и обществу, 1975, Нью-Йорк, стр. 163–165, сентябрь.

Описание: метод корреляции, основанный на обратном преобразовании Фурье.

Определение оптического потока [ править ]

• Бертольд К.П. Хорн и Б.Г. Шунк
• Искусственный интеллект, том 17, 185–203, 1981 г.
• OA статья здесь: дои : 10,1016 / 0004-3702 (81) 90024-2

Описание: метод оценки движения изображения мировых точек между 2 кадрами видеопоследовательности.

Метод итеративной регистрации изображений в приложении к стереозрению [ править ]

• Лукас, Б.Д. и Канаде, Т.
• Труды 7-й Международной совместной конференции по искусственному интеллекту , 674–679, Ванкувер, Канада, 1981 г.
• Онлайн-версия

Описание: В этой статье описывается эффективный метод совмещения изображений.

Пирамида Лапласа как компактный код изображения [ править ]

• Питер Дж. Берт и Эдвард Х. Адельсон
• IEEE Transactions on Communications , volume = "COM-31,4", стр. 532–540, 1983.
• Онлайн-версия

Описание: метод кодирования изображений с использованием локальных операторов многих масштабов.

Стохастическая релаксация, распределения Гиббса и байесовское восстановление изображений [ править ]

• Стюарт Джеман и Дональд Джеман
• IEEE Transactions по анализу шаблонов и машинному анализу, 1984 г.

Описание: представлены 1) MRF для анализа изображений 2) выборка Гиббса, которая произвела революцию в вычислительной байесовской статистике и, таким образом, оказала огромное влияние во многих других областях, помимо компьютерного зрения.

Змеи: активные контурные модели [ править ]

• Майкл Касс , Эндрю Уиткин и Деметри Терзопулос ^[7]

Описание: интерактивный вариационный метод сегментации изображений и визуального отслеживания.

Конденсация - условное распространение плотности для визуального отслеживания [ править ]

• М. Айсард и А. Блейк
• Международный журнал компьютерного зрения , 29 (1): 5–28, 1998.
• Онлайн-версия

Описание: метод визуального отслеживания

Распознавание объектов по локальным масштабно-инвариантным функциям [ править ]

• Дэвид Лоу
• Международная конференция по компьютерному зрению , стр. 1150–1157, 1999 г.
• [1]

Описание: метод ( масштабно-инвариантное преобразование признаков ) для надежного описания признаков.

Параллельные, параллельные и распределенные вычисления [ править ]

Охватываемые темы: параллельные вычисления , параллельные вычисления и распределенные вычисления .

Базы данных [ править ]

Реляционная модель для больших общих банков данных [ править ]

• EF Codd
• Сообщения ACM , 13 (6): 377–387, июнь 1970 г.

Описание: в этой статье представлена ​​реляционная модель для баз данных. Эта модель стала моделью номер один.

Двоичные B-деревья для виртуальной памяти [ править ]

• Рудольф Байер
• ACM-SIGFIDET Workshop 1971, Сан-Диего, Калифорния, Сессия 5B, стр. 219–235.

Описание: В этом документе представлена структура данных B-Trees . Эта модель стала моделью номер один.

Реляционная полнота подъязыков базы данных [ править ]

• EF Codd
• В: Р. Растин (редактор): Системы баз данных: 65–98, Прентис Холл и отчет об исследованиях IBM RJ 987, Сан-Хосе, Калифорния: (1972)
• Онлайн-версия (PDF)

Описание: Полнота подъязыков базы данных

Модель отношений сущностей - к единому представлению данных [ править ]

• Питер Чен
• ACM-транзакции в системах баз данных , Vol. 1, № 1, март 1976 г., стр. 9–36.

Описание: в этой статье был представлен метод построения базы данных с использованием диаграммы сущность-взаимосвязь (ERD).

ПОСЛЕДОВАТЕЛЬНОСТЬ: структурированный английский язык запросов [ править ]

• Дональд Д. Чемберлин , Раймонд Ф. Бойс
• Международная конференция по управлению данными, Материалы семинара 1974 г. ACM SIGFIDET (ныне SIGMOD) по описанию, доступу и контролю данных, Анн-Арбор, Мичиган, стр. 249–264

Описание: в этой статье был представлен язык SQL .

Понятия согласованности и блокировки предикатов в системе баз данных [ править ]

• Капали П. Эсваран , Джим Грей , Раймонд А. Лори , Ирвинг Л. Трейджер
• Сообщения ACM 19, 1976, 624–633

Описание: в этом документе определены концепции транзакции , согласованности и расписания. Он также утверждал, что транзакция должна блокировать логическое, а не физическое подмножество базы данных.

Системы федеративных баз данных для управления распределенными, гетерогенными и автономными базами данных [ править ]

• Амит Шет , Дж. А. Ларсон "
• ACM Computing Surveys - специальный выпуск по разнородным базам данных Surveys , том 22, выпуск 3, страницы 183 - 236, сентябрь 1990 г.
• Источник ACM

Описание: Представлена ​​концепция систем федеративных баз данных, оказывающая огромное влияние на совместимость данных и интеграцию разнородных источников данных.

Правила ассоциации интеллектуального анализа данных между наборами элементов в больших базах данных [ править ]

• Ракеш Агравал , Томаш Имелински , Арун Свами
• Proc. конференции ACM SIGMOD по управлению данными , страницы 207–216, Вашингтон, округ Колумбия, май 1993 г.
• Интернет-копия (HTML)

Описание: правила ассоциации , очень распространенный метод интеллектуального анализа данных.

История вычислений [ править ]

Компьютер от Паскаля до фон Неймана [ править ]

• Голдстайн, Герман Х. (1972). Компьютер от Паскаля до фон Неймана . Издательство Принстонского университета . ISBN 978-0-691-08104-5.

Описание: Пожалуй, первая книга по истории вычислений.

История вычислительной техники в двадцатом веке [ править ]

под редакцией:

• Николай Метрополис
• Дж. Хоулетт
• Джан-Карло Рота
• Academic Press , 1980, ISBN 0-12-491650-3 

Описание: Несколько глав пионеров информатики.

Поиск информации [ править ]

Модель векторного пространства для автоматического индексирования [ править ]

• Джерард Солтон , А. Вонг, К. С. Янг
• Commun. ACM 18 (11): 613–620 (1975).

Описание: Представлена ​​модель векторного пространства .

Расширенный логический поиск информации [ править ]

• Джерард Солтон , Эдвард А. Фокс, Гарри Ву
• Commun. ACM 26 (11): 1022–1036 (1983).

Описание: Представлен инвертированный индекс.

Статистическая интерпретация специфики термина и его применение при поиске [ править ]

• Карен Спарк Джонс
• Журнал документации 28: 11–21 (1972). DOI : 10,1108 / eb026526 .

Описание: Разработана статистическая интерпретация специфичности термина, называемая обратной частотой документов (IDF), которая стала краеугольным камнем взвешивания терминов.

Сеть [ править ]

Протокол межсетевого взаимодействия в пакетной сети [ править ]

• Винт Серф , Роберт Кан
• IEEE Transactions on Communications, 1974.
• Электронная копия (PDF)

Описание: В этом документе содержится множество идей, которые позже стали TCP и IP, двумя основополагающими протоколами, из которых состоит Интернет. Серф и Кан получили награду ACM Turning Award частично за работу, содержащуюся в этой статье.

Философия разработки Интернет-протоколов DARPA [ править ]

• Дэвид Кларк
• Обзор компьютерных коммуникаций ACM SIGCOMM, Vol. 18, No. 4, pp. 106-114, август 1988 г.
• Электронная копия (PDF)

Описание: в этом документе описываются некоторые принципы проектирования, лежащие в основе Интернета, и то, как эти принципы проектирования реализуются в Интернете.

Сквозные аргументы в проектировании системы [ править ]

• Дж. Зальцер , Д. Рид, Д. Кларк
• ACM-транзакции в компьютерных системах, Vol. 2, No. 4, ноябрь 1984 г.
• Электронная копия (PDF)

Описание: В этой статье представлен «сквозной аргумент», классический принцип проектирования, широко используемый при проектировании многих протоколов и систем Интернета.

Предотвращение перегрузки и контроль [ править ]

• Ван Якобсон , Майкл Дж. Карелс
• ACM SIGCOMM, 1988.
• Интернет-копия (HTML)

Описание: в этом документе определяется проблема сетевой перегрузки и представлен алгоритм того, как протоколы могут снизить скорость отправки, чтобы уменьшить перегрузку. Этот подход был включен в протокол TCP и повлиял на разработку многих других протоколов передачи данных.

Анализ и моделирование алгоритма справедливой организации очередей [ править ]

• Алан Демерс, Сринивасан Кешав , Скотт Шенкер
• ACM SIGCOMM CCR, Vol. 19, No. 4, сентябрь 1989 г.
• Электронная копия (PDF)

Описание. В этом документе представлена ​​«справедливая организация очереди» - алгоритм распределения буфера, который почти повсеместно используется на маршрутизаторах Интернета.

Масштабируемый поиск высокоскоростной IP-маршрутизации [ править ]

• М. Вальдфогель, Г. Варгезе, Дж. Тернер, Б. Платтнер
• ACM SIGCOMM, август 1997 г.
• Электронная копия (PDF)

Описание. В этом документе описывается алгоритмический подход к поиску префикса (суперсети), содержащего конкретный IP-адрес, - процесс, который в настоящее время почти повсеместно используется на маршрутизаторах Интернета.

Chord: масштабируемая одноранговая служба поиска для интернет-приложений [ править ]

• Ион Стойка, Роберт Моррис, Дэвид Каргер, М. Франс Каашук, Хари Балакришнан
• ACM SIGCOMM, август 2001 г.
• Электронная копия (PDF)

Описание: В этом документе представлена ​​концепция распределенной хеш-таблицы (DHT) , распределенной структуры данных, которая повлияла на дизайн ряда одноранговых систем, распределенных файловых систем и других крупномасштабных распределенных систем.

Также см. Списки «Десять лучших сетевых статей», опубликованные в ACM SIGCOMM CCR :

• «10 сетевых статей: рекомендуется к прочтению», Джон Кроукрофт . Интернет-копия (PDF)
• «10 статей для аспирантов по сетевым технологиям», Крейг Партридж . Электронная копия (PDF)
• «10 сетевых документов: рекомендуется к прочтению», Джим Курос . Электронная копия (PDF)
• «10 сетевых документов: материалы для разработки протокола», Дэвид Ветералл . Электронная копия (PDF)
• «10 сетевых документов: взрыв из прошлого», Мостафа Х. Аммар. Электронная копия (PDF)

Операционные системы [ править ]

Экспериментальная система разделения времени. [ редактировать ]

• Фернандо Х. Корбато , М. Мервин-Даггетт и Р. К. Дейли
• Труды AFIPS FJCC, страницы 335–344, 1962.
• Интернет-копия (HTML)

Описание: в этой статье обсуждается разделение времени как метод совместного использования компьютерных ресурсов. Эта идея изменила взаимодействие с компьютерными системами.

Модель рабочего набора для поведения программы [ править ]

• Питер Дж. Деннинг
• Коммуникации ACM, Vol. 11, № 5, май 1968 г., стр. 323–333
• Онлайн-версия (PDF)

Описание: Начало кеша . Для получения дополнительной информации см. Зал славы SIGOPS .

Виртуальная память, процессы и совместное использование в MULTICS [ править ]

• Роберт С. Дейли , Джек Б. Деннис
• Коммуникации ACM, Vol. 11, № 5, май 1968 г., стр. 306–312.
• Онлайн-версия (PDF)

Описание: Классическая статья о Multics , самой амбициозной операционной системе в ранней истории вычислительной техники. Трудно читать, но в нем описываются последствия попытки построить систему, доводящую обмен информацией до логической крайности. Большинство операционных систем, начиная с Multics, включают подмножество своих возможностей.

Ядро системы мультипрограммирования [ править ]

• Пер Бринч Хансен
• Коммуникации ACM, Vol. 13, No. 4, апрель 1970 г., стр. 238–242.
• Онлайн-версия (PDF)

Описание: классический документ о расширяемой архитектуре ядра многопрограммной системы RC 4000 и о том, что стало известно как ядро операционной системы и архитектура микроядра .

Принципы операционной системы [ править ]

• Пер Бринч Хансен
• Прентис-Холл, Энглвуд-Клиффс, Нью-Джерси, июль 1973 г.
• Онлайн-версия (цифровая библиотека ACM)

Описание: Первый исчерпывающий учебник по операционным системам. Включает первое обозначение монитора (Глава 7).

Примечание по проблеме заключения [ править ]

• Батлер В. Лэмпсон
• Сообщения ACM, 16 (10): 613–615, октябрь 1973 г.
• Онлайн-версия (PDF)

Описание: в этом документе рассматриваются проблемы ограничения потока информации от ненадежных программ. В нем обсуждаются скрытые каналы, но, что более важно, рассматривается проблема достижения полного ограничения, не делая саму программу непригодной для использования. Эти идеи важны при попытке понять сдерживание вредоносного кода, а также аспекты доверенных вычислений.

Система разделения времени UNIX [ править ]

• Деннис М. Ричи и Кен Томпсон
• Сообщения ACM 17 (7), июль 1974 г.
• Интернет-копия

Описание: В этом документе описаны операционная система Unix и ее принципы. Главное значение имеет не бумага, а операционная система, которая оказала огромное влияние на операционную систему и компьютерные технологии.

Взвешенное голосование за реплицированные данные [ править ]

• Дэвид К. Гиффорд
• Труды 7-го симпозиума ACM по принципам операционных систем, страницы 150–159, декабрь 1979 г. Пасифик-Гроув, Калифорния
• Интернет-копия (несколько форматов)

Описание: в этом документе описывается механизм согласованности, известный как консенсус кворума. Это хороший пример алгоритмов, которые обеспечивают непрерывный набор опций между двумя альтернативами (в данном случае между методами согласованности чтения-все-все-записи и--чтения-все-все). В последующие годы исследователи внесли множество изменений и улучшений, и это один из алгоритмов согласованности, который должен быть понят всем. Параметры, доступные при выборе кворумов разного размера, обеспечивают полезную структуру для обсуждения основных требований к согласованности в распределенных системах.

Опыт работы с процессами и мониторами в Мезе [ править ]

• Батлер В. Лэмпсон , Дэвид Д. Ределл
• Коммуникации ACM, Vol. 23, № 2, февраль 1980 г., стр. 105–117.
• Электронная копия (PDF)

Описание: это классический документ о методах синхронизации, включая альтернативные подходы и подводные камни.

Методы планирования для параллельных систем [ править ]

• Дж. К. Остерхаут
• Труды Третьей Международной конференции по распределенным вычислительным системам , 1982, 22-30.

Описание: Приведены алгоритмы планирования связанных процессов.

Быстрая файловая система для UNIX [ править ]

• Маршалл Кирк Маккусик , Уильям Н. Джой , Сэмюэл Дж. Леффлер , Роберт С. Фабри
• IACM Transactions on Computer Systems, Vol. 2, № 3, август 1984 г., стр. 181–197.
• Электронная копия (PDF)

Описание: Файловая система в UNIX . Одна из первых статей, посвященных управлению дисковым хранилищем для высокопроизводительных файловых систем. Большинство исследований файловых систем, проводившихся после этой статьи, проходили под его влиянием, и большинство высокопроизводительных файловых систем за последние 20 лет используют методы из этой статьи.

Дизайн операционной системы UNIX [ править ]

• Морис Дж. Бах, AT&T Bell Labs
• Прентис Холл • 486 с. • Опубликовано 27.05.1986.

Это исчерпывающее описание в основном касалось ядра System V Release 2 с некоторыми новыми функциями из Release 3 и BSD .

Дизайн и реализация файловой системы с лог-структурой [ править ]

• Мендель Розенблюм , Дж. К. Остерхаут
• ACM-транзакции в компьютерных системах, Vol. 10, № 1 (февраль 1992 г.), стр. 26–52.
• Онлайн-версия

Описание: Файловая система с лог-структурой .

Архитектура операционной системы микроядра и Mach [ править ]

• Дэвид Л. Блэк , Дэвид Б. Голуб , Дэниел П. Джулин , Ричард Ф. Рашид , Ричард П. Дрейвс , Рэндалл В. Дин , Алессандро Форин , Джозеф Баррера , Хидеюки Токуда , Джеральд Малан , Дэвид Бохман
• Труды семинара USENIX по микроядрам и другим архитектурам ядра, страницы 11–30, апрель 1992 г.

Описание: это хорошая статья, в которой обсуждается одна конкретная архитектура микроядра и сравнивается ее конструкция с монолитным ядром. Mach лежит в основе Mac OS X , и его многоуровневая архитектура оказала значительное влияние на структуру ядра Windows NT и современных микроядер, таких как L4 . Кроме того, функция отображения файлов в память была добавлена ​​во многие монолитные ядра.

Реализация файловой системы с лог-структурой для UNIX [ править ]

• Марго Зельцер , Кейт Бостик , Маршалл Кирк МакКьюсик , Карл Сталин
• Материалы зимней конференции USENIX 1993 г. , Сан-Диего, Калифорния, январь 1993 г., 307-326
• Онлайн-версия

Описание: статья была первой производственной реализацией этой идеи, которая породила много дополнительных обсуждений жизнеспособности и недостатков файловых систем с журнальной структурой. Хотя «Проектирование и реализация файловой системы с лог-структурой», безусловно, была первой, она была важна для воплощения идеи исследования в пригодную для использования систему.

Мягкие обновления: решение проблемы обновления метаданных в файловых системах [ править ]

• Г. Гангер , М. МакКьюзик , К. Соулз , Ю. Патт
• ACM Transactions on Computer Systems 18, 2. pp 127–153, May 2000.
• ^[8] Онлайн-версия

Описание: новый способ поддержания целостности файловой системы.

Языки программирования [ править ]

Система автоматического кодирования FORTRAN [ править ]

• Джон Бэкус и др. ^[9]
• Труды WJCC (Western Joint Computer Conference), Лос-Анджелес, Калифорния, февраль 1957 г.
• Онлайн-версия (PDF)

Описание: В этом документе описывается разработка и реализация первого компилятора FORTRAN командой IBM . Fortran является универсальным , процедурным , императивным программированием языка , который особенно подходит для численных расчетов и научных вычислений.

Рекурсивные функции символьных выражений и их машинное вычисление, часть I ^[10] [ править ]

• Джон Маккарти .
• Сообщения ACM, 3 (4): 184–195, апрель 1960 г.
• Несколько онлайн-версий

Описание: в этой статье был представлен LISP , первый функциональный язык программирования , который активно использовался во многих областях информатики, особенно в искусственном интеллекте . LISP также имеет мощные возможности для управления программами LISP внутри языка.

АЛГОЛ 60 [ править ]

• Пересмотренный отчет по алгоритмическому языку Algol 60 Питера Наура и др. - Очень влиятельное определение АЛГОЛА; с первым формально определенным синтаксисом.
• Брайан Рэнделл и Л. Дж. Рассел, Реализация Алгола 60: Перевод и использование программ Алгола 60 на компьютере . Academic Press, 1964. Дизайн компилятора Whetstone . Одно из ранее опубликованных описаний реализации компилятора . См соответствующие документы: Ветстоун Алголь Revisited и The точильный KDF9 Алголь Переводчик от Brian Randell
• Эдсгер В. Дейкстра , Перевод Algol 60: переводчик Algol 60 для x1 и создание переводчика для Algol 60 , отчет MR 35/61. Mathematisch Centrum, Амстердам, 1961. ^[11]

Описание: Алгол 60 представил блочную структуру.

Следующие 700 языков программирования ^[10] [ править ]

• Питер Ландин
• Сообщения ACM 9 (3): 157–65, март 1966 г. ^[12]

Описание: В этой основополагающей статье был предложен идеальный язык ISWIM , который, не будучи реализованным, повлиял на дальнейшее развитие.

Фундаментальные концепции языков программирования [ править ]

• Кристофер Стрейчи
• pdf

Описание: « Фундаментальные концепции языков программирования» представили много терминологии языков программирования, которая все еще используется сегодня, включая R-значения , L-значения , параметрический полиморфизм и специальный полиморфизм .

Лямбда-документы [ править ]

• Джеральд Джей Сассман и Гай Л. Стил-младший.
• Записки AI , 1975–1980 гг.
• Ссылки на PDF-файлы

Описание: в этой серии статей и отчетов впервые был определен влиятельный язык программирования Scheme и были поставлены под сомнение преобладающие практики в проектировании языков программирования, широко использующие лямбда-исчисление для моделирования концепций языка программирования и руководства эффективной реализацией без ущерба для выразительности .

Структура и интерпретация компьютерных программ [ править ]

• Гарольд Абельсон и Джеральд Джей Сассман
• MIT Press , 1984, 1996

Описание: этот учебник объясняет основные концепции компьютерного программирования и считается классическим учебником по информатике.

Онлайн-курс

Понимание монад [ править ]

• Филип Вадлер
• Математические структуры в информатике 2.04 (1992): 461–493.
• Интернет-копия

Описание: В этой статье представлены монады в функциональное программирование.

К теории структуры типов [ править ]

• Джон Рейнольдс
• Симпозиум по программированию. Springer Berlin Heidelberg, 1974 год.
• онлайн-копия

Описание: в этой статье представлена система F и создано современное понятие параметрического полиморфизма.

Аксиоматическая основа компьютерного программирования [ править ]

• Тони Хоар
• Сообщения ACM, том 12, выпуск 10, октябрь 1969 г., страницы 576-580

Описание: в этой статье представлена логика Хоара , лежащая в основе верификации программ.

Научные вычисления [ править ]

• Wilkinson, JH ; Райнш, К. (1971). Линейная алгебра, том II Справочника по автоматическим вычислениям . Springer. ISBN 978-0-387-05414-8.
• Голуб, Джин Х .; ван Лоан, Чарльз Ф. (1996) [1983], Matrix Computations, 3-е издание , Johns Hopkins University Press, ISBN 978-0-8018-5414-9

Компьютерная лингвистика [ править ]

• Бут, Т.Л. (1969). «Вероятностное представление формальных языков». Отчет конференции IEEE о десятом ежегодном симпозиуме 1969 года по теории коммутации и автоматов . С. 74–81.

Содержит первое представление стохастических контекстно-свободных грамматик .

• Коскенниеми, Киммо (1983), Двухуровневая морфология: общая вычислительная модель распознавания и производства словоформ (PDF) , Департамент общего языкознания, Хельсинкский университет

Первое опубликованное описание вычислительной морфологии с использованием преобразователей конечного состояния . (Каплан и Кей ранее работали в этой области и представили ее на конференции; лингвист Джонсон отметил такую ​​возможность в 1972 году, но не представил какой-либо реализации.)

• Рабинер, Лоуренс Р. (1989). «Учебное пособие по скрытым марковским моделям и избранным приложениям в распознавании речи». Труды IEEE . 77 (2): 257–286. CiteSeerX  10.1.1.381.3454 . DOI : 10.1109 / 5.18626 .

Обзор скрытых марковских моделей, ориентированных на распознавание речи и других областей НЛП, с описанием алгоритмов Витерби и прямого-обратного .

• Брилл, Эрик (1995). «Основанное на преобразовании обучение на основе ошибок и обработка естественного языка: пример использования тегов части речи». Компьютерная лингвистика . 21 (4): 543–566.

Описывает теперь широко используемый POS-теггер, основанный на обучении на основе преобразования .

• Мэннинг, Кристофер Д .; Шютце, Хинрих (1999), Фонд статистической обработки естественного языка , MIT Press

Учебник по статистическим и вероятностным методам в НЛП.

• Мороз, Ричард А. (2006). «Реализация интерфейсов на естественном языке с помощью ленивого функционального программирования» (PDF) . ACM Computing Surveys . 38 (4): 11 – es. CiteSeerX  10.1.1.114.4151 . DOI : 10.1145 / 1177352.1177353 . S2CID  1836129 .

Этот обзор документирует относительно менее изученную важность ленивых функциональных языков программирования (например, Haskell ) для построения процессоров естественного языка и приспособления многих лингвистических теорий.

Программная инженерия [ править ]

Программная инженерия: отчет конференции, спонсируемой Научным комитетом НАТО [ править ]

• Питер Наур , Брайан Рэнделл (ред.)
• Гармиш, Германия, 7–11 октября 1968 г., Брюссель, Отдел по научным вопросам, НАТО (1969) 231 с.
• Электронная копия (PDF)

Описание: Конференция ведущих специалистов в области программного обеспечения c. 1968 г.
В статье определена область разработки программного обеспечения.

Описание парадигмы пользовательского интерфейса модель-представление-контроллер в системе Smalltalk-80 ^[13] [ править ]

• Краснер, Гленн Э .; Папа, Стивен Т.
• Журнал объектных технологий , август-сентябрь 1988 г.
• Электронная копия (PDF)

Описание: описание системы, которая положила начало (ныне доминирующей) парадигме программирования графического интерфейса пользователя Модель – представление – контроллер.

Перейти к заявлению, которое считается вредным ^[10] [ править ]

• Дейкстра, EW
• Сообщения ACM , 11 (3): 147–148, март 1968 г.
• Интернет-копия

Описание: Не используйте goto - начало структурного программирования .

О критериях, которые будут использоваться при декомпозиции систем на модули [ править ]

• Давид Парнас
• Сообщения ACM , том 15, выпуск 12: 1053–1058, декабрь 1972 г.
• Электронная копия (PDF)

Описание: Важность модульности и сокрытия информации . Обратите внимание, что скрытие информации было впервые представлено в другой статье того же автора - «Аспекты распространения информации в методологии проектирования», Труды Конгресса ИФИП '71, 1971, Буклет TA-3, стр. 26–30

Иерархические программные структуры [ править ]

• Оле-Йохан Даль , CAR Hoare
• in Dahl, Dijkstra and Hoare, Structured Programming, Academic Press, Лондон и Нью-Йорк, стр. 175–220, 1972.

Описание: Начало объектно-ориентированного программирования . В этой статье утверждалось, что программы следует разлагать на независимые компоненты с небольшими и простыми интерфейсами. Они также утверждали, что у объектов должны быть как данные, так и связанные с ними методы.

Поведенческое понятие подтипов [ править ]

• Барбара Х. Лисков , Жаннетт М. Винг
• ACM Transactions по языкам и системам программирования (TOPLAS), 1994

Описание: вводит принцип замещения Лискова и устанавливает правила поведенческого подтипа.

Методика спецификации программного модуля с примерами [ править ]

• Давид Парнас
• Comm. ACM 15, 5 (май 1972 г.), 330–336.
• Электронная копия (PDF)

Описание: спецификация программного обеспечения .

Структурированный дизайн [ править ]

• Уэйн Стивенс , Гленфорд Майерс и Ларри Константин
• IBM Systems Journal, 13 (2), 115–139, 1974.
• Он-лайн копия (PDF)

Описание: итоговая статья по структурированному дизайну , диаграмме потоков данных , взаимосвязи и сплоченности .

Старая одежда императора [ править ]

• АВТОМОБИЛЬ Хоар
• Коммуникации ACM, Vol. 24, № 2, февраль 1981 г., стр. 75–83.
• Архивная копия (PDF)

Описание: иллюстрирует « эффект второй системы » и важность простоты.

Мифический человеко-месяц: очерки программной инженерии [ править ]

• Брукс-младший, FP
• Эддисон Уэсли Профессионал. 2-е издание, 1995 г.

Описание: Добавление большего количества людей к задаче не ускорит ее выполнение ...

Нет серебряной пули: сущность и случайности разработки программного обеспечения [ править ]

• Фред Брукс
• - (апрель 1987 г.). «Нет серебряной пули - сущность и случайности программной инженерии». Компьютер IEEE . 20 (4): 10–19. CiteSeerX  10.1.1.117.315 . DOI : 10,1109 / MC.1987.1663532 . S2CID  372277 .
• Интернет-копия (HTML)

Описание: Брукс утверждает, что «не существует единой разработки ни в технологии, ни в технике управления, которая сама по себе обещала бы даже на порядок [десятикратное] улучшение в течение десятилетия в производительности, надежности и простоте». Он также заявляет, что «мы не можем ожидать двукратного роста каждые два года» в разработке программного обеспечения, как это происходит в разработке аппаратного обеспечения ( закон Мура ).

Собор и базар [ править ]

• Раймонд, ES
• Первый понедельник , 3, 3 (март 1998 г.)
• Интернет-копия (HTML)

Описание: Методология с открытым исходным кодом .

Шаблоны проектирования: элементы объектно-ориентированного программного обеспечения многократного использования [ править ]

• Э. Гамма , Р. Хелм , Р. Джонсон , Дж. Влиссидес
• Аддисон-Уэсли , Рединг, Массачусетс, 1995.

Описание: Эта книга была первой, в которой были определены и перечислены шаблоны проектирования в информатике.

Диаграммы состояний: визуальный формализм для сложных систем [ править ]

• Дэвид Харел
• Д. Харель. Диаграммы состояний: визуальный формализм для сложных систем. Наука компьютерного программирования, 8: 231-274, 1987.
• Онлайн-версия

Описание: диаграммы состояний - это метод визуального моделирования. Они являются продолжением конечного автомата, который может быть экспоненциально более эффективным. Таким образом, статистические диаграммы позволяют формально моделировать приложения, которые раньше были слишком сложными. Диаграммы состояний являются частью диаграмм UML .

Безопасность и конфиденциальность [ править ]

Анонимность и конфиденциальность [ править ]

• Дэвид Чаум. Не отслеживаемая электронная почта, обратные адреса и цифровые псевдонимы . Сообщения ACM, 4 (2): 84–88, февраль 1981 г.
• Синтия Дворк, Фрэнк МакШерри, Кобби Ниссим, Адам Смит. Калибровка шума по чувствительности в анализе частных данных , Конференция по теории криптографии (TCC), Springer, 2006. doi : 10.1007 / 11681878_14 . Полная версия появится в журнале секретности и конфиденциальности, 7 (3), 17-51. DOI : 10.29012 / jpc.v7i3.405

Криптография [ править ]

• Уитфилд Диффи и Мартин Э. Хеллман, Новые направления в криптографии, Транзакции IEEE по теории информации, ноябрь 1976 г.
• Р.Л. Ривест, А. Шамир и Л.М. Адельман, Метод получения цифровых подписей и криптосистем с открытым ключом, MIT / LCS / TM-82, 1977
• Меркл Р. Системы безопасности, аутентификации и открытого ключа , докторская диссертация, Стэнфордский университет 1979 года. (Просто прочтите главу 2, страницы 11–15, в которой Меркл изобретает криптографические хеш-функции.)

Пароли [ править ]

• Моррис, Роберт и Томпсон, Кен. Защита паролем: история болезни , Сообщения архива домашней страницы ACM CACM Том 22, выпуск 11, ноябрь 1979 г. Страницы 594–597. PDF

Безопасность системы [ править ]

• Деннис и Ван Хорн, Семантика программирования для многопрограммных вычислений , Конференция ACM по языкам программирования и прагматике (август 1965 г.)
• Зальцер и Шредер, Защита информации в компьютерных системах , Симпозиум ACM по принципам операционных систем (октябрь 1973 г.) HTML HTML2
• Каргер и Шелл, Тридцать лет спустя: Уроки оценки безопасности множественных устройств, ACSAC 2002
• Лэмпсон, Батлер. Заметка о проблеме удержания , сообщения ACM, 16:10 (октябрь 1973 г.), стр. 613–615. PDF
• Томпсон, Кен. Размышления о доверии , сообщения ACM, 27: 8, август 1984 г.
• Дж. Э. Форрестер и Б. П. Миллер, Эмпирическое исследование устойчивости приложений Windows NT с использованием случайного тестирования , 4-й симпозиум USENIX по системам Windows, Сиэтл, август 2000 г.

Полезная безопасность [ править ]

• Уиттен, Альма и Тайгар, Дж. Д., Почему Джонни не может шифровать: оценка удобства использования PGP 5.0 , Труды 8-й конференции, посвященной симпозиуму по безопасности USENIX, том 8, страницы 14–28
• Гарфинкель, Симсон и Шелат, Абхи, Сохранение переданных данных , Безопасность и конфиденциальность IEEE, Том 1, выпуск 1, январь 2003 г., стр. 17-27

Теоретическая информатика [ править ]

Затронутые темы: теоретической информатики , в том числе теории вычислимости , теории сложности вычислений , алгоритмы , алгоритмической теории информации , теории информации и формальную проверку .

См. Также [ править ]

• DBLP (проект цифровой библиографии и библиотеки в области информатики)
• Список открытых проблем по информатике
• Список журналов по информатике
• Список конференций по информатике
• Коллекция библиографий по информатике
• Премия Пэрис Канеллакис, премия , присуждаемая за конкретные теоретические достижения, оказавшие значительное и очевидное влияние на практику вычислений.

Ссылки [ править ]

Внешние ссылки [ править ]

• Серия классических книг ACM
• Самые цитируемые статьи в области компьютерных наук (база данных CiteSeer)
• 50 наиболее влиятельных статей Статьи ACM SIGPLAN, опубликованные в PLDI с 1979 по 1999 год ; организованы в специальное производство SIGPLAN.

Академические поисковые системы [ править ]

• Google Scholar
• CiteSeer
• Live Academic
• Odysci
• ISI Web of Science