WorldCat Identities

Raynal, M. (Michel)

Overview
Works: 338 works in 588 publications in 3 languages and 5,102 library holdings
Genres: Conference proceedings 
Roles: Author, Editor, Thesis advisor, Other
Classifications: QA76.9.D5, 004.36
Publication Timeline
.
Most widely held works by M Raynal
Structural information and communication complexity 12th international colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings by Andrzej Pelc( )
15 editions published between 2005 and 2006 in English and held by 524 WorldCat member libraries worldwide
"SIROCCO 2005 was the twelfth in this series, held in Mont Saint-Michel, France, May 24 26, 2005."
Networks and distributed computation : concepts, tools, and algorithms by M Raynal( Book )
18 editions published between 1987 and 1988 in 3 languages and held by 456 WorldCat member libraries worldwide
Principles of distributed systems 13th international conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings by Tarek Abdelzaher( )
13 editions published between 2009 and 2010 in English and held by 415 WorldCat member libraries worldwide
Annotation
Concurrent programming algorithms, principles, and foundations by M Raynal( )
12 editions published between 2012 and 2013 in English and held by 403 WorldCat member libraries worldwide
The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book.In this book the author explains synchronization and the implementation of concurrent objects, presenting in a uniform and comprehensive way the major theoretical and practical results of the past 30 years. Among the key features of the book are a new look at lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); an introduction to the atomicity consistency criterion and its properties and a specific chapter on transactional memory; an introduction to mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; a presentation of Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; a description of numerous wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); a presentation of the computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects.The book is suitable for advanced undergraduate students and graduate students in computer science or computer engineering, graduate students in mathematics interested in the foundations of process synchronization, and practitioners and engineers who need to produce correct concurrent software. The reader should have a basic knowledge of algorithms and operating systems
Algorithms for mutual exclusion by M Raynal( Book )
15 editions published between 1985 and 1986 in English and Italian and held by 351 WorldCat member libraries worldwide
Distributed algorithms and protocols by M Raynal( Book )
14 editions published between 1985 and 1988 in English and French and held by 332 WorldCat member libraries worldwide
Distributed algorithms for message-passing systems by M Raynal( )
10 editions published in 2013 in English and held by 317 WorldCat member libraries worldwide
Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing is mainly concerned with 'mastering uncertainty' created by issues such as the multiplicity of control flows, asynchronous communication, unstable behaviors, mobility, and dynamicity. While some distributed algorithms consist of a few lines only, their behavior can be difficult to understand and their properties hard to state and prove. The aim of this book is to present in a comprehensive way the basic notions, concepts, and algorithms of distributed computing when the distributed entities cooperate by sending and receiving messages on top of an asynchronous network. The book is composed of seventeen chapters structured into six parts: distributed graph algorithms, in particular what makes them different from sequential or parallel algorithms; logical time and global states, the core of the book; mutual exclusion and resource allocation; high-level communication abstractions; distributed detection of properties; and distributed shared memory. The author establishes clear objectives per chapter and the content is supported throughout with illustrative examples, summaries, exercises, and annotated bibliographies. This book constitutes an introduction to distributed computing and is suitable for advanced undergraduate students or graduate students in computer science and computer engineering, graduate students in mathematics interested in distributed computing, and practitioners and engineers involved in the design and implementation of distributed applications. The reader should have a basic knowledge of algorithms and operating systems
Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings by Jean-Michel Hélary( Book )
9 editions published in 1995 in English and held by 293 WorldCat member libraries worldwide
"This book constitutes the proceedings of the 9th International Workshop on Distributed Algorithms, WDAG '95, held in Le Mont-Saint-Michel, France in September 1995. Besides four invited contributions, 18 full revised research papers are presented, selected from a total of 48 submissions during a careful refereeing process. The papers document the progress achieved in the area since the predecessor workshop (LNCS 857); they are organized in sections on asynchronous systems, networks, shared memory, Byzantine failures, self-stabilization, and detection of properties."--PUBLISHER'S WEBSITE
Networked systems : second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014. Revised selected papers by NETYS (Conference)( )
3 editions published in 2014 in English and held by 245 WorldCat member libraries worldwide
This book constitutes the revised selected papers of the Second International Conference on Networked Systems, NETYS 2014, held in Marrakech, Morocco, in May 2014. The 20 full papers and the 6 short papers presented together with 2 keynotes were carefully reviewed and selected from 80 submissions. They address major topics such as multi-core architectures; concurrent and distributed algorithms; middleware environments; storage clusters; social networks; peer-to-peer networks; sensor networks; wireless and mobile networks; as well as privacy and security measures to protect such networked systems and data from attack and abuse
Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings by J.-C Bermond( Book )
11 editions published in 1989 in English and Italian and held by 244 WorldCat member libraries worldwide
"This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first two successful international workshops in Ottawa (1985) and Amsterdam (1987). This workshop provided a forum for researchers and others interested in distributed algorithms on communication networks, graphs, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. Papers describe original results in all areas of distributed algorithms and their applications, including: distributed combinatorial algorithms, distributed graph algorithms, distributed algorithms for control and communication, distributed database techniques, distributed algorithms for decentralized systems, fail-safe and fault-tolerant distributed algorithms, distributed optimization algorithms, routing algorithms, design of network protocols, algorithms for transaction management, composition of distributed algorithms, and analysis of distributed algorithms."--Publisher's website
Synchronization and control of distributed systems and programs by M Raynal( Book )
8 editions published in 1990 in English and held by 202 WorldCat member libraries worldwide
Fault-tolerant agreement in synchronous message-passing systems by M Raynal( )
9 editions published in 2010 in English and held by 173 WorldCat member libraries worldwide
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. A previous book Communication and Agreement Abstraction for Fault-tolerant Asynchronous Distributed Systems (published by Morgan & Claypool, 2010) was devoted to the problems created by crash failures in asynchronous message-passing systems. The present book focuses on the way to cope with the uncertainty created by process failures (crash, omission failures and Byzantine behavior) in synchronous message-passing systems (i.e., systems whose progress is governed by the passage of time). To that end, the book considers fundamental problems that distributed synchronous processes have to solve. These fundamental problems concern agreement among processes (if processes are unable to agree in one way or another in presence of failures, no non-trivial problem can be solved). They are consensus, interactive consistency, k-set agreement and non-blocking atomic commit
Communication and agreement abstractions for fault-tolerant asynchronous distributed systems by M Raynal( )
8 editions published in 2010 in English and held by 153 WorldCat member libraries worldwide
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction and the reliable broadcast abstraction), and the consensus agreement abstractions that allows them to cooperate despite failures. As they give a precise meaning to the words "communicate " and "agree" despite asynchrony and failures, these abstractions allow distributed programs to be designed with properties that can be stated and proved. Impossibility results are associated with these abstractions. Hence, in order to circumvent these impossibilities, the book relies on the failure detector approach, and, consequently, that approach to fault-tolerance is central to the book
Algorithmique du parallelisme : le probleme de l'exclusion mutuelle by M Raynal( Book )
8 editions published between 1984 and 1986 in French and held by 90 WorldCat member libraries worldwide
La Communication et le temps dans les réseaux et les systèmes répartis by M Raynal( Book )
4 editions published in 1991 in French and held by 75 WorldCat member libraries worldwide
Synchronisation et état global dans les systèmes répartis by M Raynal( Book )
4 editions published in 1992 in French and held by 60 WorldCat member libraries worldwide
Synchronisation et contrôle des systèmes et des programmes répartis by M Raynal( Book )
2 editions published in 1988 in French and held by 48 WorldCat member libraries worldwide
Gestion des données réparties : problèmes et protocoles by M Raynal( Book )
2 editions published in 1992 in French and held by 48 WorldCat member libraries worldwide
Que faire devant un cancer by Bernard Pierquin( Book )
2 editions published in 1972 in French and held by 30 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.54 for La Communi ... to 0.85 for Synchroniz ...)
Alternative Names
Raynal, M.
Raynal, Michel
Languages
English (139)
French (30)
Italian (3)
Covers