{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T15:47:37Z","timestamp":1750780057834,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405773"},{"type":"electronic","value":"9783319405780"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40578-0_9","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T20:25:20Z","timestamp":1467231920000},"page":"137-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation"],"prefix":"10.1007","author":[{"given":"Davide","family":"Cingolani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Pellegrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"issue":"10","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1220","DOI":"10.1145\/63039.63045","volume":"31","author":"R Brown","year":"1988","unstructured":"Brown, R.: Calendar queues: a fast O(1) priority queue implementation for the simulation event set problem. Commun. ACM 31(10), 1220\u20131227 (1988)","journal-title":"Commun. ACM"},{"issue":"3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/347823.347828","volume":"9","author":"CD Carothers","year":"1999","unstructured":"Carothers, C.D., Perumalla, K.S., Fujimoto, R.M.: Efficient optimistic parallel simulations using reverse computation. ACM Trans. Model. Comput. Simul. 9(3), 224\u2013253 (1999)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Cingolani, D., Pellegrini, A., Quaglia, F.: Transparently mixing undo logs and software reversibility for state recovery in optimistic PDES. In: Proceedings of the ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 211\u2013222 (2015)","DOI":"10.1145\/2769458.2769482"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dice, D., Shavit, N.: TLRW: return of the read-write lock. In: Proceedings of the 22nd Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 284\u2013293 (2010)","DOI":"10.1145\/1810479.1810531"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Probabilistic adaptive direct optimism control in time warp. In: Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 120\u2013129 (1995)","DOI":"10.1145\/214283.214320"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Ferscha, A., Luthi, J.: Estimating rollback overhead for optimism control in time warp. In: Proceedings of the 28th Annual Simulation Symposium, pp. 2\u201312 (1995)","DOI":"10.1109\/SIMSYM.1995.393563"},{"key":"9_CR7","first-page":"19","volume":"33","author":"RM Fujimoto","year":"1989","unstructured":"Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33, 19\u201328 (1989)","journal-title":"Commun. ACM"},{"key":"9_CR8","unstructured":"Fujimoto, R.M.: Performance of time warp under synthetic workloads. In: Proceedings of the Multiconference on Distributed Simulation, pp. 23\u201328 (1990)"},{"issue":"1","key":"9_CR9","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/12.123382","volume":"41","author":"RM Fujimoto","year":"1992","unstructured":"Fujimoto, R.M., Tsai, J.J., Gopalakrishnan, G.: Design and evaluation of the rollback chip: special purpose hardware for time warp. IEEE Trans. Comput. 41(1), 68\u201382 (1992)","journal-title":"IEEE Trans. Comput."},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1145\/3916.3988","volume":"7","author":"DR Jefferson","year":"1985","unstructured":"Jefferson, D.R.: Virtual time. ACM Trans. Program. Lang. Syst. 7(3), 404\u2013425 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1145\/361026.361032","volume":"10","author":"V Jha","year":"2000","unstructured":"Jha, V., Bagrodia, R.: Simultaneous events and lookahead in simulation protocols. ACM Trans. Model. Comput. Simul. 10(3), 241\u2013267 (2000)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"LaPre, J.M., Gonsiorowski, E.J., Carothers, C.D.: LORAIN: a step closer to the PDES \u2019Holy Grail\u2019. In: Proceedings of the ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 3\u201314 (2014)","DOI":"10.1145\/2601381.2601397"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Mehl, H.: A deterministic tie-breaking scheme for sequential and distributed simulation. In: Proceedings of the Workshop on Parallel and Distributed Simulation (1992)","DOI":"10.1145\/158459.158468"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Pellegrini, A.: Hijacker: efficient static software instrumentation with applications in high performance computing. In: Proceedings of the International Conference on High Performance Computing and Simulation, pp. 650\u2013655 (2013)","DOI":"10.1109\/HPCSim.2013.6641486"},{"issue":"6","key":"9_CR15","doi-asserted-by":"publisher","first-page":"1560","DOI":"10.1109\/TPDS.2014.2323967","volume":"26","author":"A Pellegrini","year":"2015","unstructured":"Pellegrini, A., Vitali, R., Quaglia, F., Pellegrini, A., Quaglia, F.: Autonomic state management for optimistic simulation platforms. IEEE Trans. Parallel Distrib. Syst. 26(6), 1560\u20131569 (2015)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/189443.189444","volume":"4","author":"BR Preiss","year":"1994","unstructured":"Preiss, B.R., Loucks, W.M., MacIntyre, D.: Effects of the checkpoint interval on time and space in time warp. ACM Trans. Model. Comput. Simul. 4(3), 223\u2013253 (1994)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(99)00056-3","volume":"70","author":"F Quaglia","year":"1999","unstructured":"Quaglia, F., Baldoni, R.: Exploiting intra-object dependencies in parallel simulation. Inf. Process. Lett. 70(3), 119\u2013125 (1999)","journal-title":"Inf. Process. Lett."},{"issue":"6","key":"9_CR18","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1109\/TPDS.2003.1206506","volume":"14","author":"F Quaglia","year":"2003","unstructured":"Quaglia, F., Santoro, A.: Non-blocking checkpointing for optimistic parallel simulation: description and an implementation. IEEE Trans. Parallel Distrib. Syst. 14(6), 593\u2013610 (2003)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Santini, E., Ianni, M., Pellegrini, A., Quaglia, F.: HTM based speculative parallel discrete event simulation of very fine grain models. In: Proceedings of the 22nd International Conference on High Performance Computing, pp. 145\u2013154 (2015)","DOI":"10.1109\/HiPC.2015.45"},{"issue":"10","key":"9_CR20","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1109\/71.730524","volume":"9","author":"HM Soliman","year":"1998","unstructured":"Soliman, H.M., Elmaghraby, A.S.: An analytical model for hybrid checkpointing in time warp distributed simulation. IEEE Trans. Parallel Distrib. Syst. 9(10), 947\u2013951 (1998)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"West, D., Panesar, K.: Automatic incremental state saving. In: Proceedings of the 10th Workshop on Parallel and Distributed Simulation, pp. 78\u201385 (1996)","DOI":"10.1145\/238793.238820"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40578-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T23:14:39Z","timestamp":1748992479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40578-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405773","9783319405780"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40578-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}