{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:37Z","timestamp":1750306837472,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T00:00:00Z","timestamp":1402358400000},"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":[[2014,6,10]]},"DOI":"10.1145\/2597652.2597680","type":"proceedings-article","created":{"date-parts":[[2014,6,10]],"date-time":"2014-06-10T12:50:25Z","timestamp":1402404625000},"page":"323-332","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Verifying micro-architecture simulators using event traces"],"prefix":"10.1145","author":[{"given":"Hui Meen","family":"Nyew","sequence":"first","affiliation":[{"name":"Michigan Technological University, Houghton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nilufer","family":"Onder","sequence":"additional","affiliation":[{"name":"Michigan Technological University, Houghton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soner","family":"Onder","sequence":"additional","affiliation":[{"name":"Michigan Technological University, Houghton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenlin","family":"Wang","sequence":"additional","affiliation":[{"name":"Michigan Technological University, Houghton, MI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.82"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/268806.268810"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022641700528"},{"key":"e_1_3_2_1_5_1","first-page":"2349","article-title":"Orange: Data mining toolbox","volume":"14","author":"Dem\u00fdar J.","year":"2013","unstructured":"J. Dem\u00fdar , T. Curk , and A. Erjavec . Orange: Data mining toolbox in Python. Journal of Machine Learning Research , 14 : 2349 -- 2353 , 2013 . J. Dem\u00fdar, T. Curk, and A. Erjavec. Orange: Data mining toolbox in Python. Journal of Machine Learning Research, 14:2349--2353, 2013.","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672089"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2012.6271758"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065786"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009748302351"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/511399.511349"},{"key":"e_1_3_2_1_11_1","volume-title":"Morgan Kaufmann","author":"Mishra P.","year":"2008","unstructured":"P. Mishra and N. Dutt . Processor Description Languages . Morgan Kaufmann , San Francisco, CA, USA , 2008 . P. Mishra and N. Dutt. Processor Description Languages. Morgan Kaufmann, San Francisco, CA, USA, 2008."},{"key":"e_1_3_2_1_12_1","first-page":"80","volume-title":"Proceedings of the 1998 International Conference on Computer Languages, ICCL'98","author":"\u00d6nder S.","unstructured":"S. \u00d6nder and R. Gupta . Automatic generation of microarchitecture simulators . In Proceedings of the 1998 International Conference on Computer Languages, ICCL'98 , pages 80 --, Washington, DC, USA, 1998. IEEE Computer Society. S. \u00d6nder and R. Gupta. Automatic generation of microarchitecture simulators. In Proceedings of the 1998 International Conference on Computer Languages, ICCL'98, pages 80--, Washington, DC, USA, 1998. IEEE Computer Society."},{"key":"e_1_3_2_1_14_1","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell S.","year":"2009","unstructured":"S. Russell and P. Norvig . Artificial Intelligence: A Modern Approach . Prentice Hall Press , Upper Saddle River, NJ, USA, 3 rd edition, 2009 . S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall Press, Upper Saddle River, NJ, USA, 3rd edition, 2009.","edition":"3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2431518.2431538"},{"volume-title":"SimpleScalar toolset","author":"LLC.","key":"e_1_3_2_1_16_1","unstructured":"SimpleScalar LLC. SimpleScalar toolset . http:\/\/www.simplescalar.com. Accessed: 2014-01-01. SimpleScalar LLC. SimpleScalar toolset. http:\/\/www.simplescalar.com. Accessed: 2014-01-01."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0218-6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBAC-PAD.2011.23"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054907.1054912"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871074"},{"key":"e_1_3_2_1_21_1","first-page":"47","volume-title":"Proceedings of the 2005 Agent-Directed Simulation Symposium","volume":"37","author":"Xiang X.","year":"2005","unstructured":"X. Xiang , R. Kennedy , G. Madey , and S. Cabaniss . Verification and validation of agent-based scientific simulation models . In Proceedings of the 2005 Agent-Directed Simulation Symposium , volume 37 , pages 47 -- 55 , 2005 . X. Xiang, R. Kennedy, G. Madey, and S. Cabaniss. Verification and validation of agent-based scientific simulation models. In Proceedings of the 2005 Agent-Directed Simulation Symposium, volume 37, pages 47--55, 2005."}],"event":{"name":"ICS'14: 2014 International Conference on Supercomputing","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Munich Germany","acronym":"ICS'14"},"container-title":["Proceedings of the 28th ACM international conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597652.2597680","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2597652.2597680","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:58Z","timestamp":1750234198000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597652.2597680"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,10]]},"references-count":20,"alternative-id":["10.1145\/2597652.2597680","10.1145\/2597652"],"URL":"https:\/\/doi.org\/10.1145\/2597652.2597680","relation":{},"subject":[],"published":{"date-parts":[[2014,6,10]]},"assertion":[{"value":"2014-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}