1 code implementation • 6 Sep 2019 • Lalith Suresh, Joao Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv
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
no code implementations • 24 Feb 2018 • Svyatoslav Korneev, Nina Narodytska, Luca Pulina, Armando Tacchella, Nikolaj Bjorner, Mooly Sagiv
To perform image generation we need to define a mapping from a porous medium to its physical process parameters.
no code implementations • 19 Sep 2017 • Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh
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.