Distributed Programming

Theory and Practice

Nonfiction, Computers, Networking & Communications, Hardware, General Computing, Programming
Cover of the book Distributed Programming by A. Udaya Shankar, Springer New York
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: A. Udaya Shankar ISBN: 9781461448815
Publisher: Springer New York Publication: September 15, 2012
Imprint: Springer Language: English
Author: A. Udaya Shankar
ISBN: 9781461448815
Publisher: Springer New York
Publication: September 15, 2012
Imprint: Springer
Language: English

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets.

Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms.  Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of  threads and programs.  Students and programmers will see these as programs and not "merely" algorithms in pseudo-code.  The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions.

Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering.  Programmers, software engineers and researchers working in this field will also find this book useful.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets.

Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms.  Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of  threads and programs.  Students and programmers will see these as programs and not "merely" algorithms in pseudo-code.  The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions.

Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering.  Programmers, software engineers and researchers working in this field will also find this book useful.

More books from Springer New York

Cover of the book Studies in Diabetes by A. Udaya Shankar
Cover of the book Cell Cycle Regulation and Differentiation in Cardiovascular and Neural Systems by A. Udaya Shankar
Cover of the book Targeted Drug Strategies for Cancer and Inflammation by A. Udaya Shankar
Cover of the book Studies on Psychiatric Disorders by A. Udaya Shankar
Cover of the book Elucidation of Abiotic Stress Signaling in Plants by A. Udaya Shankar
Cover of the book Pathology by A. Udaya Shankar
Cover of the book Multiscale Signal Analysis and Modeling by A. Udaya Shankar
Cover of the book Male Sterility and Motility Disorders by A. Udaya Shankar
Cover of the book Sociophysics by A. Udaya Shankar
Cover of the book Chemical and Physical Behavior of Human Hair by A. Udaya Shankar
Cover of the book Reviews of Environmental Contamination and Toxicology by A. Udaya Shankar
Cover of the book The Observer's Guide to Planetary Motion by A. Udaya Shankar
Cover of the book Concepts, Ontologies, and Knowledge Representation by A. Udaya Shankar
Cover of the book Sensors and Microsystems by A. Udaya Shankar
Cover of the book Non-Hodgkin Lymphoma by A. Udaya Shankar
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy