Computer Science ›› 2017, Vol. 44 ›› Issue (Z11): 542-546.doi: 10.11896/j.issn.1002-137X.2017.11A.115
Previous Articles Next Articles
QU Yuan-yuan, HONG Mei and SUN Ning
[1] EBI T,FARUQUE M,HENKEL J.Tape:Thermal-awareagent-based power econom multi/many-core architectures[C]∥IEEE/ACM International Conference on Computer-Aided Design-Digest of Technical Papers(ICCAD 2009).IEEE,2009:302-309. [2] ISMAIL M,HASAN O,EBI T,et al.Formal verification of distributed dynamic thermal management[C]∥Proceedings of the International Conference on Computer-Aided Design.IEEE Press,2013:248-255. [3] DAVID A,LARSEN K G,LEGAY A,et al.Time for statistical model checking of real-time systems[C]∥Computer Aided Verification.Springer Berlin Heidelberg,2011:349-355. [4] RAO R,VRUDHULA S.Fast and accurate prediction of thesteady-state throughput of multicore processors under thermal constraints[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2009,28(10):1559-1572. [5] UKHOV I,BAO M,ELES P,et al.Steady-state dynamic temperature analysis and reliability optimization for embedded multiprocessor systems[C]∥Proceedings of the 49th Annual Design Automation Conference.ACM,2012:197-204. [6] MOHAQEQI M,KARGAHI M,MOVAGHAR A.Analyticalleakage-aware thermal modeling of a real-time system[J].IEEE Transactions on Computers,2014,63(6):1378-1392. [7] SHUKLA S K,GUPTA R K.A model checking approach to evaluating system level dynamic power management policies for embedded systems[C]∥Sixth IEEE International High-Level Design Validation and Test Workshop .IEEE,2001:53-57. [8] NORMAN G,PARKER D,KWIATKOWSKA M,et al.Using probabilistic model checking for dynamic power management[J].Formal Aspects of Computing,2005,17(2):160-176. [9] LUNGU A,BOSE P,SORIN D J,et al.Multicore power mana-gement:Ensuring robustness via early-stage formal verification[C]∥Proceedings of the 7th IEEE/ACM International Confe-rence on Formal Methods and Models for Codesign.IEEE Press,2009:78-87. [10] BUKHARI S A A,LODHI F K,HASAN O,et al.Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv[M].Formal Techniques for Safety-Critical Systems.Springer International Publishing,2014:32-46.(下转第551页)(上接第546页) [11] IQTEDAR S,HASAN O,SHAFIQUE M,et al.Formal probabilistic analysis of distributed dynamic thermal management[C]∥Design,Automation & Test in Europe Conference & Exhibition (DATE),2015.IEEE,2015:1221-1224. [12] DAVIS R I,BURNS A.Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems[C]∥Real-Time Systems Symposium(RTSS 2009).IEEE,2009:398-409. [13] LIAO W,HE L,LEPAK K M.Temperature and supply voltage aware performance and power modeling at microarchitecture level[J].IEEE Transactions on Computer-Aided Design of Integra-ted Circuits and Systems,2005,24(7):1042-1053. [14] ZHURAVLEV S,SAEZ J C,BLAGODUROV S,et al.Survey of energy-cognizant scheduling techniques[J].IEEE Transactions on Parallel and Distributed Systems,2013,24(7):1447-1464. [15] MOHAQEQI M,KARGAHI M,MOVAGHAR A.Analyticalleakage-aware thermal modeling of a real-time system[J].IEEE Transactions on Computers,2014,63(6):1378-1392. [16] ISMAIL M,HASAN O,EBI T,et al.Formal verification of distributed dynamic thermal management[C]∥Proceedings of the International Conference on Computer-Aided Design.IEEE Press,2013:248-255. [17] IQTEDAR S,HASAN O,SHAFIQUE M,et al.Formal probabilistic analysis of distributed dynamic thermal management[C]∥Design,Automation & Test in Europe Conference & Exhibition (DATE).IEEE,2015:1221-1224. |
No related articles found! |
|