Formally Verifying Memory Isolation Based on ARM Processors.
Jiabin ZhuWenchao HuangYan XiongPublished in: BigCom (2018)
Keyphrases
- memory subsystem
- processing elements
- parallel processing
- memory size
- multithreading
- data sets
- memory hierarchy
- computational power
- memory requirements
- parallel algorithm
- internal memory
- computing power
- memory space
- limited memory
- multiprocessor systems
- massively parallel
- random access
- parallel computation
- associative memory
- secondary storage
- low memory
- database