A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches.
Shiji BijoEinar Broch JohnsenKa I PunSilvia Lizeth Tapia TarifaPublished in: FACS (2017)
Keyphrases
- formal model
- parallel execution
- shared memory
- parallel programming
- parallel architectures
- parallel computing
- data partitioning
- parallel processing
- memory management
- transactional memory
- cost model
- memory access
- parallel algorithm
- efficient execution
- query execution
- parallel computers
- message passing
- information systems
- parallel computation
- graphics processing units
- massively parallel
- query processing
- programming environment
- security properties
- distributed systems
- security patterns
- database systems