Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures.
Albert MeixnerDaniel J. SorinPublished in: DSN (2006)
Keyphrases
- computer architecture
- memory hierarchy
- multithreading
- multi threaded
- parallel computing
- compute intensive
- computer systems
- artificial intelligence
- model checking
- computer science department
- highly efficient
- parallel processing
- data transfer
- data access
- parallel computers
- data management
- query processing
- machine learning