|
Nancy Lynch
Nancy Ann Lynch (born January 19, 1948) is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory. Education and early life Lynch was born in Brooklyn, and her academic training was in mathematics. She attended Brooklyn College and MIT, where she received her Ph.D. in 1972 under the supervision of Albert R. Meyer. Work She served on the math and computer science faculty at several other universities, including Tufts University, the University of Southern California, Florida International University, and the Georgia Institute of Technology (Georgia Tech), prior to joining the MIT faculty in 1982. Since then, she has been working on applying mathematics to the tasks of understanding and constructing complex distributed systems. Her 1985 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Brooklyn
Brooklyn () is a borough of New York City, coextensive with Kings County, in the U.S. state of New York. Kings County is the most populous county in the State of New York, and the second-most densely populated county in the United States, behind New York County (Manhattan). Brooklyn is also New York City's most populous borough,2010 Gazetteer for New York State . Retrieved September 18, 2016. with 2,736,074 residents in 2020. Named after the Dutch village of Breukelen, Brooklyn is located on the w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knuth Prize
The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after the American computer scientist Donald E. Knuth. History The Knuth Prize has been awarded since 1996 and includes an award of US$5,000. The prize is awarded by ACM SIGACT and by IEEE Computer Society's Technical Committee on the Mathematical Foundations of Computing. Prizes are awarded in alternating years at the ACM Symposium on Theory of Computing and at the IEEE Symposium on Foundations of Computer Science, which are among the most prestigious conferences in theoretical computer science. The recipient of the Knuth Prize delivers a lecture at the conference. For instance, David S. Johnson "used his Knuth Prize lecture to push for practical applications for algorithms." In contrast with the Gödel Prize, which recognizes outstanding papers, the Knuth Prize is awarded to individuals for their overall impact in the field. Winners Since the prize was instituted in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symposium On Principles Of Distributed Computing
The Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Scope and related conferences Work presented at PODC typically studies theoretical aspects of distributed computing, such as the design and analysis of distributed algorithms. The scope of PODC is similar to the scope of International Symposium on Distributed Computing (DISC), with the main difference being geographical: DISC is usually organized in European locations,DISC in . while PODC has been traditionally held in North America. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dijkstra Paper Prize
Dijkstra ( or ) is a Dutch family name of West Frisian origin. It most commonly refers to: * Edsger W. Dijkstra (1930–2002), Dutch computer scientist ** Named after him: Dijkstra's algorithm, Dijkstra Prize, Dijkstra–Scholten algorithm Dijkstra may also refer to: People * Bram Dijkstra (born 1938), American professor of English literature and cultural historian * Jan Dijkstra (1910–1993), Dutch mayor * (1896–1978), Dutch painter, illustrator and stained glass artist * Lenie Dijkstra (born 1967), Dutch racing cyclist * Lou Dijkstra (1909-1964), Dutch speed skater, father of Sjoukje Dijkstra * Margaret Dijkstra, pseudonym of Eva Gerlach (born 1948), Dutch poet * Marjolein Dijkstra (born 1967), Dutch physicist * Mart Dijkstra (born 1990), Dutch footballer * Meindert Dijkstra (born 1967), Dutch footballer * Peter Dijkstra (born 1978), Dutch choir conductor * Pia Dijkstra (born 1954), Dutch politician and television presenter * Remco Dijkstra (born 1972), Dutch politici ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Morgan Kaufmann Publishers
Morgan Kaufmann Publishers is a Burlington, Massachusetts (San Francisco, California until 2008) based publisher specializing in computer science and engineering content. Since 1984, Morgan Kaufmann has published content on information technology, computer architecture, data management, computer networking, computer systems, human computer interaction, computer graphics, multimedia information and systems, artificial intelligence, computer security, and software engineering. Morgan Kaufmann's audience includes the research and development communities, information technology (IS/IT) managers, and students in professional degree programs. The company was founded in 1984 by publishers Michael B. Morgan and William Kaufmann and computer scientist Nils Nilsson. It was held privately until 1998, when it was acquired by Harcourt General and became an imprint of the Academic Press, a subsidiary of Harcourt. Harcourt was acquired by Reed Elsevier in 2001; Morgan Kaufmann is now an imprin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Input/output Automaton
Input/output automata provide a formal model, applicable in describing most types of an asynchronous concurrent system. On its own, the I/O automaton model contains a very basic structure that enables it to model various types of distributed systems. To describe specific types of asynchronous systems, additional structure must be added to this basic model. The model presents an explicit method for describing and reasoning about system components such as processes and message channels that interact with one another, operating at arbitrary relative speeds. The I/O automata were first introduced by Nancy A. Lynch and Mark R. Tuttle in "Hierarchical correctness proofs for distributed algorithms", 1987. "An I/O automaton models a ''distributed system'' component that can interact with other system components. It is a simple type of state machine in which the transitions are associated with named ''actions''." There are three types of actions: ''input'', ''output'', and ''internal'' acti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jennifer Welch
Jennifer or Jenifer may refer to: People *Jennifer (given name) * Jenifer (singer), French pop singer * Jennifer Warnes, American singer who formerly used the stage name Jennifer * Daniel of St. Thomas Jenifer * Daniel Jenifer Film and television * ''Jennifer'' (1953 film), a film starring Ida Lupino * ''Jennifer'' (1978 film), a horror film by Brice Mack * ''Jennifer'', a 1998 Ghanaian film starring Brew Riverson Jnr * "Jenifer" (''Masters of Horror''), an episode of ''Masters of Horror'' Music * The Jennifers, a British band, some of whose members later formed Supergrass * ''Jenifer'' (album), an album by French singer Jenifer * ''Jennifer'' (album), a 1972 album by Jennifer Warnes * "Jennifer", a 1974 song by Faust from ''Faust IV'' * "Jennifer", a 1983 song by Eurythmics from ''Sweet Dreams (Are Made of This)'' (album) * "Jennifer", a 2001 song by M2M from ''The Big Room'' Other uses * Hurricane Jennifer * Project Jennifer, a CIA attempt to recover a Soviet su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PODC Influential-Paper Award
The Edsger W. Dijkstra Paper Prize in Distributed Computing is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. The paper prize has been presented annually since 2000. Originally the paper prize was presented at the ACM Symposium on Principles of Distributed Computing (PODC), and it was known as the PODC Influential-Paper Award. It was renamed in honor of Edsger W. Dijkstra in 2003, after he received the award for his work in self-stabilization in 2002 and died shortly thereafter. Since 2007,––– the paper prize is sponsored jointly by PODC and the EATCS International Symposium on Distributed Computing (DISC), and the presentation takes place alternately at PODC (even years) and DISC (odd years). The paper prize includes an award of $2000. Winners Funding The award is financed by ACM PODC and EATCS DISC, each providing an eq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Consensus (computer Science)
A fundamental problem in distributed computing and multi-agent systems is to achieve overall system reliability in the presence of a number of faulty processes. This often requires coordinating processes to reach consensus, or agree on some data value that is needed during computation. Example applications of consensus include agreeing on what transactions to commit to a database in which order, state machine replication, and atomic broadcasts. Real-world applications often requiring consensus include cloud computing, clock synchronization, PageRank, opinion formation, smart power grids, state estimation, control of UAVs (and multiple robots/agents in general), load balancing, blockchain, and others. Problem description The consensus problem requires agreement among a number of processes (or agents) for a single data value. Some of the processes (agents) may fail or be unreliable in other ways, so consensus protocols must be fault tolerant or resilient. The processes must someho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * ''Communications of the ACM ''Communications of the ACM'' is the monthly journal of the Association for Computing Machinery (ACM). It was established in 1958, with Saul Rosen as its first managing editor. It is sent to all ACM members. Articles are intended for readers with ...'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mike Paterson
Michael Stewart Paterson, is a British computer scientist, who was the director of the Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick until 2007, and chair of the department of computer science in 2005. He received his Doctor of Philosophy (Ph.D.) from the University of Cambridge in 1967, under the supervision of David Park. He spent three years at Massachusetts Institute of Technology (MIT) and moved to University of Warwick in 1971, where he remains Professor Emeritus. Paterson is an expert on theoretical computer science with more than 100 publications, especially the design and analysis of algorithms and computational complexity. Paterson's distinguished career was recognised with the EATCS Award in 2006, and a workshop in honour of his 66th birthday in 2008, including contributions of several Turing Award and Gödel Prize laureates. A further workshop was held in 2017 in honour of his 75th birthday, co-located with the workshop f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
