scholarly journals Model Checking Boot Code from AWS Data Centers

2018 ◽  
pp. 467-486 ◽  
Author(s):  
Byron Cook ◽  
Kareem Khazem ◽  
Daniel Kroening ◽  
Serdar Tasiran ◽  
Michael Tautschnig ◽  
...  
Keyword(s):  
Model Checking ◽  
Data Centers

scholarly journals Model checking boot code from AWS data centers

2020 ◽  
Author(s):  
Byron Cook ◽  
Kareem Khazem ◽  
Daniel Kroening ◽  
Serdar Tasiran ◽  
Michael Tautschnig ◽  
...  
Keyword(s):  
Model Checking ◽  
Data Centers

Queuing Model Based Data Centers: A Review

2019 ◽  
Vol 123 ◽  
pp. 11-20 ◽  
Author(s):  
N. Thirupathi Rao ◽  
Debnath Bhattacharyya ◽  
S. Naga Mallik Raj
Keyword(s):  
Data Centers ◽  
Queuing Model ◽  
Model Based

Cooling Technologies Using Outside Air Economizers for Data Centers

2011 ◽  
Vol 131 (7) ◽  
pp. 424-428
Author(s):  
Masahide YANAGI ◽  
Yosuke UDAGAWA ◽  
Shisei WARAGAI
Keyword(s):  
Data Centers

Malfunction Issue of SiC-SIT Based DC Circuit Breaker in 400V DC Power Distribution Systems for Data Centers

2012 ◽  
Vol E95.B (6) ◽  
pp. 1990-1996
Author(s):  
Seiya ABE ◽  
Sihun YANG ◽  
Masahito SHOYAMA ◽  
Tamotsu NINOMIYA ◽  
Akira MATSUMOTO ◽  
...  
Keyword(s):  
Power Distribution ◽  
Distribution Systems ◽  
Data Centers ◽  
Circuit Breaker ◽  
Power Distribution Systems ◽  
Dc Power ◽  
Dc Circuit Breaker

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software
Sign in / Sign up

Export Citation Format

Share Document