|
Michel Raynal
Michel Raynal (born 1949) is a French informatics scientist, professor at IRISA, University of Rennes, France. He is known for his contributions in the fields of algorithms, computability, and fault-tolerance in the context of concurrent and distributed systems. Michel Raynal is also Distinguished Chair professor at the Hong Kong Polytechnic University and editor of the “Synthesis Lectures on Distributed Computing Theory” published by Morgan & Claypool. He is a senior member of Institut Universitaire de France and a member of Academia Europaea. Michel Raynal co-authored numerous research papers on concurrent and distributed computing, and has written 12 books. His last three books constitute an introduction to fault-free and fault-tolerant concurrent and distributed computing. In his publications Michel Raynal strives to promote simplicity as a “first-class citizen” in the scientific approach. Michel Raynal (and his co-authors) won several best paper awards in prestigious ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institut De Recherche En Informatique Et Systèmes Aléatoires
The is a joint computer science research center of CNRS, University of Rennes 1, ENS Rennes, INSA Rennes and Inria, in Rennes in Brittany. It is one of the eight Inria research centers. Created in 1975 as a spin-off of the University of Rennes 1, merging the young computer science department and a few mathematicians, more specifically probabilists, among them Michel Métivier, who was to become the first president of IRISA. Research topics span from theoretical computer science, such as formal languages, formal methods, or more mathematically oriented topics such as information theory, optimization, complex system... to application-driven topics like bioinformatics, image and video compression, handwriting recognition, computer graphics, medical imaging, content-based image retrieval. See also French space program Space program of France Aerospace engineering organizations Computer science institutes in France France France (), officially th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
INRIA
The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics. It was created under the name ''Institut de recherche en informatique et en automatique'' (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces), which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled ''Inria''. Inria is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry. Administrative status Inria has 9 research centers distributed across France (in Bordeaux, Grenoble- Inovallée, Lille, Lyon, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and one center ab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributed Algorithm
A distributed algorithm is an algorithm designed to run on computer hardware constructed from interconnected processors. Distributed algorithms are used in different application areas of distributed computing, such as telecommunications, scientific computing, distributed information processing, and real-time process control. Standard problems solved by distributed algorithms include leader election, consensus, distributed search, spanning tree generation, mutual exclusion, and resource allocation. Distributed algorithms are a sub-type of parallel algorithm, typically executed concurrently, with separate parts of the algorithm being run simultaneously on independent processors, and having limited information about what the other parts of the algorithm are doing. One of the major challenges in developing and implementing distributed algorithms is successfully coordinating the behavior of the independent parts of the algorithm in the face of processor failures and unreliable communic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ENST Bretagne
ENST may refer to: *the former École nationale supérieure des telecommunications, nowadays Télécom Paris Télécom Paris (also known as ENST or Télécom or École nationale supérieure des télécommunications, also Télécom ParisTech until 2019) is a French public institution for higher education (''grande école'') and engineering research. Loca ... *the former École nationale supérieure des télécommunications de Bretagne à Brest, nowadays Télécom Bretagne *the École nationale supérieure de technologie in Algiers *the École Nationale des Services du Trésor in Paris * Sandnessjøen Airport, ICAO ENST, a regional airport in Norway {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Rennes 1
The University of Rennes 1 is a public university located in the city of Rennes, France. It is under the Academy of Rennes. It specializes in science, technology, law, economics, management and philosophy. There are currently about students enrolled, with about members of teaching staff and other staff members employed by the university. In 2023, the University of Rennes 1 will merge with four schools in the "UNIR" project, in order to create a new University of Rennes. History Creation of the University of Brittany Asked by Francis II, Duke of Brittany, the Pope created the first university of Brittany in Nantes in 1460. It taught arts, medicine, law, and theology. In 1728, the mayor of Nantes, Gérard Mellier, asked that the university be moved to Rennes, which was more trade orientated already had the Parliament of Brittany. The law school was moved the Rennes in 1730. In 1793 the French Revolution closed all universities and it was not before 1806 that the Law school ... [...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 some ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Distributed Computing
A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer science that studies distributed systems. The components of a distributed system interact with one another in order to achieve a common goal. Three significant challenges of distributed systems are: maintaining concurrency of components, overcoming the lack of a global clock, and managing the independent failure of components. When a component of one system fails, the entire system does not fail. Examples of distributed systems vary from SOA-based systems to massively multiplayer online games to peer-to-peer applications. A computer program that runs within a distributed system is called a distributed program, and ''distributed programming'' is the process of writing such programs. There are many different types of implementations for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rachid Guerraoui
Rachid Guerraoui (born January 5, 1967) is a Moroccan-Swiss computer scientist and a professor at the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL), known for his contributions in the fields of concurrent and distributed computing. He is an ACM Fellow and the Chair in Informatics and Computational Science for the year 2018–2019 at Collège de France for distributed computing. Education and career Rachid was born on January 5, 1967, in Rabat, Morocco. His father, Mohammed Guerraoui, is a teacher of mathematics and former ''wali'' (governor) of Marrakesh. His mother, Fatima Rahmoun-Guerraoui, is a teacher of French. After getting his baccalaureate in 1984, he left Morocco for France. Guerraoui received his PhD from the University of Orsay (1992) and has been affiliated with Ecole des Mines of Paris, the Commissariat à l'Energie Atomique of Saclay, Hewlett Packard Laboratories and the Massachusetts Institute of Technolo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collège De France
The Collège de France (), formerly known as the ''Collège Royal'' or as the ''Collège impérial'' founded in 1530 by François I, is a higher education and research establishment ('' grand établissement'') in France. It is located in Paris near La Sorbonne. The Collège de France is considered to be France's most prestigious research establishment. Research and teaching are closely linked at the Collège de France, whose ambition is to teach "the knowledge that is being built up in all fields of literature, science and the arts". It offers high-level courses that are free, non-degree-granting and open to all without condition or registration. This gives it a special place in the French intellectual landscape. Overview The Collège is considered to be France's most prestigious research establishment. As of 2021, 21 Nobel Prize winners and 9 Fields Medalists have been affiliated with the Collège. It does not grant degrees. Each professor is required to give lectures where ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yoram Moses
Yoram Moses ( he, יוֹרָם מוֹזֶס) is a Professor in the Electrical Engineering Department at the Technion - Israel Institute of Technology. Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986. Moses is a co-author of the book ''Reasoning About Knowledge'', and is a winner of the 1997 Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interes ... in theoretical computer science and the 2009 Dijkstra Prize in Distributed Computing. His major research interests are distributed systems and reasoning about knowledge. He is married to the computer scientist Yael Moses. External linksYoram Moses's homepage Electrical engineering academics Gödel Prize laureate ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maurice Herlihy
Maurice Peter Herlihy (born 4 January 1954) is a computer scientist active in the field of multiprocessor synchronization. Herlihy has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as hardware and software transactional memory. He is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1994. Herlihy was elected a member of the National Academy of Engineering in 2013 for concurrent computing techniques for linearizability, non-blocking data structures, and transactional memory. Recognition * 2003 Dijkstra Prize * 2004 Gödel prize * 2005 Fellow of the Association for Computing Machinery * 2012 Dijkstra Prize * 2013 W. Wallace McDowell Award * 2013 National Academy of Engineering The National Academy of Engineering (NAE) is an American nonprofit, non-governmental organizati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dijkstra Prize
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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
