Multi-core systems modeling for formal verification of parallel algorithms
ACM SIGOPS Operating Systems Review
Hi-index | 0.01 |
When all the processors are trying to read and write the same main memory, you can do things the right way, the wrong way or the right way but so-slow-nobody-cares way.