Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS.

Yongwang Zhao David Sanán

Published in: CAV (2) (2019)

Keyphrases

memory management
operating system
garbage collection
hardware implementation
computing environments
flash memory
databases
java virtual machine
machine learning
computer vision
web services
computer systems
parallel algorithm
parallel computation
memory access