Coverart for item
The Resource Distributed programming : theory and practice, A. Udaya Shankar

Distributed programming : theory and practice, A. Udaya Shankar

Label
Distributed programming : theory and practice
Title
Distributed programming
Title remainder
theory and practice
Statement of responsibility
A. Udaya Shankar
Creator
Subject
Language
eng
Summary
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
Cataloging source
GW5XE
http://library.link/vocab/creatorName
Shankar, A. Udaya
Dewey number
005.1
Index
index present
Language note
English
LC call number
QA76.6
LC item number
.S53 2013
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
NLM call number
QA 76.6
http://library.link/vocab/subjectName
  • Computer programming
  • Electronic data processing
  • Software
  • Electronic Data Processing
  • Computer programming
  • Electronic data processing
Label
Distributed programming : theory and practice, A. Udaya Shankar
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Lock Using the Bakery Algorithm
  • Distributed Lock Service
  • Distributed Lock Using Timestamps
  • Channel with Termination Detection Service
  • Termination Detection for Diffusing Computations
  • Object-Transfer Service
  • Object Transfer Using Path Reversal
  • Distributed Shared Memory Service
  • A Single-Copy Distributed Shared Memory
  • A Multi-copy Distributed Shared Memory
  • Simple Lock
  • Reliable Transport Service
  • Reliable Transport Protocol
  • Bounded Buffer
  • Message-Passing Services
  • Fifo Channels from Unreliable Channels
  • Programs, Semantics and Effective Atomicity
  • Implements and Compositionality
  • SESF for Time-Constrained Programs
  • Lock Using Peterson's Algorithm
Control code
810330065
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9781461448815
Lccn
2012945395
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-1-4614-4881-5
  • 10.1007/978-1-4614-4
http://library.link/vocab/ext/overdrive/overdriveId
1461448808
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)810330065
Label
Distributed programming : theory and practice, A. Udaya Shankar
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Lock Using the Bakery Algorithm
  • Distributed Lock Service
  • Distributed Lock Using Timestamps
  • Channel with Termination Detection Service
  • Termination Detection for Diffusing Computations
  • Object-Transfer Service
  • Object Transfer Using Path Reversal
  • Distributed Shared Memory Service
  • A Single-Copy Distributed Shared Memory
  • A Multi-copy Distributed Shared Memory
  • Simple Lock
  • Reliable Transport Service
  • Reliable Transport Protocol
  • Bounded Buffer
  • Message-Passing Services
  • Fifo Channels from Unreliable Channels
  • Programs, Semantics and Effective Atomicity
  • Implements and Compositionality
  • SESF for Time-Constrained Programs
  • Lock Using Peterson's Algorithm
Control code
810330065
Dimensions
unknown
Extent
1 online resource
File format
unknown
Form of item
online
Isbn
9781461448815
Lccn
2012945395
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/978-1-4614-4881-5
  • 10.1007/978-1-4614-4
http://library.link/vocab/ext/overdrive/overdriveId
1461448808
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)810330065

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...