Formalizing Memory Accesses and Interrupts.

Reto Achermann Lukas Humbel David Cock Timothy Roscoe

Published in: MARS@ETAPS (2017)

Keyphrases

memory access
memory requirements
memory usage
memory management
low memory
databases
computing power
computational power
random access
decision making
website
hidden markov models
memory space
working memory