An operational semantics of cache coherent multicore architectures.
Shiji BijoEinar Broch JohnsenKa I PunSilvia Lizeth Tapia TarifaPublished in: SAC (2016)
Keyphrases
- operational semantics
- memory hierarchy
- memory management
- computing power
- formal semantics
- model theoretic
- mental states
- main memory
- data model
- prefetching
- query processing
- multicore processors
- operating system
- denotational semantics
- databases
- agent programming
- memory access
- database systems
- artificial intelligence
- cooperative