Implementing a hardware-assisted memory management mechanism for ARM platforms using the B method
Chang, Rui, Jiang, Liehui, Xie, Yaobin, He, Hongqi, Chen, Danmin, Ren, LuLanguage:
english
Journal:
Concurrency and Computation: Practice and Experience
DOI:
10.1002/cpe.4659
Date:
August, 2018
File:
PDF, 1.07 MB
english, 2018