W. H. J. Feijen, A. J. M. Van Gasteren

eBook, PDF

On a Method of Multiprogramming (eBook, PDF)

Beschreibung

Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 22.66MB

Barrierefreiheit

• Text-to-Speech

Autor

Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 370
• Erscheinungstermin: 29. Juni 2013
• Englisch
• ISBN-13: 9781475731262
• Artikelnr.: 44041950