Login / Signup
Anvil: Verifying Liveness of Cluster Management Controllers.
Xudong Sun
Wenjie Ma
Jiawei Tyler Gu
Zicheng Ma
Tej Chajed
Jon Howell
Andrea Lattuada
Oded Padon
Lalith Suresh
Adriana Szekeres
Tianyin Xu
Published in:
OSDI (2024)
Keyphrases
</>
clustering algorithm
information systems
management system
information management
databases
control system
knowledge management
data management
decision making
reinforcement learning
decision support
data clustering
information retrieval
data objects
network management