Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies-Reference-Cited by-同舟云学术

Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies

Published:2016 Issue: Volume: Page:229-245
ISSN:0302-9743
Container-title:Dependable Software Engineering: Theories, Tools, and Applications
language:
Short-container-title:

Author:

Ábrahám Erika,Corzilius Florian,Johnsen Einar Broch,Kremer Gereon,Mauro Jacopo

Publisher

Springer International Publishing

Link

Reference50 articles.

2. Amadini, R., Gabbrielli, M., Mauro, J.: SUNNY: a lazy portfolio approach for constraint solving. TPLP 14(4–5), 509–524 (2014)

3. Amadini, R., Gabbrielli, M., Mauro, J.: A multicore tool for constraint solving. In IJCAI, pp. 232–238, 2015

4. Amazon: AWS CloudFormation. http://aws.amazon.com/cloudformation/

5. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard Version 2.6 (2015)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA;Proceedings of the 4th Workshop on Flexible Resource and Application Management on the Edge;2024-06-03

3. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12

5. SAGE - A Tool for Optimal Deployments in Kubernetes Clusters;2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom);2023-12-04