Impact of interference on multi-hop wireless network performance
Proceedings of the 9th annual international conference on Mobile computing and networking
Centralized channel assignment and routing algorithms for multi-channel wireless mesh networks
ACM SIGMOBILE Mobile Computing and Communications Review
Routing in multi-radio, multi-hop wireless mesh networks
Proceedings of the 10th annual international conference on Mobile computing and networking
An Architectural Approach to Autonomic Computing
ICAC '04 Proceedings of the First International Conference on Autonomic Computing
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Declarative Infrastructure Configuration Synthesis and Debugging
Journal of Network and Systems Management
Compiling and Executing Declarative Modeling Languages to Gecode
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Recursive Computation of Regions and Connectivity in Networks
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Practical, distributed channel assignment and routing in dual-radio mesh networks
Proceedings of the ACM SIGCOMM 2009 conference on Data communication
Communications of the ACM - Scratch Programming for All
Rhizoma: a runtime for self-deploying, self-managing overlays
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
HotCloud'09 Proceedings of the 2009 conference on Hot topics in cloud computing
Optimizing cost and performance in online service provider networks
NSDI'10 Proceedings of the 7th USENIX conference on Networked systems design and implementation
Hedera: dynamic flow scheduling for data center networks
NSDI'10 Proceedings of the 7th USENIX conference on Networked systems design and implementation
Declarative automated cloud resource orchestration
Proceedings of the 2nd ACM Symposium on Cloud Computing
Generalized resource allocation for the cloud
Proceedings of the Third ACM Symposium on Cloud Computing
Hi-index | 0.00 |
This paper presents Cologne, a declarative optimization platform that enables constraint optimization problems (COPs) to be declaratively specified and incrementally executed in distributed systems. Cologne integrates a declarative networking engine with an off-the-shelf constraint solver. We have developed the Colog language that combines distributed Datalog used in declarative networking with language constructs for specifying goals and constraints used in COPs. Cologne uses novel query processing strategies for processing Colog programs, by combining the use of bottom-up distributed Datalog evaluation with top-down goal-oriented constraint solving. Using case studies based on cloud and wireless network optimizations, we demonstrate that Cologne (1) can flexibly support a wide range of policy-based optimizations in distributed systems, (2) results in orders of magnitude less code compared to imperative implementations, and (3) is highly efficient with low overhead and fast convergence times.