Reasoning About Parallel Architectures - Couverture rigide

Collier, William M.

 
9780137671878: Reasoning About Parallel Architectures

Synopsis

Detailing techniques for making machines run faster while keeping their architecture simple, this book defines the rules which multiprocessors are assumed to obey, and develops reasoning techniques and a set of procedures for establishing the logical correctness of real machines.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.