Альфапедия

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

редактировать
Статья из списка Викимедиа

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

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

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

Содержание

  • 1 Искусственный интеллект
    • 1.1 Вычислительные машины и интеллект
    • 1.2 Предложение для Дартмутского летнего исследовательского проекта по искусственному интеллекту
    • 1.3 Нечеткие множества
    • 1.4 Вероятностные рассуждения в интеллектуальных системах: сети правдоподобных выводов
    • 1.5 Искусственный интеллект: современный подход
    • 1.6 Машинное обучение
      • 1.6.1 Машина индуктивного вывода
      • 1.6.2 Идентификация языка в пределе
      • 1.6.3 О равномерной сходимости относительных частот событий к их вероятностям
      • 1.6.4 Теория обучаемого
      • 1.6.5 Обучающие представления ошибки обратного распространения
      • 1.6.6 Индукция деревьев решений
      • 1.6.7 Быстрое обучение при большом количестве нерелевантных атрибутов: новый алгоритм линейного порога
      • 1.6.8 Обучение предсказанию методом временной разницы
      • 1.6.9 Обучаемость и размерность Вапника – Червоненкиса
      • 1.6.10 Криптографические ограничения на обучение булевых формул и конечных автоматов
      • 1.6.11 Сила слабой обучаемости
      • 1.6.12 Алгоритм обучения для оптимальных классификаторов маржи
      • 1.6.13 Алгоритм быстрого обучения для сетей глубоких убеждений
      • 1.6.14 Основанный на знаниях анализ данных экспрессии генов микрочипов с использованием машин опорных векторов
  • 2 Компиляторы
    • 2.1 О переводе языков слева направо
    • 2.2 Семантика контекстно-свободных языков.
    • 2.3 Процедура анализа потока данных программы
    • 2.4 Единый подход к глобальной оптимизации программы
    • 2.5 YACC: еще один компилятор-компилятор
    • 2.6 gprof : Профилировщик выполнения графа вызовов
    • 2.7 Компиляторы: принципы, T методы и инструменты
  • 3 Архитектура компьютера
    • 3.1 Компьютер Colossus
    • 3.2 Первый проект отчета по EDVAC
    • 3.3 Архитектура IBM System / 360
    • 3.4 Случай для компьютера с сокращенным набором команд
    • 3.5 Комментарии к «Случай для компьютера с сокращенным набором команд»
    • 3.6 Компьютерная система CRAY-1
    • 3.7 Применимость однопроцессорного подхода к достижению крупномасштабных вычислительных возможностей
    • 3.8 Случай для избыточности Массивы недорогих дисков (RAID)
    • 3.9 Случай для однокристального мультипроцессора
  • 4 Компьютерная графика
    • 4.1 Уравнение рендеринга
    • 4.2 Упруго деформируемые модели
    • 4.3 Sketchpad, человеко-машинная графика Система связи
  • 5 Компьютерное зрение
    • 5.1 Метод выравнивания изображения с фазовой корреляцией
    • 5.2 Определение оптического потока
    • 5.3 Метод итерационной регистрации изображения с приложением к стереозрению
    • 5.4 Пирамида Лапласа как компакт код изображения
    • 5.5 Стохастическая релаксация, распределитель Гиббса ионов и байесовского восстановления изображений
    • 5.6 Змеи: активные контурные модели
    • 5.7 Конденсация - условное распространение плотности для визуального отслеживания
    • 5.8 Распознавание объектов по локальным масштабно-инвариантным характеристикам
  • 6 Параллельное, параллельное и распределенные вычисления
  • 7 Базы данных
    • 7.1 Реляционная модель для больших совместно используемых банков данных
    • 7.2 Двоичные B-деревья для виртуальной памяти
    • 7.3 Реляционная полнота подъязыков базы данных
    • 7.4 Модель отношений сущностей - на пути к Единое представление данных
    • 7.5 ПОСЛЕДОВАТЕЛЬНОСТЬ: структурированный английский язык запросов
    • 7.6 Понятия согласованности и блокировки предикатов в системе баз данных
    • 7.7 Системы федеративных баз данных для управления распределенными, гетерогенными и автономными базами данных
    • 7.8 Правила ассоциации между наборами элементов в больших базах данных
  • 8 История вычислений
    • 8.1 Компьютер от Паскаля до фон Неймана
    • 8.2 История вычислений в двадцатом веке
  • 9 Поиск информации
    • 9.1 Модель векторного пространства для автоматического индексирования
    • 9.2 Поиск расширенной логической информации
    • 9.3 Статистическая интерпретация специфики термина и его применение при поиске
  • 10 Сеть
    • 10.1 Протокол для взаимодействия в пакетной сети
    • 10.2 Философия разработки Интернет-протоколов DARPA
    • 10.3 Сквозные аргументы при проектировании системы
    • 10.4 Предотвращение перегрузки и контроль
    • 10.5 Анализ и моделирование алгоритма справедливой организации очередей
    • 10.6 Масштабируемый поиск высокоскоростной IP-маршрутизации
    • 10.7 Chord: масштабируемая одноранговая служба поиска для интернет-приложений
  • 11 Операционные системы
    • 11.1 Экспериментальная система с разделением времени.
    • 11.2 Модель рабочего набора для поведения программы
    • 11.3 Виртуальная память, Процессы и совместное использование в MULTICS
    • 11.4 Ядро многопрограммной системы
    • 11.5 Принципы работы операционной системы
    • 11.6 Замечание по проблеме ограничения
    • 11.7 Система разделения времени UNIX
    • 11.8 Взвешенное голосование для реплицированных данных
    • 11.9 Опыт работы с процессами и мониторами в Mesa
    • 11.10 Методы планирования для параллельных систем
    • 11.11 Быстрая файловая система для UNIX
    • 11.12 Дизайн операционной системы UNIX
    • 11.13 Дизайн и реализация Файловая система с лог-структурой
    • 11.14 Архитектура операционной системы с микроядром и Mach
    • 11.15 Реализация лог-структурированной файловой системы для UNIX
    • 11.16 Программные обновления: решение проблемы обновления метаданных в файловых системах
  • 12 языков программирования
    • 12.1 Автоматическая система кодирования FORTRAN
    • 12.2 Рекурсивные функции символьных выражений и их вычисление машиной, часть I
    • 12.3 АЛГОЛ 60
    • 12.4 Следующие 700 языков программирования
    • 12.5 Фундаментальные Концепции языков программирования
    • 12.6 Лямбда-статьи
    • 12.7 Структура и интерпретация компьютерных программ
    • 12.8 Понимание монад
    • 12.9 К теории структуры типов
    • 12.10 Аксиоматическая основа компьютерного программирования
  • 13 Наука специальные вычисления
    • 13.1 Вычислительная лингвистика
  • 14 Программная инженерия
    • 14.1 Программная инженерия: отчет конференции, спонсируемой Научным комитетом НАТО
    • 14.2 Описание парадигмы пользовательского интерфейса модель-представление-контроллер в Smalltalk -80 Система
    • 14.3 Перейти к утверждению считается вредным
    • 14.4 О критериях, которые будут использоваться при декомпозиции систем на модули
    • 14.5 Иерархические структуры программы
    • 14.6 Поведенческое понятие подтипов
    • 14.7 Методика для спецификация программного модуля с примерами
    • 14.8 Структурированный дизайн
    • 14.9 Старая одежда императора
    • 14.10 Мифический человеко-месяц: очерки программной инженерии
    • 14.11 Серебряная пуля: сущность и случайности программной инженерии
    • 14.12 Собор и базар
    • 14.13 Шаблоны проектирования: элементы многоразового объектно-ориентированного программного обеспечения
    • 14.14 Диаграммы состояний: визуальный формализм для сложных систем
  • 15 Безопасность и конфиденциальность
    • 15.1 Анонимность и конфиденциальность
    • 15.2 Криптог raphy
    • 15.3 Пароли
    • 15.4 Безопасность системы
    • 15.5 Полезная безопасность
  • 16 Теоретическая информатика
  • 17 См. также
  • 18 Ссылки
  • 19 Внешние ссылки
    • 19.1 Академические поисковые системы

