Login / Signup
Formal Proof of Dynamic Memory Isolation Based on MMU.
Narjes Jomaa
David Nowak
Gilles Grimaud
Samuel Hym
Published in:
TASE (2016)
Keyphrases
</>
formal proof
dynamic environments
information systems
theorem prover
memory space
real world
machine learning
image processing
image sequences
bayesian networks
multi agent
information processing
memory usage
dynamically changing
low memory