{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:37:30Z","timestamp":1729676250535,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wsc.2003.1261505","type":"proceedings-article","created":{"date-parts":[[2004,5,6]],"date-time":"2004-05-06T16:18:03Z","timestamp":1083860283000},"page":"864-871","source":"Crossref","is-referenced-by-count":1,"title":["An algorithm for fully-reversible optimistic parallel simulation"],"prefix":"10.1109","author":[{"given":"M.D.","family":"Peters","sequence":"first","affiliation":[]},{"given":"C.D.","family":"Carothers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"Reversibility for Efficient Computing","year":"1999","author":"frank","key":"ref10"},{"article-title":"Optimizing Incremental State-Saving and Restoration","year":"1996","author":"gomes","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/229473.229474"},{"key":"ref13","article-title":"Optimal time and minimum space-time product for reversing a certain class of programs","author":"grimm","year":"0","journal-title":"Research Report Institute National de Recherche en Informatique et en Automatique (INRIA)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(97)00052-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5005"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/130611.130612"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/158459.158460"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1006\/jpdc.1993.1075","article-title":"Efficient distributed snapshots and global virtual time algorithms for non-F1FO systems","volume":"18","author":"mattern","year":"1993","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1997.630863"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/312009.312079"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-7315(02)00004-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/347823.347828"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90042-C"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2002.1004211"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF02084158"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017210"},{"key":"ref9","first-page":"219","article-title":"A heuristic approach to program inversion","author":"eppstein","year":"1985","journal-title":"In Proceedings of the 9th International Joint Conference on Artificial Intelligence"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34987-9_40"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/192537.192541"},{"key":"ref21","article-title":"Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits","author":"perumalla","year":"2002","journal-title":"Proc of Meeting of Intl Soc for Optical Engin (SPIE)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2003.1207431"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(97)80167-1"}],"event":{"name":"2003 Winter Simulation Conference","acronym":"WSC-03","location":"New Orleans, LA, USA"},"container-title":["Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8912\/28195\/01261505.pdf?arnumber=1261505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:52:30Z","timestamp":1497581550000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1261505\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/wsc.2003.1261505","relation":{},"subject":[]}}