Login / Signup
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