[Advances in Intelligent Systems and Computing] Complex, Intelligent, and Software Intensive Systems Volume 772 || Towards Energy Efficient Orchestration of Cloud Computing Infrastructure
- 作者Barolli, Leonard; Javaid, Nadeem; Ikeda, Makoto; Takizawa, Makoto
- 文件大小430.72KB
- 发表时间2019
- DOI10.1007/978-3-319-93659-8_15
- 页码172-183
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 ||Johnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Formal Methods for Executable Software Models Volume 8483 ||Bernardo, Marco; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Schaefer, Ina · 2014
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Cross-Architecture Lifter SynthesisJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || We Need a Testability Transformation SemanticsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Counterexample Simplification for Liveness Property ViolationJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Monte Carlo Tree Search for Finding Costly Paths in ProgramsJohnsen, Einar Broch; Schaefer, Ina · 2018
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 10886 || Bridging the Gap Between Informal Requirements and Formal Specifications Using Model FederationJohnsen, Einar Broch; Schaefer, Ina · 2018