Fingerprint
Dive into the research topics of 'An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
Kathryn Gray, Gabriel Kerneis, Dominic Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution