Verifying and Optimizing the HMCS Lock for Arm Servers.

Jonas Oberhauser Lilith Oberhauser Antonio Paolillo Diogo Behrens Ming Fu Viktor Vafeiadis

Published in: NETYS (2021)

Keyphrases

data center
concurrency control
data sets
model checking
arrival rate
scalable distributed
real time
neural network
machine learning
computer vision
expert systems
data management
low overhead
continuous media