{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:08:51Z","timestamp":1748923731184,"version":"3.41.0"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2016,4,16]],"date-time":"2016-04-16T00:00:00Z","timestamp":1460764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10766-016-0429-2","type":"journal-article","created":{"date-parts":[[2016,4,16]],"date-time":"2016-04-16T17:47:33Z","timestamp":1460828853000},"page":"1200-1247","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables"],"prefix":"10.1007","volume":"44","author":[{"given":"Alessandro","family":"Pellegrini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastiano","family":"Peluso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Quaglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Vitali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"429_CR1","unstructured":"ACI: Dati e statistiche. http:\/\/www.aci.it\/?id=54"},{"key":"429_CR2","doi-asserted-by":"crossref","unstructured":"Adya, A., Liskov, B.: Lazy consistency using loosely synchronized clocks. In: PODC, pp. 73\u201382 (1997)","DOI":"10.1145\/259380.259425"},{"key":"429_CR3","doi-asserted-by":"crossref","unstructured":"Antonacci, F., Pellegrini, A., Quaglia, F.: Consistent and efficient output-stream management in optimistic simulation platform. In: Proceedings of the 2013 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 315\u2013326. ACM (2013)","DOI":"10.1145\/2486092.2486133"},{"key":"429_CR4","unstructured":"AUTOMAP: Atlante stradale italia. http:\/\/www.automap.it\/"},{"key":"429_CR5","unstructured":"Autostrade per L\u2019Italia S.p.A.: Reportistica sul traffico. http:\/\/www.autostrade.it\/studi\/studi_traffico.html"},{"key":"429_CR6","doi-asserted-by":"crossref","unstructured":"Bauer, D.W., Yaun, G., Carothers, C.D., Yuksel, M., Kalyanaraman, S.: Seven-o\u2019clock: a new distributed gvt algorithm using network atomic operations. In: Proceedings of the 19th Workshop on Parallel and Distributed Simulation, pp. 39\u201348. IEEE Comp. Soc. (2005)","DOI":"10.1109\/PADS.2005.27"},{"key":"429_CR7","volume-title":"Concurrency Control and Recovery in Database Systems","author":"PA Bernstein","year":"1986","unstructured":"Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley Longman Publishing Co. Inc., Boston (1986)"},{"key":"429_CR8","doi-asserted-by":"crossref","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, 1220\u20131227 (1988)","journal-title":"Commun. ACM"},{"key":"429_CR9","doi-asserted-by":"crossref","unstructured":"Bruce, D.: The treatment of state in optimistic systems. In: Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 40\u201349. IEEE Comp. Soc. (1995)","DOI":"10.1109\/PADS.1995.404318"},{"key":"429_CR10","unstructured":"Burns, J., Lynch, N.A.: Mutual exclusion using invisible reads and writes. In: Proceedings of the 18th Annual Allerton Conference on Communication, Control, and Computing, pp. 833\u2013842 (1980)"},{"issue":"2","key":"429_CR11","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/j.scico.2006.05.009","volume":"63","author":"J Cachopo","year":"2006","unstructured":"Cachopo, J., Rito-Silva, A.: Versioned boxes as the basis for memory transactions. Sci. Comput. Program. 63(2), 172\u2013185 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"429_CR12","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/1060576.1060577","volume":"15","author":"W Cai","year":"2005","unstructured":"Cai, W., Turner, S.J., Lee, B.S., Zhou, J.: An alternative time management mechanism for distributed simulations. ACM Trans. Model. Comput. Simul. 15(2), 109\u2013137 (2005)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"429_CR13","doi-asserted-by":"crossref","unstructured":"Carothers, C.D., Bauer, D.W., Pearce, S.: ROSS: a high performance modular Time Warp system. In: Proceedings of the 14th Workshop on Parallel and Distributed Simulation, pp. 53\u201360. IEEE Comp. Soc. (2000)","DOI":"10.1109\/PADS.2000.847144"},{"issue":"11","key":"429_CR14","doi-asserted-by":"crossref","first-page":"1648","DOI":"10.1016\/S0743-7315(02)00004-7","volume":"62","author":"CD Carothers","year":"2002","unstructured":"Carothers, C.D., Bauer, D.W., Pearce, S.: ROSS: a high-performance, low-memory, modular time warp system. J. Parallel Distrib. Comput. 62(11), 1648\u20131669 (2002)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"429_CR15","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1109\/71.841745","volume":"11","author":"CD Carothers","year":"2000","unstructured":"Carothers, C.D., Fujimoto, R.M.: Efficient execution of time warp programs on heterogeneous, NOW platforms. IEEE Trans. Parallel Distrib. Syst. 11(3), 299\u2013317 (2000)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"429_CR16","doi-asserted-by":"crossref","unstructured":"Carothers, C.D., Perumalla, K.S.: On deciding between conservative and optimistic approaches on massively parallel platforms. In: Winter Simulation Conference, pp. 678\u2013687 (2010)","DOI":"10.1109\/WSC.2010.5679119"},{"issue":"3","key":"429_CR17","doi-asserted-by":"crossref","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":"429_CR18","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/359327.359337","volume":"21","author":"RP Case","year":"1978","unstructured":"Case, R.P., Padegs, A.: Architecture of the IBM system\/370. Commun. ACM 21, 73\u201396 (1978)","journal-title":"Commun. ACM"},{"issue":"5","key":"429_CR19","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1979.230182","volume":"5","author":"KM Chandy","year":"1979","unstructured":"Chandy, K.M., Misra, J.: Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. SE-S 5(5), 440\u2013452 (1979)","journal-title":"IEEE Trans. Softw. Eng. SE-S"},{"key":"429_CR20","unstructured":"Chandy, K.M., Sherman, R.: Space\u2013time and simulation. In: Proceedings of the SCS Multiconference on Distributed Simulation, pp. 53\u201357 (1989)"},{"key":"429_CR21","doi-asserted-by":"crossref","unstructured":"Chen, L.L., Lu, Y.S., Yao, Y.P., Peng, S.l., Wu, L.D.: A well-balanced time warp system on multi-core environments. In: Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation, PADS, pp. 1\u20139. IEEE Comp. Soc. (2011)","DOI":"10.1109\/PADS.2011.5936752"},{"key":"429_CR22","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 3rd ACM Conference on SIGSIM-Principles of Advanced Discrete Simulation, London, United Kingdom, June 10\u201312, 2015, pp. 211\u2013222 (2015)","DOI":"10.1145\/2769458.2769482"},{"key":"429_CR23","unstructured":"Corporation, I.B.M.: IBM System\/370 Extended Architecture, Principles of Operation. IBM Publication No. SA22-7085 (1983)"},{"key":"429_CR24","doi-asserted-by":"crossref","unstructured":"Cucuzzo, D., D\u2019Alessio, S., Quaglia, F., Romano, P.: A lightweight heuristic-based mechanism for collecting committed consistent global states in optimistic simulation. In: IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, vol.\u00a00, pp. 227\u2013234. IEEE Comp. Soc., Los Alamitos, CA (2007)","DOI":"10.1109\/DS-RT.2007.18"},{"issue":"2","key":"429_CR25","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1145\/249204.249207","volume":"7","author":"SR Das","year":"1997","unstructured":"Das, S.R., Fujimoto, R.M.: Adaptive memory management and optimism control in Time Warp. ACM Trans. Model. Comput. Simul. 7(2), 239\u2013271 (1997)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"1\/2","key":"429_CR26","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/850614.850632","volume":"6","author":"WB Easton","year":"1972","unstructured":"Easton, W.B.: Process synchronization without long-term interlock. SIGOPS Oper. Syst. Rev. 6(1\/2), 95\u2013100 (1972)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"429_CR27","doi-asserted-by":"publisher","unstructured":"Fabbri, A., Donatiello, L.: Sqtw: a mechanism for state-dependent parallel simulation. description and experimental study. In: Proceedings. 11th Workshop on Parallel and Distributed Simulation, 1997, pp. 82\u201389 (1997). doi: 10.1109\/PADS.1997.594590","DOI":"10.1109\/PADS.1997.594590"},{"issue":"2","key":"429_CR28","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"MJ Fischer","year":"1985","unstructured":"Fischer, M.J., Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J. ACM 32(2), 374\u2013382 (1985)","journal-title":"J. ACM"},{"issue":"10","key":"429_CR29","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/84537.84545","volume":"33","author":"RM Fujimoto","year":"1990","unstructured":"Fujimoto, R.M.: Parallel discrete event simulation. Commun. ACM 33(10), 30\u201353 (1990)","journal-title":"Commun. ACM"},{"key":"429_CR30","unstructured":"Fujimoto, R.M.: Performance of Time Warp under synthetic workloads. In: Proceedings of the Multiconference on Distributed Simulation, pp. 23\u201328. Society for Computer Simulation (1990)"},{"issue":"3","key":"429_CR31","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1287\/ijoc.5.3.213","volume":"5","author":"RM Fujimoto","year":"1993","unstructured":"Fujimoto, R.M.: Feature article: Parallel discrete event simulation: Will the field survive? INFORMS J. Comput. 5(3), 213\u2013230 (1993)","journal-title":"INFORMS J. Comput."},{"key":"429_CR32","doi-asserted-by":"crossref","unstructured":"Fujimoto, R.M.: Exploiting temporal uncertainty in parallel and distributed simulation. In: Proceedings of the 13th Workshop on Parallel and Distributed Simulation, pp. 46\u201353. IEEE Comp. Soc. (1999)","DOI":"10.1109\/PADS.1999.766160"},{"issue":"4","key":"429_CR33","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1145\/268403.268404","volume":"7","author":"RM Fujimoto","year":"1997","unstructured":"Fujimoto, R.M., Hybinette, M.: Computing global virtual time in shared-memory multiprocessors. ACM Trans. Model. Comput. Simul. 7(4), 425\u2013446 (1997)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"429_CR34","unstructured":"Gan, B.P., Low, M.Y.H., Wei, J., Wang, X., Turner, S.J., Cai, W.: Synchronization and management of shared state in HLA-based distributed simulation. In: Proceedings of the 2003 Winter Simulation Conference, vol.\u00a01, pp. 847\u2013854. IEEE Computer Society (2003)"},{"key":"429_CR35","unstructured":"Ghosh, K., Fujimoto, R.M.: Parallel discrete event simulation using space-time memory. In: Proceedings of the 1991 International Conference on Parallel Processing, pp. 201\u2013208 (1991)"},{"issue":"3","key":"429_CR36","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1109\/71.210814","volume":"4","author":"DW Glazer","year":"1993","unstructured":"Glazer, D.W., Tropper, C.: On process migration and load balancing in time warp. IEEE Trans. Parallel Distrib. Syst. 4(3), 318\u2013327 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"429_CR37","doi-asserted-by":"crossref","unstructured":"Guerraoui, R., Kapalka, M.: On the correctness of transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP, pp. 175\u2013184. ACM (2008)","DOI":"10.1145\/1345206.1345233"},{"key":"429_CR38","first-page":"300","volume-title":"Distributed Computing. Lecture Notes in Computer Science","author":"T Harris","year":"2001","unstructured":"Harris, T.: A pragmatic implementation of non-blocking linked-lists. In: Welch, J. (ed.) Distributed Computing. Lecture Notes in Computer Science, vol. 2180, pp. 300\u2013314. Springer, Berlin (2001)"},{"key":"429_CR39","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-45414-4_21","volume-title":"Distributed Computing","author":"T Harris","year":"2001","unstructured":"Harris, T.: A pragmatic implementation of non-blocking linked-lists. In: Welch, J. (ed.) Distributed Computing, vol. 2180, pp. 300\u2013314. Springer, Berlin (2001)"},{"issue":"1","key":"429_CR40","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/114005.102808","volume":"13","author":"M Herlihy","year":"1991","unstructured":"Herlihy, M.: Wait-free synchronization. ACM Trans. Program. Lang. Syst. 13(1), 124\u2013149 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"429_CR41","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Shavit, N.: On the nature of progress. In: OPODIS, pp. 313\u2013328 (2011)","DOI":"10.1007\/978-3-642-25873-2_22"},{"issue":"3","key":"429_CR42","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1145\/78969.78972","volume":"12","author":"MP Herlihy","year":"1990","unstructured":"Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463\u2013492 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"429_CR43","unstructured":"HPDCS Research Group: ROOT-Sim: The ROme OpTimistic Simulator\u2014v 1.0. http:\/\/www.dis.uniroma1.it\/~hpdcs\/ROOT-Sim\/ (2012). https:\/\/github.com\/HPDCS\/ROOT-Sim"},{"key":"429_CR44","unstructured":"IEEE Std 1516-2000: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)\u2014Framework and Rules. Tech. rep., Institute of Electrical and Electronics Engineers, Inc., New York, NY (2000)"},{"key":"429_CR45","unstructured":"IEEE Std 1516.1-2000: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)\u2014Federate Interface (FI) Specification. Tech. rep., Institute of Electrical and Electronics Engineers, Inc., New York, NY (2000)"},{"key":"429_CR46","unstructured":"Intel Corporation: IA-32 Intel(R) Architecture Software Developer\u2019s Manual, Volume 2: Instruction Set Reference"},{"issue":"3","key":"429_CR47","doi-asserted-by":"crossref","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":"1","key":"429_CR48","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/7693.975444","volume":"1","author":"S Kandukuri","year":"2002","unstructured":"Kandukuri, S., Boyd, S.: Optimal power control in interference-limited fading wireless channels with outage-probability specifications. IEEE Trans. Wireless Commun. 1(1), 46\u201355 (2002)","journal-title":"IEEE Trans. Wireless Commun."},{"issue":"11","key":"429_CR49","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1145\/359863.359878","volume":"20","author":"L Lamport","year":"1977","unstructured":"Lamport, L.: Concurrent reading and writing. Commun. ACM 20(11), 806\u2013811 (1977)","journal-title":"Commun. ACM"},{"issue":"8","key":"429_CR50","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1177\/0037549706069342","volume":"82","author":"MYH Low","year":"2006","unstructured":"Low, M.Y.H., Gan, B.P., Wei, J., Wang, X., Turner, S.J., Cai, W.: Shared state synchronization for hla-based distributed simulation. Simulation 82(8), 511\u2013521 (2006)","journal-title":"Simulation"},{"key":"429_CR51","doi-asserted-by":"crossref","unstructured":"Martin, D.E., McBrayer, T.J., Wilsey, P.A.: WARPED: a Time Warp simulation kernel for analysis and application development. In: HICSS \u201996: Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS\u201996) Volume 1: Software Technology and Architecture, p. 383. IEEE Comp. Soc. (1996)","DOI":"10.1109\/HICSS.1996.495485"},{"key":"429_CR52","doi-asserted-by":"crossref","unstructured":"Martin, D.E., McBrayer, T.J., Wilsey, P.A.: WARPED: a time warp simulation kernel for analysis and application development. In: Proceedings of the 29th Hawaii International Conference on System Sciences - Volume 1: Software Technology and Architecture, p. 383. IEEE Computer Society, Washington, DC, USA (1996)","DOI":"10.1109\/HICSS.1996.495485"},{"key":"429_CR53","unstructured":"Matz, M., Hubicka, J., Jaeger, A., Mitchell, M.: System V Application Binary Interface AMD64 Architecture Processor Supplement (2007). http:\/\/www.x86-64.org\/documentation.html"},{"issue":"2","key":"429_CR54","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/233498.233499","volume":"25","author":"H Mehl","year":"1995","unstructured":"Mehl, H., Hammes, S.: How to integrate shared variables in distributed simulation. SIGSIM Simul. Dig. 25(2), 14\u201341 (1995)","journal-title":"SIGSIM Simul. Dig."},{"issue":"6","key":"429_CR55","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1109\/TPDS.2004.8","volume":"15","author":"MM Michael","year":"2004","unstructured":"Michael, M.M.: Hazard pointers: Safe memory reclamation for lock-free objects. IEEE Trans. Parallel Distrib. Syst. 15(6), 491\u2013504 (2004)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"429_CR56","doi-asserted-by":"crossref","unstructured":"Nicol, D.M., Liu, X.: The dark side of risk (what your mother never told you about time warp). In: Proceedings of the 11th Workshop on Parallel and Distributed Simulation, PADS, pp. 188\u2013195. IEEE Computer Society (1997)","DOI":"10.1145\/268823.268920"},{"key":"429_CR57","doi-asserted-by":"crossref","unstructured":"Pellegrini, A.: Hijacker: Efficient static software instrumentation with applications in high performance computing (poster paper). In: Proceedings of the 2013 International Conference on High Performance Computing & Simulation, HPCS, pp. 650\u2013655. IEEE Computer Society (2013)","DOI":"10.1109\/HPCSim.2013.6641486"},{"key":"429_CR58","doi-asserted-by":"crossref","unstructured":"Pellegrini, A., Quaglia, F.: Transparent multi-core speculative parallelization of DES models with event and cross-state dependencies. In: SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS \u201914, Denver, CO, USA, May 18\u201321, 2014, pp. 105\u2013116 (2014)","DOI":"10.1145\/2601381.2601398"},{"key":"429_CR59","doi-asserted-by":"crossref","unstructured":"Pellegrini, A., Quaglia, F.: Wait-free global virtual time computation in shared memory time warp systems. In: Proceedings of the 29th IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Paris, France (2014)","DOI":"10.1109\/SBAC-PAD.2014.38"},{"issue":"6","key":"429_CR60","doi-asserted-by":"crossref","first-page":"1560","DOI":"10.1109\/TPDS.2014.2323967","volume":"26","author":"A Pellegrini","year":"2015","unstructured":"Pellegrini, A., Vitali, R., 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":"4","key":"429_CR61","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1057\/jos.2012.13","volume":"6","author":"S Peluso","year":"2012","unstructured":"Peluso, S., Didona, D., Quaglia, F.: Supports for transparent object-migration in PDES systems. J. Simul. 6(4), 279\u2013293 (2012)","journal-title":"J. Simul."},{"issue":"3","key":"429_CR62","doi-asserted-by":"crossref","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":"4","key":"429_CR63","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/71.920586","volume":"12","author":"F Quaglia","year":"2001","unstructured":"Quaglia, F.: A cost model for selecting checkpoint positions in Time Warp parallel simulation. IEEE Trans. Parallel Distrib. Syst. 12(4), 346\u2013362 (2001)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"3","key":"429_CR64","doi-asserted-by":"crossref","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":"429_CR65","doi-asserted-by":"crossref","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."},{"issue":"1","key":"429_CR66","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.jcss.2013.07.006","volume":"80","author":"P Romano","year":"2014","unstructured":"Romano, P., Palmieri, R., Quaglia, F., Carvalho, N., Rodrigues, L.E.T.: On speculative replication of transactional systems. J. Comput. Syst. Sci. 80(1), 257\u2013276 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"429_CR67","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing. PODC \u201995, pp. 204\u2013213. ACM, New York, NY (1995)","DOI":"10.1145\/224964.224987"},{"key":"429_CR68","unstructured":"The SCO Group, Inc.: System V Application Binary Interface, Intel386 Architecture Processor Supplement, fourth edn. (1997). http:\/\/www.sco.com\/developers\/devspecs\/"},{"issue":"2\u20134","key":"429_CR69","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/s10472-009-9124-y","volume":"52","author":"R Vincent","year":"2008","unstructured":"Vincent, R., Fox, D., Ko, J., Konolige, K., Limketkai, B., Morisset, B., Ortiz, C., Schulz, D., Stewart, B.: Distributed multirobot exploration, mapping, and task allocation. Ann. Math. Artif. Intell. 52(2\u20134), 229\u2013255 (2008)","journal-title":"Ann. Math. Artif. Intell."},{"key":"429_CR70","doi-asserted-by":"crossref","unstructured":"Vitali, R., Pellegrini, A., Quaglia, F.: Benchmarking memory management capabilities within root-sim. In: Proceedings of the 13th IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications. IEEE Comp. Soc. (2009)","DOI":"10.1109\/DS-RT.2009.15"},{"issue":"3","key":"429_CR71","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/2425248.2425250","volume":"40","author":"R Vitali","year":"2012","unstructured":"Vitali, R., Pellegrini, A., Quaglia, F.: Load sharing for optimistic parallel simulations on multi core machines. SIGMETRICS Perform. Eval. Rev. 40(3), 2\u201311 (2012)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"6","key":"429_CR72","doi-asserted-by":"crossref","first-page":"1574","DOI":"10.1109\/TPDS.2013.193","volume":"25","author":"J Wang","year":"2014","unstructured":"Wang, J., Jagtap, D., Abu-Ghazaleh, N.B., Ponomarev, D.: Parallel discrete event simulation for multi-core systems: analysis and optimization. IEEE Trans. Parallel Distrib. Syst. 25(6), 1574\u20131584 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"429_CR73","unstructured":"Young, C.H., Radhakrishnan, R., Wilsey, P.A.: Optimism: not just for event execution anymore. In: Proceedings of the Thirteenth Workshop on Parallel and Distributed Simulation, PADS \u201999, Atlanta, GA, USA, May 1\u20134, 1999, pp. 136\u2013143 (1999)"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0429-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-016-0429-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-016-0429-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T19:42:20Z","timestamp":1748893340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-016-0429-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,16]]},"references-count":73,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["429"],"URL":"https:\/\/doi.org\/10.1007\/s10766-016-0429-2","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2016,4,16]]}}}