Премия Дейкстры
Из Википедии, бесплатной энциклопедии
  (Перенаправлено с премии PODC Influential-Paper Award )
Перейти к навигации Перейти к поиску

Премия Эдсгера В. Дейкстры в области распределенных вычислений присуждается за выдающиеся работы по принципам распределенных вычислений , значение и влияние которых на теорию и / или практику распределенных вычислений было очевидным уже не менее десяти лет. Бумажная премия вручается ежегодно с 2000 года.

Первоначально бумажная премия была вручена на симпозиуме ACM по принципам распределенных вычислений (PODC) и была известна как PODC Influential-Paper Award . Он был переименован в честь Эдсгера В. Дейкстры в 2003 году, после того как он получил награду за свою работу по самостабилизации в 2002 году и вскоре умер.

С 2007 года [1] премия за публикацию статей спонсируется совместно PODC и Международным симпозиумом EATCS по распределенным вычислениям (DISC), и презентация проходит попеременно на PODC (четные годы) и DISC (нечетные годы). Бумажный приз включает награду в размере 2000 долларов США.

Победители

ГодБумагаТема
2000 [2]Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации ACM . 21 (7): 558–565. DOI : 10.1145 / 359545.359563 .логические часы
2001 [3]Фишер, MJ ; Линч, штат Северная Каролина ; Патерсон, М.С. (1985). «Невозможность распределенного консенсуса с одним ошибочным процессом» (PDF) . Журнал ACM . 32 (2): 374–382. DOI : 10.1145 / 3149.214121 . Архивировано из оригинального (PDF) 05.07.2007.Доказательство невозможности консенсуса с помощью асинхронной коммуникации
2002 [4]Дейкстра, EW (ноябрь 1974 г.). «Самостабилизирующиеся системы, несмотря на распределенное управление». Коммуникации ACM . 17 (11): 643–644. DOI : 10.1145 / 361179.361202 .Самостабилизация
2003 [5]Херлихи, М. (1991). «Синхронизация без ожидания». Транзакции ACM по языкам и системам программирования . 13 (1): 124–149. CiteSeerX  10.1.1.56.5659 . DOI : 10.1145 / 114005.102808 . Морис ХерлихиРазрешимость и универсальность консенсуса в системах с общей памятью
2004 [6]Галлагер, Р.Г .; Хамблет, Пенсильвания; Спира, PM (1983). «Распределенный алгоритм для минимально-весовых остовных деревьев». Транзакции ACM по языкам и системам программирования . 5 (1): 66–77. DOI : 10.1145 / 357195.357200 .Распределенный алгоритм поиска минимального остовного дерева
2005 [7]Пиз, М .; Шостак, Р .; Лэмпорт, Л. (апрель 1980 г.). «Достижение соглашения при наличии недостатков». Журнал ACM . 27 (2): 228–234. CiteSeerX  10.1.1.68.4044 . DOI : 10.1145 / 322186.322188 .Византийское соглашение
2006 [8]Меллор-Крамми, JM; Скотт, ML (1991). «Алгоритмы масштабируемой синхронизации на мультипроцессорах с общей памятью». ACM-транзакции в компьютерных системах . 9 (1): 21–65. CiteSeerX  10.1.1.228.3461 . DOI : 10.1145 / 103727.103729 ."вероятно, самый влиятельный практический алгоритм взаимного исключения всех времен"
2007 [9]Дворк, К .; Линч, Н .; Стокмейер, Л. (1988). «Консенсус при частичной синхронности». Журнал ACM . 35 (2): 288–323. CiteSeerX  10.1.1.13.3423 . DOI : 10.1145 / 42282.42283 .Решение консенсуса в частично синхронных системах
2008 [10]Awerbuch, B .; Пелег, Д. (1990). «Редкие перегородки». Труды [1990] 31-й ежегодный симпозиум по основам информатики . С. 503–513. DOI : 10.1109 / FSCS.1990.89571 . ISBN 978-0-8186-2082-9.Редкие перегородки
2009 [11]Халперн, JY ; Моисей, Ю. (1990). «Знания и общие знания в распределенной среде». Журнал ACM . 37 (3): 549–587. arXiv : cs / 0006009 . DOI : 10.1145 / 79147.79161 .Формальная основа для рассуждений о знаниях в распределенных системах
2010 [12]Чандра, Т. Д.; Туег, С. (1996). «Детекторы ненадежных отказов для надежных распределенных систем». Журнал ACM . 43 (2): 225–267. CiteSeerX  10.1.1.113.498 . DOI : 10.1145 / 226643.226647 . hdl : 1813/7192 .
Чандра, Т. Д.; Hadzilacos, V .; Туег, С. (1996). «Самый слабый детектор неудач для достижения консенсуса». Журнал ACM . 43 (4): 685–722. CiteSeerX  10.1.1.55.8585 . DOI : 10.1145 / 234533.234549 . ЛВП : 1813/6208 .		Детекторы отказов
2011 [13]Аттия, Х .; Бар-Ной, А .; Долев, Д. (1995). «Совместное использование памяти в системах передачи сообщений». Журнал ACM . 42 (1): 124–142. DOI : 10.1145 / 200836.200869 .Моделирование разделяемой памяти в подверженных сбоям системах передачи сообщений
2012 [14]Херлихи, М .; Мосс, JEB (1993). «Транзакционная память». Новости компьютерной архитектуры ACM SIGARCH . 21 (2): 289–300. DOI : 10.1145 / 173682.165164 .
Шавит, Н .; Тоуиту, Д. (1997). «Программная транзакционная память». Распределенные вычисления . 10 (2): 99–116. CiteSeerX  10.1.1.468.7173 . DOI : 10.1007 / s004460050028 .		Транзакционная память
2013 [15]Линиал, Н. (1992). «Локальность в алгоритмах распределенных графов». SIAM Journal on Computing . 21 : 193–201. CiteSeerX  10.1.1.711.689 . DOI : 10.1137 / 0221015 .Локальность в алгоритмах распределенного графа
2014 [16]Чанди, км ; Лэмпорт, Л. (1985). «Распределенные снимки: определение глобального состояния распределенных систем». ACM-транзакции в компьютерных системах . 3 : 63–75. CiteSeerX  10.1.1.69.2561 . DOI : 10.1145 / 214451.214456 .Алгоритм Чанди-Лампорт получить непротиворечивую картину глобального состояния системы
2015 [17]Бен-Ор, М. (1983). «Еще одно преимущество свободного выбора: полностью асинхронные протоколы соглашения». Материалы второго ежегодного симпозиума ACM по принципам распределенных вычислений - PODC '83 . С. 27–30. DOI : 10.1145 / 800221.806707 . ISBN 978-0897911108.
Рабин, МО (1983). «Рандомизированные византийские генералы». 24-й ежегодный симпозиум по основам информатики (FOCS 1983) . С. 403–409. DOI : 10.1109 / SFCS.1983.48 . ISBN 978-0-8186-0508-6.		Отказоустойчивые рандомизированные распределенные алгоритмы
2016 [18]Алон, Нога ; Бабай, Ласло ; Итаи, Алон (1986). «Быстрый и простой рандомизированный параллельный алгоритм для задачи максимального независимого множества». Журнал алгоритмов . 7 (4): 567. DOI : 10.1016 / 0196-6774 (86) 90019-2 .
Луби, Майкл (1986). «Простой параллельный алгоритм для задачи о максимальном независимом множестве». SIAM Journal on Computing . 15 (4): 1036–1053. CiteSeerX  10.1.1.225.5475 . DOI : 10.1137 / 0215074 .		Алгоритмы поиска максимального независимого множества
2017 [19]Боровски, Элизабет ; Гафни, Эли (1993). «Обобщенный результат невозможности FLP для t-устойчивых асинхронных вычислений». P 25-й ежегодный симпозиум ACM по теории вычислений . ACM. С. 91–100.Алгоритм моделирования BG, который позволяет набору процессов скоординированно моделировать более широкий набор процессов.
2018 [20]Альперн, Боуэн ; Шнайдер, Фред Б. (1985). «Определяя живость». Письма об обработке информации . 21 (4): 181–185.Формальное определение свойства живучести.
2019 [21] [22]Панконези, А .; Сринивасан, А. (1997). «Рандомизированная распределенная раскраска краев с помощью расширения границ Чернова-Хёффдинга». SIAM Journal on Computing . 26 (2): 350–368. DOI : 10.1137 / S0097539793250767 . hdl : 1813/6127 .Распределенная окраска краев
2020 [23]Angluin, D .; Aspnes, J .; Diamadi, Z .; Фишер, MJ ; Перальта, Р. (2006). «Вычисления в сетях пассивно мобильных конечных датчиков». Распределенные вычисления . 18 (4): 235–253. DOI : 10.1007 / s00446-005-0138-3 .

