Formally Verified Isolation of DMA.

Jonas Haglund Roberto Guanciale

Published in: FMCAD (2022)

Keyphrases

databases
main memory
machine learning
social networks
multi agent
domain knowledge
information extraction