{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:20:36Z","timestamp":1737264036456,"version":"3.33.0"},"reference-count":43,"publisher":"Informa UK Limited","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1080\/17445760600760876","type":"journal-article","created":{"date-parts":[[2007,7,7]],"date-time":"2007-07-07T06:53:42Z","timestamp":1183791222000},"page":"385-404","source":"Crossref","is-referenced-by-count":0,"title":["Consistency verification in transaction-based optimistic steering of distributed computations"],"prefix":"10.1080","volume":"21","author":[{"given":"Jinhua","family":"Guo","sequence":"first","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1987.0073"},{"key":"CIT0002","unstructured":"Brodlie, K., Mason, S., Thompson, M., Walkley, M. and Wood, J. Reacting to a crisis: benefits of collaborative visualization and computational steering in a grid environment. the UK e-Science All Hands Conference"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"},{"key":"CIT0004","unstructured":"Chandy, K.M. and Sherman, R. The conditional event approach to distributed simulation. Proceedings of the SCS Multiconference on Distributed Simulation. pp.93\u201399."},{"key":"CIT0005","unstructured":"Chandy, K.M. and Sherman, R. Space, time, and simulation. Proceedings of the SCS Multiconference on Distributed Simulation. pp.53\u201357."},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1080\/00107510310001605046"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Cooper, R. and Marzullo, K. Consistent detection of global predicates. Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging. pp.167\u2013174.","DOI":"10.1145\/127695.122774"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90021-6"},{"key":"CIT0009","first-page":"56","volume":"10","author":"Fidge C.J.","year":"1988","journal-title":"Australian Computer Science Communications"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1978.0064"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1145\/204362.204365"},{"key":"CIT0012","doi-asserted-by":"crossref","unstructured":"Fowler, J. and Zwaenepoel, W. Causal distributed breakpoints. Proceeding of the 10th International Conference on Distributed Computing Systems. pp.134\u2013141.","DOI":"10.1109\/ICDCS.1990.89277"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Fromentin, E., Raynal, M., Garg, V.K. and Tomlinson, A. On the fly testing of regular patterns in distributed computations. Proceedings of the 23rd International Conference on Parallel Processing. pp.73\u201376.","DOI":"10.1109\/ICPP.1994.138"},{"key":"CIT0014","first-page":"211","volume":"6","author":"Fujimoto R.","year":"1989","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1995.500047"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1177\/109434209701100305"},{"key":"CIT0017","unstructured":"Ghosh, K., Fujimoto, R. and Schwan, K. A testbed for optimistic execution of real-time simulations. Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems."},{"volume-title":"Transaction Processing: Techniques and Concepts","year":"1992","author":"Gray J.","key":"CIT0018"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(02)00188-X"},{"key":"CIT0020","unstructured":"Guo, J., 2002, Consistent, interactive steering of distributed computations: algorithms and implementation, PhD Thesis, Department of Computer Science, University of Georgia."},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Hart, D., Kraemer, E. and Roman, G.C. Interactive visual exploration of distributed computations. Proceedings of 11th International Parallel Processing Symposium. pp.121\u2013127.","DOI":"10.1109\/IPPS.1997.580864"},{"key":"CIT0022","unstructured":"Hart, D., 2000, Supporting exploratory visualization of distributed computations, PhD thesis, Washington University."},{"key":"CIT0023","unstructured":"Hurfin, M., Mizuno, M., Raynal, M. and Singhal, M., 1995, Efficient distributed detection of conjunctions of local predicates, Technical Report TR-967, IRISA."},{"key":"CIT0024","doi-asserted-by":"crossref","unstructured":"Izrailev, S., Sergey, S., Isralewitz, B., Kosztin, D., Lu, H., Molnar, F., Wriggers, W. and Schulten, K., 1998, Computational molecular dynamics: challenges, methods, ideas. Lecture Notes in Computational Science and Engineering, pp. 39\u201365.","DOI":"10.1007\/978-3-642-58360-5_2"},{"key":"CIT0025","doi-asserted-by":"crossref","unstructured":"Jablonowski, D.J., Bruner, J.D., Bliss, B. and Haber, R.B., 1993, VASE: the visualisation and application steering environment. Proceedings of Super Computing, pp. 560\u2013569.","DOI":"10.1145\/169627.169799"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"CIT0027","unstructured":"Jefferson, D. and Motro, A. The time warp mechanism for database concurrency control. Proceedings of the IEEE 2nd International Conference on Data Engineering. pp.141\u2013150."},{"key":"CIT0028","doi-asserted-by":"crossref","unstructured":"Kraemer, E., Hart, D. and Roman, G.C. Balancing consistency and lag in transaction-based computational steering. Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences. pp.137\u2013147.","DOI":"10.1109\/HICSS.1998.649207"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2004.09.020"},{"volume-title":"Distributed Algorithms","year":"1996","author":"Lynch N.","key":"CIT0031"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/0743-7315(92)90058-U"},{"key":"CIT0033","first-page":"215","author":"Mattern F.","year":"1989","journal-title":"Parallel and Distributed Algorithms"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(98)00047-8"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1109\/71.342127"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1007\/BF02277859"},{"key":"CIT0037","unstructured":"Taha, T.R., 1992, A parallel-vector algorithm for an investigation of a self-focusing singularity of higher KdV equation. Proceedings of the Fifth International Symposium on Domain Decomposition Methods for PDES, pp. 597\u2013604."},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(96)00029-5"},{"key":"CIT0039","first-page":"304","author":"vanWijk J.","year":"2000","journal-title":"Scientific Visualization"},{"key":"CIT0040","unstructured":"Vetter, J. and Schwan, K. PROGRESS: A toolkit for interactive program steering. Proceedings of the 24th Annual Conference on Parallel Processing. pp.139\u2013142."},{"key":"CIT0041","doi-asserted-by":"crossref","unstructured":"Vetter, J. and Schwan, K. High performance computational steering of physical simulations. Proceedings of the 11th International Parallel Processing Symposium. pp.128","DOI":"10.1109\/IPPS.1997.580866"},{"key":"CIT0042","unstructured":"Vuppula, H., Kraemer, E. and Hart, D. Algorithms for collection of global snapshots: An empirical evaluation. Proceedings of the ISCA Conference on Parallel and Distributed Computing. pp.197\u2013204."},{"key":"CIT0043","doi-asserted-by":"crossref","unstructured":"Walkley, M., Wood, J. and Brodlie, K., 2002, A distributed co-operative problem solving environment. Computational science. ICCS 2002, LNCS, pp. 23\u201329.","DOI":"10.1007\/3-540-46043-8_86"}],"container-title":["International Journal of Parallel, Emergent and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/17445760600760876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T09:51:47Z","timestamp":1737193907000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/17445760600760876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":43,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["10.1080\/17445760600760876"],"URL":"https:\/\/doi.org\/10.1080\/17445760600760876","relation":{},"ISSN":["1744-5760","1744-5779"],"issn-type":[{"type":"print","value":"1744-5760"},{"type":"electronic","value":"1744-5779"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}