ARTICLE:ANALYSIS_BY[name] student0 ARTICLE:ANALYSIS_TIME[minutes] 10 ARTICLE:COMMENT[string] In order to verify PARO-TMfs functionality, we have implemented it on GEMS [Martin et al. 2005], a popular simulation platform based on the Simics simulator [Magnusson et al. 2002]. ARTICLE:COMMERCIAL_EFFORT[none,part,full] none ARTICLE:GRANT_SUPPORT[none or string] Supported by the National Basic Research 973 Program of China under Grant no. 2011CB302301, Central Universities Fundamental Research Foundation under grant no. 0903005203206, National Natural Science Foundation of China (NSFC) under grant no. 61025008, the US NSF under grants IIS-0916859, CCF-0937993, CNS-1016609, and CNS-1116606. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://doi.acm.org/10.1145/2400682.2400701 ARTICLE:NSF_SUPPORT[none or number] IIS-0916859, CCF-0937993, CNS-1016609, and CNS-1116606 ARTICLE:PAGE_COUNT[pages] 26 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] journal AUTHOR:NAMES[list of first_last] Zhichao_Yan Hong_Jiang Yujuan_Tan Dan_Feng BIBTEX:LABEL[string] YanJTF13 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/taco/YanJTF13 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] BUILD:ERROR_COMMENT[not_needed,comment] not_needed BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:VERIFY_BY[name] BUILD:VERIFY_COMMENT[string] BUILD:VERIFY_STATUS[needed,not_needed,started,finished] not_needed BUILD:VERIFY_TIME[minutes] COMMENT:CORRECTION[string] COMMENT:RESPONSE[string] COMMENT:UPDATE[string] EMAIL1:CODE_AVAILABLE[yes,no,no_response] no_response EMAIL1:REMARK[comment] EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed request_1 PI:COMMENT_CC[string] PI:COMMENT_TP[string] TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:DATA_LINK[unknown,none,url,broken and url] TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:NAME[string] PARO-TM VERIFY:ANALYSIS_BY[name] student7 VERIFY:COMMENT[string] none VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished