393 citations · 393 across the 3 of their papers we have counts for
3 papers
cs.DC2022
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements
Nodir Kodirov, Shane Bergsma, Syed M. Iqbal +3
Cloud applications use more than just server resources, they also require networking resources. We propose a new technique to model network bandwidth demand of networked cloud appl…
cs.LO2014
SAT Modulo Monotonic Theories
Sam Bayless, Noah Bayless, Holger H. Hoos +1
We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such th…
cs.AI2013★ 393 cited
SPUDD: Stochastic Planning using Decision Diagrams
Jesse Hoey, Robert St-Aubin, Alan Hu +1
Markov decisions processes (MDPs) are becoming increasing popular as models of decision theoretic planning. While traditional dynamic programming methods perform well for problems…