Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking-Reference-Cited by-同舟云学术

Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking

Published:2021-06 Issue: Volume:121 Page:100664
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Eraşcu Mădălina,Micota Flavia,Zaharie Daniela

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference38 articles.

1. Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation;Humble,2010

2. N. Bjørner, SpecOps: Infusing Azure with Verifiable Reliability (Invited Talk), Formal Foundations of Software Defined Networks (held in conjunction with the VI IEEE Conference on Network Function Virtualization and Software Defined Networks), 2020.

3. KeY-ABS: a deductive verification tool for the concurrent modelling language ABS;Din,2015

4. SACO: static analyzer for concurrent objects;Albert,2014

5. Kubernetes: Up and Running Dive into the Future of Infrastructure,2019

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

1. Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory;2024 International Joint Conference on Neural Networks (IJCNN);2024-06-30

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

3. Hybrid HP-BOA: An Optimized Framework for Reliable Storage of Cloud Data Using Hybrid Meta-Heuristic Algorithm;Applied Sciences;2023-04-25

4. Extraction of solitons from nonlinear refractive index cubic-quartic model via a couple of integration norms;Optical and Quantum Electronics;2022-07-25

5. Credibility Evaluation of Web Big Data Information Based on Particle Swarm Optimization;Journal of Web Engineering;2022-01-17