Финансирование

Премия финансируется ACM PODC и EATCS DISC, каждая из которых предоставляет равную долю в размере 1000 долларов США по отношению к 2000 долларам премии.

  • Доля PODC финансируется за счет пожертвований ACM, основанных на подарках от Специальной группы по интересам ACM по алгоритмам и теории вычислений (SIGACT), Специальной группы по интересам ACM по операционным системам (SIGOPS), корпорации AT&T, Hewlett-Packard Company, International Business Machines (IBM) Corporation, Intel Corporation и Sun Microsystems, Inc.
  • Доля DISC финансируется за счет пожертвований EATCS, которые основаны на взносах из бюджетов DISC за несколько лет и подарках от Microsoft Research , Университета Рей Хуана Карлоса и Министерства науки и инноваций Испании.

Смотрите также

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

использованная литература

  1. ^ Хендлер, Данни (25 января 2005). «Премия Эдсгера В. Дейкстры в области распределенных вычислений: предварительный прием заявок на участие в работе» . Архивировано из оригинала на 2010-06-24.
    -«Объявление о номинациях: премия Эдсжера В. Дейкстры 2006 года в области распределенных вычислений - PODC Influential Paper Award». 25-й ежегодный симпозиум ACM SIGACT-SIGOPS по принципам распределенных вычислений (PODC 2006) 23–26 июля 2006 г., Денвер, Колорадо, США.
    - Анджей Пельц (ред.). Распределенные вычисления . 21-й Международный симпозиум, DISC 2007, Лемесос, Кипр, 24-26 сентября 2007 г. doi : 10.1007 / 978-3-540-75142-7 .
    - «Премия Дейкстры 2007» . www2.cs.ucy.ac.cy .
  2. ^ "2000 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 10 сентября 2020 г.
  3. ^ "2001 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 10 сентября 2020 г.
  4. ^ "2002 PODC Influential Paper Award" , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  5. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2003» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  6. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2004» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  7. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений: 2005» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  8. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений: 2006» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  9. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений: 2007» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  10. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений: 2008» , Симпозиум ACM по принципам распределенных вычислений , получено 24 августа 2009 г.
  11. ^ "2009 Edsger W. Dijkstra Prize в области распределенных вычислений" , Симпозиум ACM по принципам распределенных вычислений , получено 2019-09-30
  12. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2010 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  13. ^ "2011 Edsger W. Dijkstra Prize в области распределенных вычислений" , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  14. ^ "Премия Эдсжера В. Дейкстры 2012 в области распределенных вычислений" , Симпозиум ACM по принципам распределенных вычислений , получено 2019-09-30
  15. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2013 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  16. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2014 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 19 сентября 2020 г.
  17. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2015 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 19 сентября 2020 г.
  18. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений 2016 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  19. ^ «Премия Эдсжера В. Дейкстры в области распределенных вычислений , 2017 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  20. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2018 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 30 сентября 2019 г.
  21. ^ «Премия Эдсгера В. Дейкстры в области распределенных вычислений 2019 г.» , Симпозиум ACM по принципам распределенных вычислений , получено 9 сентября 2019 г.
  22. ^ "Проф. Алессандро Панконези выиграл премию Эдсгера В. Дейкстры в области распределенных вычислений" . Журнал компьютерных и системных наук . Elsevier BV
  23. ^ "Премия Эдсжера В. Дейкстры 2020 в области распределенных вычислений" , Симпозиум ACM по принципам распределенных вычислений , получено 9 сентября 2019 г.

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

  • Веб-сайт EATCS : Награды: Премия Дейкстры .
  • Веб-сайт PODC : Премия Эдсжера В. Дейкстры в области распределенных вычислений .
  • Веб-сайт DISC : Премия Эдсгера В. Дейкстры в области распределенных вычислений .
  • Алгоритмы зала славы: Рутгер Дейкстра получает портрет своего отца Эдсгера Дейкстры .
  • Электронные книги MPG о Дейкстре .


Источник « https://en.wikipedia.org/w/index.php?title=Dijkstra_Prize&oldid=1003956260 »
Contribute a better translation