Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Установить
Более быстрый доступ, чем браузер!
 

Лэмпорт, Лесли

Индекс Лэмпорт, Лесли

Лесли Лэмпорт (Leslie Lamport; 7 февраля 1941 года, Нью-Йорк) — американский учёный в области информатики, первый лауреат премии Дейкстры.

29 отношения: Compaq, Digital Equipment Corporation, LaTeX, Microsoft, Microsoft Research, TeX, Кильский университет, Премия Тьюринга, Премия Эмануэля Пиора, Премия Дейкстры, Параллельные вычисления, Последовательная консистентность, Подпись Лэмпорта, Алгоритм Паксос, Нью-Йорк, Распределённая система, Темпоральная логика, Университет Ренн I, Университет Лугано, Федеральная политехническая школа Лозанны, Часы Лэмпорта, Массачусетский технологический институт, Медаль Джона фон Неймана, Институт инженеров электротехники и электроники, Задача византийских генералов, Брандейский университет, Бронкс, Доктор философии, Логические часы.

Compaq

Compaq Computer Corporation — американская компания по производству персональных компьютеров.

Новый!!: Лэмпорт, Лесли и Compaq · Узнать больше »

Digital Equipment Corporation

Digital Equipment Corporation (DEC) — американская компьютерная компания, была основана в 1957 году Кеном Олсеном и. DEC PDP-11/40 Начальный капитал компании составлял $100 тыс., причём 70 % принадлежало компании.

Новый!!: Лэмпорт, Лесли и Digital Equipment Corporation · Узнать больше »

LaTeX

LaTeX (произносится как ла́тех) — наиболее популярный набор макрорасширений (или макропакет) системы компьютерной вёрстки TeX, который облегчает набор сложных документов.

Новый!!: Лэмпорт, Лесли и LaTeX · Узнать больше »

Microsoft

Microsoft (Microsoft Corporation, «Ма́йкрософт») — одна из крупнейших транснациональных компаний по производству проприетарного программного обеспечения для различного рода вычислительной техники — персональных компьютеров, игровых приставок, КПК, мобильных телефонов и прочего, разработчик наиболее широко распространённой на данный момент в мире программной платформы — семейства операционных систем Windows.

Новый!!: Лэмпорт, Лесли и Microsoft · Узнать больше »

Microsoft Research

Microsoft Research (MSR) — подразделение корпорации Microsoft, созданное в 1991 году для исследования различных вопросов и тем в области информатики.

Новый!!: Лэмпорт, Лесли и Microsoft Research · Узнать больше »

TeX

TeX — система компьютерной вёрстки, разработанная американским профессором информатики Дональдом Кнутом в целях создания компьютерной типографии.

Новый!!: Лэмпорт, Лесли и TeX · Узнать больше »

Кильский университет

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

Новый!!: Лэмпорт, Лесли и Кильский университет · Узнать больше »

Премия Тьюринга

Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.

Новый!!: Лэмпорт, Лесли и Премия Тьюринга · Узнать больше »

Премия Эмануэля Пиора

Премия Эмануэля Пиора (IEEE Emanuel R. Piore Award) — награда, которая вручалась Институтом инженеров электротехники и электроники (IEEE).

Новый!!: Лэмпорт, Лесли и Премия Эмануэля Пиора · Узнать больше »

Премия Дейкстры

Премия Дейкстры (Edsger W. Dijkstra Prize in Distributed Computing) — премия имени Эдсгера В. Дейкстры в области распределённых вычислений, вручаемая за выдающиеся работы, значимость и влияние которых были заметны на протяжении не менее десяти лет.

Новый!!: Лэмпорт, Лесли и Премия Дейкстры · Узнать больше »

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

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

Новый!!: Лэмпорт, Лесли и Параллельные вычисления · Узнать больше »

Последовательная консистентность

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

Новый!!: Лэмпорт, Лесли и Последовательная консистентность · Узнать больше »

Подпись Лэмпорта

Подпись Лэмпорта (Lamport signature) — это криптосистема цифровой подписи с открытым ключом.

Новый!!: Лэмпорт, Лесли и Подпись Лэмпорта · Узнать больше »

Алгоритм Паксос

Паксос (Paxos) — семейство протоколов для решения задачи консенсуса в сети ненадёжных вычислителей.

Новый!!: Лэмпорт, Лесли и Алгоритм Паксос · Узнать больше »

Нью-Йорк

Нью-Йо́рк (New York City, МФА:, или) — крупнейший город США, входящий в одну из крупнейших агломераций мира.

