{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:54Z","timestamp":1750220934587,"version":"3.41.0"},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003382","name":"Core Research for Evolutional Science and Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003382","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Singapore Ministry of Education (MoE) Academic Research Fund, Tier 1","award":["RG 136\/14"],"award-info":[{"award-number":["RG 136\/14"]}]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Model. Comput. Simul."],"published-print":{"date-parts":[[2019,7,31]]},"abstract":"<jats:p>\n            Using computer simulation to analyze large-scale discrete event systems requires repeated executions with various scenarios or parameters. Such repeated executions can induce significant redundancy in event processing when the modification from a prior scenario to a new scenario is relatively minor, and when the altered scenario influences only a small part of the simulation. For example, in a city-scale traffic simulation, an altered scenario of blocking one junction may only affect a small part of the city for considerable length of time. However, traditional simulation approaches would still repeat the simulation for the whole city even when the changes are minor. In this article, we propose a new redundancy reduction technique for large-scale discrete event simulations, called\n            <jats:italic>exact-differential simulation<\/jats:italic>\n            , which simulates only the altered portions of scenarios and their influences in repeated executions while still achieving the same results as the re-execution of entire simulations. This article presents the main concepts of the exact-differential simulation, the design of its algorithm, and an approach to build an exact-differential simulation middleware that supports multiple applications of discrete event simulation. We also evaluate our approach by using two case studies, PHOLD benchmark and a traffic simulation of Tokyo.\n          <\/jats:p>","DOI":"10.1145\/3301499","type":"journal-article","created":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T12:05:38Z","timestamp":1560945938000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Exact-Differential Simulation"],"prefix":"10.1145","volume":"29","author":[{"given":"Masatoshi","family":"Hanai","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Nanyang Ave, Singapore"}]},{"given":"Toyotaro","family":"Suzumura","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, New York, United States, USA"}]},{"given":"Elvis S.","family":"Liu","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology, Shenzhen, Guangdong Sheng, China"}]},{"given":"Georgios","family":"Theodoropoulos","sequence":"additional","affiliation":[{"name":"Southern University of Science and Technology, Shenzhen, Guangdong Sheng, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7458-0832","authenticated-orcid":false,"given":"Kalyan S.","family":"Perumalla","sequence":"additional","affiliation":[{"name":"Oak Ridge National Laboratory, Oak Ridge, TN, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,18]]},"reference":[{"volume-title":"Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201913)","author":"Barnes P. D.","key":"e_1_2_1_1_1","unstructured":"P. D. Barnes , Jr., C. D. Carothers , D. R. Jefferson , and J. M. LaPre . 2013. Warp speed: Executing time warp on 1,966,080 cores . In Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201913) . ACM, 327--336. P. D. Barnes, Jr., C. D. Carothers, D. R. Jefferson, and J. M. LaPre. 2013. Warp speed: Executing time warp on 1,966,080 cores. In Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201913). ACM, 327--336."},{"volume-title":"Proceedings of the 23rd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201909)","author":"Bauer D. W.","key":"e_1_2_1_2_1","unstructured":"D. W. Bauer Jr ., C. D. Carothers , and A. Holder . 2009. Scalable time warp on Blue Gene supercomputers . In Proceedings of the 23rd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201909) . IEEE, 35--44. D. W. Bauer Jr., C. D. Carothers, and A. Holder. 2009. Scalable time warp on Blue Gene supercomputers. In Proceedings of the 23rd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201909). IEEE, 35--44."},{"key":"e_1_2_1_3_1","first-page":"1","article-title":"Incoop: MapReduce for incremental computations. In Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC\u201911)","volume":"7","author":"Bhatotia P.","year":"2011","unstructured":"P. Bhatotia , A. Wieder , R. Rodrigues , U. A. Acar , and R. Pasquin . 2011 . Incoop: MapReduce for incremental computations. In Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC\u201911) . ACM , 7 : 1 -- 7 :14. P. Bhatotia, A. Wieder, R. Rodrigues, U. A. Acar, and R. Pasquin. 2011. Incoop: MapReduce for incremental computations. In Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC\u201911). ACM, 7:1--7:14.","journal-title":"ACM"},{"volume-title":"Proceedings of the 4th International Workshop on Cloud Data Management (CloudDB\u201912)","author":"Cai Z.","key":"e_1_2_1_4_1","unstructured":"Z. Cai , D. Logothetis , and G. Siganos . 2012. Facilitating real-time graph mining . In Proceedings of the 4th International Workshop on Cloud Data Management (CloudDB\u201912) . ACM, 1--8. Z. Cai, D. Logothetis, and G. Siganos. 2012. Facilitating real-time graph mining. In Proceedings of the 4th International Workshop on Cloud Data Management (CloudDB\u201912). ACM, 1--8."},{"volume-title":"Proceedings of the 2010 Winter Simulation Conference (WSC\u201910)","author":"Carothers C. D.","key":"e_1_2_1_5_1","unstructured":"C. D. Carothers and K. S. Perumalla . 2010. On deciding between conservative and optimistic approaches on massively parallel platforms . In Proceedings of the 2010 Winter Simulation Conference (WSC\u201910) . IEEE, 678--687. C. D. Carothers and K. S. Perumalla. 2010. On deciding between conservative and optimistic approaches on massively parallel platforms. In Proceedings of the 2010 Winter Simulation Conference (WSC\u201910). IEEE, 678--687."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2004.1371340"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113316.1113318"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"volume-title":"Proceedings of the 16th ACM\/IEEE\/SCS Workshop on Parallel and Distributed Simulation (PADS\u201902)","author":"Ferenci S. L.","key":"e_1_2_1_9_1","unstructured":"S. L. Ferenci , R. M. Fujimoto , M. H. Ammar , K. S. Perumalla , and G. F. Riley . 2002. Updateable simulation of communication networks . In Proceedings of the 16th ACM\/IEEE\/SCS Workshop on Parallel and Distributed Simulation (PADS\u201902) . IEEE, 107--114. S. L. Ferenci, R. M. Fujimoto, M. H. Ammar, K. S. Perumalla, and G. F. Riley. 2002. Updateable simulation of communication networks. In Proceedings of the 16th ACM\/IEEE\/SCS Workshop on Parallel and Distributed Simulation (PADS\u201902). IEEE, 107--114."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the SCS Multiconference on Distributed Simulations","volume":"22","author":"Fujimoto R. M.","year":"1990","unstructured":"R. M. Fujimoto . 1990 . Performance of Time Warp under synthetic workload . In Proceedings of the SCS Multiconference on Distributed Simulations , Vol. 22 . 23--28. R. M. Fujimoto. 1990. Performance of Time Warp under synthetic workload. In Proceedings of the SCS Multiconference on Distributed Simulations, Vol. 22. 23--28."},{"volume-title":"Parallel and Distributed Simulation Systems","author":"Fujimoto R. M.","key":"e_1_2_1_11_1","unstructured":"R. M. Fujimoto . 2000. Parallel and Distributed Simulation Systems . Wiley New York . R. M. Fujimoto. 2000. Parallel and Distributed Simulation Systems. Wiley New York."},{"key":"e_1_2_1_12_1","volume-title":"ScaleSim - General Purpose Large-Scale Parallel 8 Distributed Discrete Event Simulator. https:\/\/github.com\/masatoshihanai\/ScaleSim (Last access","author":"Hanai M.","year":"2018","unstructured":"M. Hanai . 2018. ScaleSim - General Purpose Large-Scale Parallel 8 Distributed Discrete Event Simulator. https:\/\/github.com\/masatoshihanai\/ScaleSim (Last access : 19 Nov. 2018 ). M. Hanai. 2018. ScaleSim - General Purpose Large-Scale Parallel 8 Distributed Discrete Event Simulator. https:\/\/github.com\/masatoshihanai\/ScaleSim (Last access: 19 Nov. 2018)."},{"volume-title":"Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915)","author":"Hanai M.","key":"e_1_2_1_13_1","unstructured":"M. Hanai , T. Suzumura , G. Theodoropoulos , and K. S. Perumalla . 2015. Exact-differential large-scale traffic simulation . In Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915) . ACM, 271--280. M. Hanai, T. Suzumura, G. Theodoropoulos, and K. S. Perumalla. 2015. Exact-differential large-scale traffic simulation. In Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915). ACM, 271--280."},{"volume-title":"Proceedings of the 2015 Winter Simulation Conference (WSC\u201915)","author":"Hanai M.","key":"e_1_2_1_14_1","unstructured":"M. Hanai , T. Suzumura , G. Theodoropoulos , and K. S. Perumalla . 2015. Towards large-scale what-if traffic simulation with exact-differential simulation . In Proceedings of the 2015 Winter Simulation Conference (WSC\u201915) . IEEE, 748--756. M. Hanai, T. Suzumura, G. Theodoropoulos, and K. S. Perumalla. 2015. Towards large-scale what-if traffic simulation with exact-differential simulation. In Proceedings of the 2015 Winter Simulation Conference (WSC\u201915). IEEE, 748--756."},{"volume-title":"Proceedings of IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom\u201914)","author":"Hanai M.","key":"e_1_2_1_15_1","unstructured":"M. Hanai , T. Suzumura , A. Ventresque , and K. Shudo . 2014. An adaptive VM provisioning method for large-scale agent-based traffic simulations on the cloud . In Proceedings of IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom\u201914) . IEEE, 130--137. M. Hanai, T. Suzumura, A. Ventresque, and K. Shudo. 2014. An adaptive VM provisioning method for large-scale agent-based traffic simulations on the cloud. In Proceedings of IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom\u201914). IEEE, 130--137."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201904)","author":"Hybinette M.","year":"2004","unstructured":"M. Hybinette . 2004 . Just-in-time cloning . In Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201904) . IEEE, 45--51. M. Hybinette. 2004. Just-in-time cloning. In Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201904). IEEE, 45--51."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/508366.508370"},{"volume-title":"Proceedings of the 35th Annual Simulation Symposium (SS\u201902)","author":"Hybinette M.","key":"e_1_2_1_18_1","unstructured":"M. Hybinette and R. M. Fujimoto . 2002. Scalability of parallel simulation cloning . In Proceedings of the 35th Annual Simulation Symposium (SS\u201902) . IEEE, 275--282. M. Hybinette and R. M. Fujimoto. 2002. Scalability of parallel simulation cloning. In Proceedings of the 35th Annual Simulation Symposium (SS\u201902). IEEE, 275--282."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1997.1404"},{"key":"e_1_2_1_21_1","unstructured":"G. Karypis and V. Kumar. 2013. METIS - A Software Package for Partitioning Unstructured Graphs Meshes and Computing Fill-Reducing Orderings of Sparse Matrices-Version 5.1.0. http:\/\/glaros.dtc.umn.edu\/gkhome\/metis\/metis\/overview (Last access: 19 Nov. 2018).  G. Karypis and V. Kumar. 2013. METIS - A Software Package for Partitioning Unstructured Graphs Meshes and Computing Fill-Reducing Orderings of Sparse Matrices-Version 5.1.0. http:\/\/glaros.dtc.umn.edu\/gkhome\/metis\/metis\/overview (Last access: 19 Nov. 2018)."},{"volume-title":"Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915)","author":"Li X.","key":"e_1_2_1_22_1","unstructured":"X. Li , W. Cai , and S. J. Turner . 2015. Cloning agent-based simulation on GPU . In Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915) . ACM, 173--182. X. Li, W. Cai, and S. J. Turner. 2015. Cloning agent-based simulation on GPU. In Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201915). ACM, 173--182."},{"volume-title":"Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data (SIGMOD\u201910)","author":"Malewicz G.","key":"e_1_2_1_23_1","unstructured":"G. Malewicz , M. H. Austern , A. J. C. Bik , J. C. Dehnert , I. Horn , N. Leiser , and G. Czajkowski . 2010. Pregel: A system for large-scale graph processing . In Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data (SIGMOD\u201910) . ACM, 135--146. G. Malewicz, M. H. Austern, A. J. C. Bik, J. C. Dehnert, I. Horn, N. Leiser, and G. Czajkowski. 2010. Pregel: A system for large-scale graph processing. In Proceedings of the 2010 ACM SIGMOD International Conference on Management of Data (SIGMOD\u201910). ACM, 135--146."},{"volume-title":"Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201916)","author":"Mikida E.","key":"e_1_2_1_24_1","unstructured":"E. Mikida , N. Jain , E. Gonsiorowski , C. D. Carothers , P. D. Barnes Jr ., and D. Jefferson . 2016. Towards PDES in a message-driven paradigm: A preliminary case study using Charm++ . In Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201916) . ACM, 99--110. E. Mikida, N. Jain, E. Gonsiorowski, C. D. Carothers, P. D. Barnes Jr., and D. Jefferson. 2016. Towards PDES in a message-driven paradigm: A preliminary case study using Charm++. In Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS\u201916). ACM, 99--110."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2013.2264906"},{"volume-title":"Proceedings of 2015 ICCS Workshop on Dynamic Data Driven Applications Systems (DDDAS\u201915)","author":"Pecher P.","key":"e_1_2_1_27_1","unstructured":"P. Pecher , M. Hunter , and R. Fujimoto . 2015. Efficient execution of replicated transportation simulations with uncertain vehicle trajectories . In Proceedings of 2015 ICCS Workshop on Dynamic Data Driven Applications Systems (DDDAS\u201915) . Elsevier, 2638--2647. P. Pecher, M. Hunter, and R. Fujimoto. 2015. Efficient execution of replicated transportation simulations with uncertain vehicle trajectories. In Proceedings of 2015 ICCS Workshop on Dynamic Data Driven Applications Systems (DDDAS\u201915). Elsevier, 2638--2647."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1218112.1218384"},{"volume-title":"Proceedings of the 20th ITS World Congress. ITS Japan. Paper No.4083","author":"Suzumura T.","key":"e_1_2_1_29_1","unstructured":"T. Suzumura and H. Kanezashi . 2013. Accelerating large-scale distributed traffic simulation with adaptive synchronization method . In Proceedings of the 20th ITS World Congress. ITS Japan. Paper No.4083 . T. Suzumura and H. Kanezashi. 2013. Accelerating large-scale distributed traffic simulation with adaptive synchronization method. In Proceedings of the 20th ITS World Congress. ITS Japan. Paper No.4083."},{"key":"e_1_2_1_30_1","volume-title":"http:\/\/www.t3.gsic.titech.ac.jp\/en (Last access","author":"TSUBAME.","year":"2018","unstructured":"Tokyo Tech. 2018. TSUBAME. http:\/\/www.t3.gsic.titech.ac.jp\/en (Last access : 19 Nov. 2018 ). Tokyo Tech. 2018. TSUBAME. http:\/\/www.t3.gsic.titech.ac.jp\/en (Last access: 19 Nov. 2018)."},{"volume-title":"Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201908)","author":"Yoginath S. B.","key":"e_1_2_1_31_1","unstructured":"S. B. Yoginath and K. S. Perumalla . 2008. Parallel vehicular traffic simulation using reverse computation-based optimistic execution . In Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201908) . IEEE, 33--42. S. B. Yoginath and K. S. Perumalla. 2008. Parallel vehicular traffic simulation using reverse computation-based optimistic execution. In Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS\u201908). IEEE, 33--42."},{"volume-title":"Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC\u201912)","author":"Zhang G.","key":"e_1_2_1_32_1","unstructured":"G. Zhang , M. Fang , M. Qian , and S. Xu . 2012. Parallel cloning simulation of flood mitigation operations in the upper-middle reach of huaihe river . In Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC\u201912) . IEEE, 73--80. G. Zhang, M. Fang, M. Qian, and S. Xu. 2012. Parallel cloning simulation of flood mitigation operations in the upper-middle reach of huaihe river. In Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC\u201912). IEEE, 73--80."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2015.2397438"}],"container-title":["ACM Transactions on Modeling and Computer Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3301499","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3301499","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3301499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:25Z","timestamp":1750204405000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3301499"}},"subtitle":["Differential Processing of Large-Scale Discrete Event Simulations"],"short-title":[],"issued":{"date-parts":[[2019,6,18]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,7,31]]}},"alternative-id":["10.1145\/3301499"],"URL":"https:\/\/doi.org\/10.1145\/3301499","relation":{},"ISSN":["1049-3301","1558-1195"],"issn-type":[{"type":"print","value":"1049-3301"},{"type":"electronic","value":"1558-1195"}],"subject":[],"published":{"date-parts":[[2019,6,18]]},"assertion":[{"value":"2017-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-11-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}