Искусственный интеллект

Вычислительные машины и интеллект

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

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

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

Нечеткие множества

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

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

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

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

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

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

Машинное обучение

Машина индуктивного вывода

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

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

Идентификация языка в пределе

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

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

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

Теория обучаемого

Описание: Вероятно, приблизительно правильная структура обучения (обучение PAC).

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

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

Индукция деревьев решений

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

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

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

Обучение прогнозированию с помощью метода временной разницы

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

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

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

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

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

Сила слабой обучаемости

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

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

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

Алгоритм быстрого обучения для сетей глубоких убеждений

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

Базирующийся на знаниях анализ данных экспрессии генов микрочипов с использованием опорных векторных машин

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

Составители

О переводе языков слева направо

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

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

Описание: О грамматике атрибуция, основа для yacc s-attributed и zyacc LR-attributed подход.

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

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

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

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

YACC: Еще один компилятор-компилятор

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

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

Описание: Профилировщик gprof

Компиляторы: принципы, методы и инструменты

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

Архитектура компьютера

Компьютер Colossus

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

Первый проект отчета по EDVAC

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

Архитектура IBM System / 360

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

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

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

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

Описание:

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

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

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

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

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

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

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

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

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

Уравнение рендеринга

  • J. Kajiya
  • SIGGRAPH: Специальная группа ACM по компьютерной графике и интерактивным методам, стр. 143-150

