Persistency semantics of the Intel-x86 architecture.

Azalea Raad John Wickerson Gil Neiger Viktor Vafeiadis

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

management system
real time
formal semantics
architectural design
multi core processors
neural network
software architecture
data flow
layered architecture
website
logic programming
semantic information
network architecture
inference engine