Search Results for author:
Found 2 papers, 1 papers with code
Automating Cluster Management with Weave
Modern cluster management systems like Kubernetes and Openstack grapple with hard combinatorial optimization problems: load balancing, placement, scheduling, and configuration.
Distributed, Parallel, and Cluster Computing
Verifying Properties of Binarized Deep Neural Networks
To the best of our knowledge, this is the first work on verifying properties of deep neural networks using an exact Boolean encoding of the network.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
