Reasoning About Parallel Architectures - Hardcover

Collier, William W.

 
9780137671878: Reasoning About Parallel Architectures

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.