Login / Signup
RapiLog: reducing system complexity through verification.
Gernot Heiser
Etienne Le Sueur
Adrian Danis
Aleksander Budzynowski
Tudor-Ioan Salomie
Gustavo Alonso
Published in:
EuroSys (2013)
Keyphrases
</>
worst case
three dimensional
lower complexity
decision problems
model checking
special case
multiscale
decision trees
social networks
information retrieval
neural network
database
information systems
objective function
computer vision
complexity analysis
databases