注册
登录
智慧能源
Formal_Methods_for_System_Verification
返回
项目作者:
FabioDainese
项目描述 :
Dynamic server allocation for energy efficiency using stochastic modeling techniques
高级语言:
TeX
项目主页:
项目地址:
git://github.com/FabioDainese/Formal_Methods_for_System_Verification.git
创建时间:
2019-12-03T20:56:04Z
项目社区:
https://github.com/FabioDainese/Formal_Methods_for_System_Verification
开源协议:
Apache License 2.0
下载
A Dynamic Server Allocation for Energy Efficiency_1647896932182.pdf
Project Documentation_1647896932261.pdf
Project Presentation_1647896932351.pdf
Project Documentation_1649658601941.pdf
Project Presentation_1649658602373.pdf
A Dynamic Server Allocation for Energy Efficiency_1649658601708.pdf