{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:17Z","timestamp":1750307837055,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T00:00:00Z","timestamp":1205366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,13]]},"DOI":"10.1145\/1361096.1361109","type":"proceedings-article","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T19:20:59Z","timestamp":1267557659000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Fast cycle-approximate instruction set simulation"],"prefix":"10.1145","author":[{"given":"Bj\u00f6rn","family":"Franke","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,3,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/cag.csail.mit.edu\/streamit\/shtml\/benchmarks.shtml","author":"Amarasinghe S.","year":"2007","unstructured":"S. Amarasinghe . StreamIt - Benchmarks . http:\/\/cag.csail.mit.edu\/streamit\/shtml\/benchmarks.shtml , 2007 . S. Amarasinghe. StreamIt - Benchmarks. http:\/\/cag.csail.mit.edu\/streamit\/shtml\/benchmarks.shtml, 2007."},{"key":"e_1_3_2_1_2_1","unstructured":"ARC. ARC VTOC Tool. http:\/\/www.arc.com\/software\/simulation\/vtoc.html 2007.  ARC. ARC VTOC Tool. http:\/\/www.arc.com\/software\/simulation\/vtoc.html 2007."},{"key":"e_1_3_2_1_3_1","unstructured":"T. M. Austin. Pointer-intensive benchmark suite. http:\/\/www.cs.wisc.edu\/~austin\/ptr-dist.html 2007.  T. M. Austin. Pointer-intensive benchmark suite. http:\/\/www.cs.wisc.edu\/~austin\/ptr-dist.html 2007."},{"key":"e_1_3_2_1_4_1","volume-title":"Efficient detectopn of all pointer and array access errors. Technical report","author":"Austin T. M.","year":"1993","unstructured":"T. M. Austin , S. E. Breach , and G. S. Sohi . Efficient detectopn of all pointer and array access errors. Technical report , University of Wisconsin , 1993 . T. M. Austin, S. E. Breach, and G. S. Sohi. Efficient detectopn of all pointer and array access errors. Technical report, University of Wisconsin, 1993."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/334012.334028"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/882452.874331"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science, 2659","volume-title":"A compiler approach to performance prediction using empirical-based modeling","author":"Diniz P. C.","year":"2003","unstructured":"P. C. Diniz . A compiler approach to performance prediction using empirical-based modeling . Lecture Notes in Computer Science, 2659 , 2003 . P. C. Diniz. A compiler approach to performance prediction using empirical-based modeling. Lecture Notes in Computer Science, 2659, 2003."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242531.1242553"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1240210"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06)","author":"Gustafsson J.","year":"2007","unstructured":"J. Gustafsson . The WCET tool challenge 2006 . In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06) , 2007 . J. Gustafsson. The WCET tool challenge 2006. In Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods (ISOLA'06), 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152154.1152174"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Workshop on Profile and Feedback-Directed Compilation (PFDC'98)","author":"Hsu C.-H.","year":"1998","unstructured":"C.-H. Hsu and U. Kremer . IPERF: A framework for automatic construction of performance prediction models . In Proceedings of the Workshop on Profile and Feedback-Directed Compilation (PFDC'98) , 1998 . C.-H. Hsu and U. Kremer. IPERF: A framework for automatic construction of performance prediction models. In Proceedings of the Workshop on Profile and Feedback-Directed Compilation (PFDC'98), 1998."},{"key":"e_1_3_2_1_13_1","unstructured":"Intel. Intel StrongARM SA-1100 Microprocessor - Developer's Manual. http:\/\/www.intel.com 1999.  Intel. Intel StrongARM SA-1100 Microprocessor - Developer's Manual. http:\/\/www.intel.com 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598116"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1131481.1131607"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/517554.825767"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168881"},{"key":"e_1_3_2_1_18_1","volume-title":"http:\/\/euler.slu.edu\/~fritts\/mediabench\/mb1\/","author":"Lee C.","year":"2007","unstructured":"C. Lee . MediaBench. http:\/\/euler.slu.edu\/~fritts\/mediabench\/mb1\/ , 2007 . C. Lee. MediaBench. http:\/\/euler.slu.edu\/~fritts\/mediabench\/mb1\/, 2007."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 30th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"Lee C.","year":"1997","unstructured":"C. Lee , M. Potkonjak , and W. Mangione-Smith . Media-Bench: A tool for evaluating and synthesizing multimedia and communications systems . In Proceedings of the 30th Annual IEEE\/ACM International Symposium on Microarchitecture , 1997 . C. Lee, M. Potkonjak, and W. Mangione-Smith. Media-Bench: A tool for evaluating and synthesizing multimedia and communications systems. In Proceedings of the 30th Annual IEEE\/ACM International Symposium on Microarchitecture, 1997."},{"key":"e_1_3_2_1_20_1","unstructured":"C. G. Lee. UTDSP benchmark suite. http:\/\/www.eecg.toronto.edu\/~corinna\/DSP\/infrastructure\/UTDSP.html 1998.  C. G. Lee. UTDSP benchmark suite. http:\/\/www.eecg.toronto.edu\/~corinna\/DSP\/infrastructure\/UTDSP.html 1998."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.513927"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016617"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/simit-arm.sourceforge.net","author":"Qin W.","year":"2007","unstructured":"W. Qin . SimIt- ARM. http:\/\/simit-arm.sourceforge.net , 2007 . W. Qin. SimIt-ARM. http:\/\/simit-arm.sourceforge.net, 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of Design Automation & Test in Europe (DATE)","author":"Qin W.","year":"2003","unstructured":"W. Qin and S. Malik . Flexible and formal modeling of microprocessors with application to retargetable simulation . In Proceedings of Design Automation & Test in Europe (DATE) , 2003 . W. Qin and S. Malik. Flexible and formal modeling of microprocessors with application to retargetable simulation. In Proceedings of Design Automation & Test in Europe (DATE), 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944649"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.776026"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151083"},{"key":"e_1_3_2_1_28_1","volume-title":"http:\\\\www.veripool.com\\verilator.html","author":"Snyder W.","year":"2007","unstructured":"W. Snyder , P. Wasson , and D. Galbi . Verilator . http:\\\\www.veripool.com\\verilator.html , 2007 . W. Snyder, P. Wasson, and D. Galbi. Verilator. http:\\\\www.veripool.com\\verilator.html, 2007."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of MoBS -- Workshop on Modeling, Benchmarking and Simulation","author":"Topham N.","year":"2007","unstructured":"N. Topham and D. Jones . High speed CPU simulation using JIT binary translation . In Proceedings of MoBS -- Workshop on Modeling, Benchmarking and Simulation , 2007 . N. Topham and D. Jones. High speed CPU simulation using JIT binary translation. In Proceedings of MoBS -- Workshop on Modeling, Benchmarking and Simulation, 2007."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016720.1016728"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of ICSPAT'94","author":"Zivojnovic V.","year":"1994","unstructured":"V. Zivojnovic , J. Martinez , C. Schl\u00e4ger , and H. Meyr . DSP-stone: A DSP-Oriented Benchmarking Methodology . In Proceedings of ICSPAT'94 , 1994 . V. Zivojnovic, J. Martinez, C. Schl\u00e4ger, and H. Meyr. DSP-stone: A DSP-Oriented Benchmarking Methodology. In Proceedings of ICSPAT'94, 1994."}],"event":{"name":"SCOPES08: International Workshop on Software and Compilers for Embedded Systems","sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems","Artist2 European NoE"],"location":"Munich Germany","acronym":"SCOPES08"},"container-title":["Proceedings of the 11th international workshop on Software & compilers for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1361096.1361109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1361096.1361109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:02Z","timestamp":1750255082000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1361096.1361109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,13]]},"references-count":31,"alternative-id":["10.1145\/1361096.1361109","10.1145\/1361096"],"URL":"https:\/\/doi.org\/10.1145\/1361096.1361109","relation":{},"subject":[],"published":{"date-parts":[[2008,3,13]]},"assertion":[{"value":"2008-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}