Vor Ort
Merkzettel Warenkorb
  • Produktbild: On a Method of Multiprogramming
  • Produktbild: On a Method of Multiprogramming
- 12%

On a Method of Multiprogramming

Aus der Reihe Monographs in Computer Science
12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Abbildungen

XX, 370 p.

Verlag

Springer Us

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

593 g

Auflage

Softcover reprint of hardcover 1st ed. 1999

Sprache

Englisch

ISBN

978-1-4419-3179-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.12.2010

Abbildungen

XX, 370 p.

Verlag

Springer Us

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

593 g

Auflage

Softcover reprint of hardcover 1st ed. 1999

Sprache

Englisch

ISBN

978-1-4419-3179-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: On a Method of Multiprogramming
  • Produktbild: On a Method of Multiprogramming
  • 1 On Our Computational Model.- 2 Our Program Notation and Its Semantics.- 3 The Core of the Owicki/Gries Theory.- 4 Two Disturbing Divergences.- 5 Bridling the Complexity.- 6 Co-assertions and Strengthening the Annotation.- 7 Three Theorems and Two Examples.- 8 Synchronization and Total Deadlock.- 9 Individual Progress and the Multibound.- 10 Concurrent Vector Writing.- 11 More Theorems and More Examples.- 12 The Yellow Pages.- 13 The Safe Sluice.- 14 Peterson’s Two-Component Mutual Exclusion Algorithm.- 15 Re-inventing a Great Idea.- 16 On Handshake Protocols.- 17 Phase Synchronization for Two Machines.- 18 The Parallel Linear Search.- 19 The Initialization Protocol.- 20 Co-components.- 21 The Initialization Protocol Revisited.- 22 The Non-Blocking Write Protocol.- 23 Mutual Inclusion and Synchronous Communication.- 24 A Simple Election Algorithm.- 25 Peterson’s General Mutual Exclusion Algorithm.- 26 Monitored Phase Synchronization.- 27 Distributed Liberal Phase Synchronization.- 28 Distributed Computation of a Spanning Tree.- 29 Shmuel Safra’s Termination Detection Algorithm.- 30 The Alternating Bit Protocol.- 31 Peterson’s Mutual Exclusion Algorithm Revisited.- 32 Epilogue.- References.