Новый!!: Лэмпорт, Лесли и Нью-Йорк · Узнать больше »

Распределённая система

Распределённая система — система, для которой отношения местоположений элементов (или групп элементов) играют существенную роль с точки зрения функционирования системы, а, следовательно, и с точки зрения анализа и синтеза системы.

Новый!!: Лэмпорт, Лесли и Распределённая система · Узнать больше »

Темпоральная логика

Темпоральная логика (temporal logic) — это логика, в высказываниях которой учитывается временной аспект.

Новый!!: Лэмпорт, Лесли и Темпоральная логика · Узнать больше »

Университет Ренн I

Университет Ренн I (Université de Rennes 1) — французский университет, расположенный в городе Ренн, Франция.

Новый!!: Лэмпорт, Лесли и Университет Ренн I · Узнать больше »

Университет Лугано

Университет Лугано (Università della Svizzera italiana, USI, буквально Университет итальянской части Швейцарии) — университет, расположенный в Лугано, в итальянской части Швейцарии.

Новый!!: Лэмпорт, Лесли и Университет Лугано · Узнать больше »

Федеральная политехническая школа Лозанны

Федеральная политехническая школа Лозанны (École polytechnique fédérale de Lausanne) — высшее учебное заведение в Лозанне, Швейцария.

Новый!!: Лэмпорт, Лесли и Федеральная политехническая школа Лозанны · Узнать больше »

Часы Лэмпорта

Часы Лэмпорта — алгоритм определения порядка событий в распределённой системе (Логические часы), разработанный Лэсли Лэмпортом в 1978 году, является прообразом векторных часов.

Новый!!: Лэмпорт, Лесли и Часы Лэмпорта · Узнать больше »

Массачусетский технологический институт

Массачу́сетский технологи́ческий институ́т (МТИ, Massachusetts Institute of Technology, MIT) — университет и исследовательский центр, расположенный в Кембридже (пригороде Бостона), штат Массачусетс, США.

Новый!!: Лэмпорт, Лесли и Массачусетский технологический институт · Узнать больше »

Медаль Джона фон Неймана

Медаль Джона фон Неймана (IEEE John von Neumann Medal) — награда в области информационных технологий, учреждённая советом директоров IEEE в 1990 году.

Новый!!: Лэмпорт, Лесли и Медаль Джона фон Неймана · Узнать больше »

Институт инженеров электротехники и электроники

Институт инженеров электротехники и электроники — IEEE (Institute of Electrical and Electronics Engineers) (I triple E — «Ай трипл и») — международная некоммерческая ассоциация специалистов в области техники, мировой лидер в области разработки стандартов по радиоэлектронике, электротехнике и аппаратному обеспечению вычислительных систем и сетей.

Новый!!: Лэмпорт, Лесли и Институт инженеров электротехники и электроники · Узнать больше »

Задача византийских генералов

Задача византийских генералов (Byzantine fault tolerance (BFT), Byzantine agreement problem, Byzantine generals problem, Byzantine failure) — в криптологии задача взаимодействия нескольких удаленных абонентов, которые получили приказы из одного центра.

Новый!!: Лэмпорт, Лесли и Задача византийских генералов · Узнать больше »

Брандейский университет

Брандейский университет, или Университет Брендайса  — частный американский исследовательский университет.

Новый!!: Лэмпорт, Лесли и Брандейский университет · Узнать больше »

Бронкс

Бронкс (The Bronx, Bronx) — одно из пяти боро Нью-Йорка, единственное, чья территория находится на континентальной части суши.

Новый!!: Лэмпорт, Лесли и Бронкс · Узнать больше »

Доктор философии

Оксфордского Университета в полном академическом облачении До́ктор филосо́фии (Philosophiæ Doctor, Ph.D., PhD, обычно произносится как пи-эйч-ди, в Оксфордском университете Doctor of Philosophy, D.Phil., DPhil, произносится как ди-фил) — учёная степень, присуждаемая в некоторых странах Запада, а также в Казахстане и Украине.

Новый!!: Лэмпорт, Лесли и Доктор философии · Узнать больше »

Логические часы

Логические часы — механизм определения хронологической и причинно-следственной связи событий в распределённых системах, не имеющих единых физических часов.

Новый!!: Лэмпорт, Лесли и Логические часы · Узнать больше »

Перенаправления здесь:

Лампорт, Лесли, Лесли Лампорт, Лесли Лэмпорт, Лэмпорт, Лэсли Лэмпорт.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »