A formal model of data access for multicore architectures with multilevel caches.
Shiji BijoEinar Broch JohnsenKa I PunSilvia Lizeth Tapia TarifaPublished in: Sci. Comput. Program. (2019)
Keyphrases
- formal model
- data access
- memory access
- data management
- data sharing
- memory management
- database applications
- data transfer
- security properties
- data objects
- storage management
- database management systems
- visual basic
- shared memory
- security patterns
- sql server
- case study
- database programming
- database access
- response time
- database systems
- data mining
- databases