CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking
2020 ◽
Vol 39
(8)
◽
pp. 1725-1738
Keyword(s):
2015 ◽
Vol 26
(1)
◽
pp. 206-218
◽
Keyword(s):
Keyword(s):