'Nobel Prize in Computing' goes to distributed computing wrangler Leslie Lamport
में बचाया:
| में प्रकाशित: | Network World (Online) (Mar 18, 2014), p. n/a |
|---|---|
| मुख्य लेखक: | |
| प्रकाशित: |
Foundry
|
| ऑनलाइन पहुंच: | Citation/Abstract Full Text |
| टैग: |
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 1509433765 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 1944-7655 | ||
| 035 | |a 1509433765 | ||
| 045 | 0 | |b d20140318 | |
| 084 | |a 83199 |2 nlm | ||
| 100 | 1 | |a Brown, Bob | |
| 245 | 1 | |a 'Nobel Prize in Computing' goes to distributed computing wrangler Leslie Lamport | |
| 260 | |b Foundry |c Mar 18, 2014 | ||
| 513 | |a News | ||
| 520 | 3 | |a ACM President Vint Cerf, in a statement, noted that "as an applied mathematician, [Leslie Lamport] had an extraordinary sense of how to apply mathematical tools to important practical problems. By finding useful ways to write specifications and prove correctness of realistic algorithms, assuring a strong foundation for complex computing operations, he helped to move verification from an academic discipline to a practical tool." Specifically, Lamport's claims to fame include the notion of Byzantine failure, temporal logic language (TLA+) and LaTex, a document preparation system used in computer science and other fields. Lamport's 1978 paper "Time, Clocks, and the Ordering of Events in a Distributed System" - is one of computer science's most highly cited. | |
| 773 | 0 | |t Network World (Online) |g (Mar 18, 2014), p. n/a | |
| 786 | 0 | |d ProQuest |t Advanced Technologies & Aerospace Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/1509433765/abstract/embedded/H09TXR3UUZB2ISDL?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text |u https://www.proquest.com/docview/1509433765/fulltext/embedded/H09TXR3UUZB2ISDL?source=fedsrch |