@article{QU Yuan-yuan:542, author = {QU Yuan-yuan, HONG Mei and SUN Ning}, title = {Formal Verification of TAPE Strategy for Dynamic Temperature Management in Multi-core System}, publisher = {Computer Science}, year = {2017}, journal = {Computer Science}, volume = {44}, number = {Z11}, eid = {542}, numpages = {4}, pages = {542}, keywords = {Dynamic temperature management strategy,Statistical model checking,Multi-core system}, url = {https://www.jsjkx.com/EN/abstract/article_16495.shtml}, doi = {10.11896/j.issn.1002-137X.2017.11A.115} }