Performance Optimizations, Implementation, and Verification of the SGI Challenge Multiprocessor.

Mike Galles Eric Williams

Published in: HICSS (1) (1994)

Keyphrases

model checking
shared memory
implementation details
shared memory multiprocessors
database
social networks
expert systems
distributed memory
highly parallel
database machines