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:NSF-SUPPORT[none or number] 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:STATUS[not_finished,finished] finished BIBTEX:LABEL[string] YanJTF13 AUTHOR:NAMES[list of first_last] Zhichao_Yan Hong_Jiang Yujuan_Tan Dan_Feng BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/taco/YanJTF13 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:COMMENT[string] BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:ERROR_COMMENT[none,not_needed,comment] not_needed 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:NAME[string] PARO-TM TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] TOOL:DATA_LINK[unknown,none,url,broken and url] VERIFY:ANALYSIS_BY[name] student4 VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished VERIFY:COMMENT[string] none EMAIL1:CODE_AVAILABLE[yes,no,no_response] no_response EMAIL1:REMARK[comment]