Упруго деформируемые модели

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

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

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

Компьютерное зрение

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

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

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

Определение оптического потока

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

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

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

Пирамида Лапласа в виде компактного кода изображения

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

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

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

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

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

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

Описание: Метод визуального оборудования

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

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

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

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

Базы данных

Реляционная модель для больших общих банковских данных

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Объединенные системы баз данных для управления распределенными, гетерогенными и автономными базами данных

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

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

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

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

История вычислений

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

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

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

отредактировал:

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

Поиск информации

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

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

Расширенный логический поиск информации

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

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

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

Сеть

Протокол для взаимодействия в пакетной сети

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

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

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

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

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

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

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

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

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

Поиск масштабируемой высокоскоростной IP-маршрутизации

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

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

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

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

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

Операционные системы

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

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

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

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

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

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

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

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

Принципы операционной системы

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

Заметка о проблеме ограничения свободы

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

Система разделения времени UNIX

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Архитектура операционной системы Microkernel и Mach

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

Реализация файловой системы с логической структурой для UNIX

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

Программные обновления: решение проблемы обновления метаданных в файловых системах

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

Языки программирования

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

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

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

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

АЛГОЛ 60

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

Следующие 700 языков программирования

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

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

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

Lambda Papers

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

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

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

Онлайн-курс

Понимание монад

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

К теории структуры типов

Описание: В этой статье представлена ​​система 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 о 10-м ежегодном симпозиуме 1969 года по теории коммутации и автоматов. стр. 74–81.
Содержит первое представление стохастических контекстно-свободных грамматик.
Первое опубликованное описание вычислительной морфологии с использованием преобразователей конечного состояния. (Каплан и Кей ранее работали в этой области и представили это на конференции; лингвист Джонсон отметил возможность в 1972 году, но не представил никакой реализации.)
Обзор скрытых марковских моделей, ориентированных на распознавание речи и других полей НЛП, описывающих Витерби и алгоритмы вперед-назад.
  • Брилл, Эрик (1995). «Основанное на преобразовании обучение на основе ошибок и обработка естественного языка: пример использования тегов части речи». Компьютерная лингвистика. 21(4): 543–566.
Описывает теперь широко используемый POS tagger на основе.
  • ; (1999), Основы статистической обработки естественного языка, MIT Press
Учебник по статистическим и вероятностным методам в НЛП.
Этот обзор документирует относительно менее изученную важность ленивых функциональных языков программирования (например, Haskell ) для создания процессоров естественного языка и для адаптации многих лингвистических теорий.

Программная инженерия

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

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

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

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

Перейти к заявлению, признанному вредным

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

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

Описание: Важность модульности и сокрытия информации. Обратите внимание, что скрытие информации было впервые представлено в другой статье того же автора - «Аспекты распространения информации в методологии проектирования», Proceedings of IFIP Congress '71, 1971, Booklet TA-3, pp. 26–30

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

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

Поведенческое понятие подтипов

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

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

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

Структурированный дизайн

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

Старая одежда императора

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

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

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

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

Собор и базар

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

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

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

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

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

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

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

Анонимность и конфиденциальность

Криптография

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

Пароли

Безопасность системы

Полезная безопасность

Теоретическая информатика

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

См. Также

Ссылки

Внешние ссылки

Academic Search Engines

Последняя правка сделана 2021-05-28 09:43:10
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте