Model-based fleet deployment of edge computing applications
暂无分享,去创建一个
Franck Fleurey | Nicolas Ferry | Arnor Solberg | Rustem Dautov | Hui Song | F. Fleurey | R. Dautov | Arnor Solberg | Hui Song | Nicolas Ferry
[1] Cesare Tinelli,et al. Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.
[2] Kaibin Huang,et al. Energy-Efficient Resource Allocation for Mobile-Edge Computation Offloading , 2016, IEEE Transactions on Wireless Communications.
[3] David W. Pentico,et al. Assignment problems: A golden anniversary survey , 2007, Eur. J. Oper. Res..
[4] Sebastian Voss,et al. Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).
[5] Elisabetta Di Nitto,et al. Model-driven continuous deployment for quality DevOps , 2016, QUDOS@ISSTA.
[6] Manuel Wimmer,et al. Towards a Model-Based DevOps for Cyber-Physical Systems , 2019, DEVOPS.
[7] Rustem Dautov,et al. Towards IoT Diversity via Automated Fleet Management , 2019, MDE4IoT/ModComp@MoDELS.
[8] Carlos Ansótegui,et al. Satisfiability Modulo Theories: An Efficient Approach for the Resource-Constrained Project Scheduling Problem , 2011, SARA.
[9] Sebastian Voss,et al. From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures , 2018, MoDELS.
[10] Sharad Malik,et al. The Quest for Efficient Boolean Satisfiability Solvers , 2002, CAV.
[11] Mateu Villaret,et al. Solving constraint satisfaction problems with SAT modulo theories , 2012, Constraints.
[12] A. Bucchiarone,et al. Exploiting Multi-level Modelling for Designing and Deploying Gameful Systems , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).
[13] Sanjit A. Seshia,et al. Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions , 2002, CAV.
[14] Aniruddha S. Gokhale,et al. CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems , 2018, ACM Trans. Cyber Phys. Syst..
[15] Temel Öncan,et al. A Survey of the Generalized Assignment Problem and Its Applications , 2007, INFOR Inf. Syst. Oper. Res..
[16] Schahram Dustdar,et al. A Scalable Framework for Provisioning Large-Scale IoT Deployments , 2016, ACM Trans. Internet Techn..
[17] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[18] Maria Paola Bonacina,et al. Satisfiability Modulo Theories and Assignments , 2017, CADE.
[19] Jeffrey H. Reed,et al. Understanding the software communications architecture , 2009, IEEE Communications Magazine.