Premiul Dijkstra
Premiul Edsger W. Dijkstra în calcul distribuit este premiul Edsger W. Dijkstra în calcul distribuit , acordat pentru munca remarcabilă, a cărei semnificație și impact au fost remarcate de cel puțin zece ani. Însoțit de o recompensă în numerar de 2.000 USD. [unu]
Fondatorii premiului sunt organizațiile ACM și EATCS ( Asociația Europeană Engleză de Informatică Teoretică ), sau mai degrabă comitetele simpozioanelor ACM Symposium on Principles of Distributed Computing ( PODC ) și EATCS International Symposium on Distributed Computing ( DISC ) ). Premiul Dijkstra este acordat anual din anul 2000, la rândul său, la conferințele organizatorilor. În primii trei ani, premiul a fost numit PODC Influential -Paper Award . [2]
Laureații
- 2000 - Leslie Lamport pentru lucrul la ceasurile logice
- 2001 - Michael John Fisher , Nancy Lynch , Michael S. Paterson pentru că au demonstrat imposibilitatea de a ajunge la un consens folosind transferul asincron de informații
- 2002 - Edsger Wiebe Dijkstra pentru munca care a introdus conceptul de autoreglare
- 2003 - Maurice Herlihy pentru munca privind solubilitatea problemei consensului în sistemele de memorie partajată
- 2004 - Robert Gallagher , Pierre Hamblet , Philip Spira pentru un algoritm de arbore de întindere minim distribuit
- 2005 - Mareșalul Pease , Robert Szostak , Leslie Lamport pentru munca lor la Acordul Bizantin
- 2006 - John Mello-Crummy , Michael L. Scott pentru Algoritmul de excludere reciprocă
- 2007 - Cynthia Dwork , Nancy Lynch , Larry Stockmeyer pentru munca lor privind rezolvarea problemei consensului în sistemele parțial sincrone
- 2008 - Baruch Averbukh , David Peleg pentru lucrări la pereții rare
- 2009 - Joseph Halpern , Yoram Moses pentru crearea unui cadru formal pentru analiza cunoștințelor în sistemele distribuite
- 2010 - Tushak Deepak Chandra , Sam Toeg pentru cercetarea detectoarelor de erori nesigure în sistemele asincrone
- 2011 - Hagit Attiya , Amotz Bar-Noy , Danny Dolev pentru conversia automată a algoritmilor de memorie partajată în două modele diferite de mesagerie
- 2012 - Maurice Herlihy , Eliot Moss , Nir Shavit , Dan Toytu pentru Software Transactional Memory
- 2013 - Naty Lineal pentru cercetarea localității în algoritmi distribuiți pe grafice
- 2014 - Kaniantra Money Chandy , Leslie Lamport pentru algoritmul Chandy-Lamport în domeniul calculului distribuit
- 2015 - Michael Ben-Or , Michael Osher Rabin pentru cercetări privind algoritmii probabilistici distribuiți toleranți la erori
- 2016 - Noga Alon , Laszlo Babai , Alon Itai, Michael Luby pentru algoritmul de găsire a celui mai mare set independent
- 2017 - Elizabeth Borowsky , Eli Gafni
Vezi și
- Lista de premii în informatică
Note
- ↑ Premiul Dijkstra / CSIN RU Arhivat 28 ianuarie 2008.
- ↑ Premiul Edsger W. Dijkstra în calcul distribuit . Consultat la 24 februarie 2009. Arhivat din original pe 9 octombrie 2011. (nedefinit)
Link -uri