Consistency verification in transaction-based optimistic steering of distributed computations

References

• Bona , J.L. , Souganidis , P.E. and Strauss , W.A. 1987 . Stability and instability of solitary waves of Korteweg-de Vries type . Proceedings of the Royal Society of London A , 411 : 395 – 412 .
   Google Scholar
• 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
   Google Scholar
• Chandy , K.M. and Lamport , L. 1985 . Distributed snapshots: Determining global states of distributed systems . ACM Transactions on Computer Systems , 3 ( 1 ) : 272 – 314 .
   Google Scholar
• Chandy , K.M. and Sherman , R. The conditional event approach to distributed simulation . Proceedings of the SCS Multiconference on Distributed Simulation . pp. 93 – 99 .
   Google Scholar
• Chandy , K.M. and Sherman , R. Space, time, and simulation . Proceedings of the SCS Multiconference on Distributed Simulation . pp. 53 – 57 .
   Google Scholar
• Chin , J. , Harting , J. , Jha , S. , Coveney , P.V. and Porter , A.R. 2003 . Steering in computational science: mesoscale modelling and simulation . Contemporary Physics , 44 ( 5 ) : 417 – 434 .
   Web of Science ®Google Scholar
• Cooper , R. and Marzullo , K. Consistent detection of global predicates . Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging . pp. 167 – 174 .
   Google Scholar
• Dijkstra and Scholten , B.P. 1980 . Termination detections for diffusing computations . Information Processing Letters , 11 ( 1 ) : 1 – 4 .
   Google Scholar
• Fidge , C.J. 1988 . Timestamps in message-passing systems that preserve the partial ordering . Australian Computer Science Communications , 10 ( 1 ) : 56 – 66 .
   Google Scholar
• Fornberg , B. and Whitham , G. 1978 . A numerical and theoretical study of certain nonlinear wave phenomena . Philosophical Transactions of the Royal Society of London, Series A , 289 : 373 – 404 .
   Web of Science ®Google Scholar
• Foulser , D. 1995 . Iris explorer: A framework for investigation . ACMSIGGRAPH Computer Graphics , 29 ( 2 ) : 13 – 16 .
   Google Scholar
• Fowler , J. and Zwaenepoel , W. Causal distributed breakpoints . Proceeding of the 10th International Conference on Distributed Computing Systems . pp. 134 – 141 .
   Google Scholar
• 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 – 76 .
   Google Scholar
• Fujimoto , R. 1989 . Time warp on a shared memory multiprocessor . Transactions of the Society for Computer Simulation , 6 ( 3 ) : 211 – 239 .
   Google Scholar
• Garg , V. and Chase , C. 1995 . Distributed algorithms for detecting conjunctive predicates . Proceedings of the 15th International Conference on Distributed Computing Systems (ICDCS'95) , : 423 – 430 .
   Google Scholar
• Geist , G.A. , Kohl , J.A. and Papadopoulos , P.M. 1996 . CUMULVS: providing fault tolerance, visualization, and steering of parallel applications . International Journal of Supercomputer Applications and High Performance Computing , 11 ( 3 ) : 224 – 235 .
   Google Scholar
• 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 .
   Google Scholar
• Gray , J. and Reuter , A. 1992 . Transaction Processing: Techniques and Concepts , San Mateo, CA : Morgan Kaufmann .
   Google Scholar
• Guo , J. and Taha , T.R. 2003 . Parallel Implementation of the split-step fourier method and the pseudospectral method for solving higher KdV equation . Mathematics and Computers in Simulation , 62 ( 1 ) : 41 – 51 .
   Google Scholar
• Guo, J., 2002, Consistent, interactive steering of distributed computations: algorithms and implementation, PhD Thesis, Department of Computer Science, University of Georgia.
   Google Scholar
• Hart , D. , Kraemer , E. and Roman , G.-C. Interactive visual exploration of distributed computations . Proceedings of 11th International Parallel Processing Symposium . pp. 121 – 127 .
   Google Scholar
• Hart, D., 2000, Supporting exploratory visualization of distributed computations, PhD thesis, Washington University.
   Google Scholar
• Hurfin, M., Mizuno, M., Raynal, M. and Singhal, M., 1995, Efficient distributed detection of conjunctions of local predicates, Technical Report TR-967, IRISA.
   Google Scholar
• 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–65.
   Google Scholar
• 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–569.
   Google Scholar
• Jefferson , D. 1985 . Virtual time . ACM Transactions on Programming Languages and Systems , 7 ( 3 ) : 404 – 425 .
   Web of Science ®Google Scholar
• 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 – 150 .
   Google Scholar
• 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 – 147 .
   Google Scholar
• Lamport , L. 1978 . Time, clocks, and the ordering of events in a distributed system . Communications of the ACM , 21 ( 7 ) : 558 – 565 .
   Web of Science ®Google Scholar
• Liu , H. , Jiang , L. , Parashar , M. and Silver , D. 2005 . Rule-based visualization in the discover computational steering collaboratory . Future Generation Computer Systems , 21 ( 1 ) : 53 – 59 .
   Google Scholar
• Lynch , N. 1996 . Distributed Algorithms , San Francisco, CA : Morgan Kaufmann Publishers, Inc. .
   Google Scholar
• Manabe , Y. and Imase , M. 1992 . Global conditions in debugging distributed programs . Journal of Parallel and Distributed Computing , 15 ( 1 ) : 62 – 69 .
   Google Scholar
• Mattern , F. 1989 . Virtual time and global states of distributed systems . Parallel and Distributed Algorithms , : 215 – 226 .
   Google Scholar
• Mulder , J. , van Wijk , J. and van Liere , R. 1999 . A survey of computational steering environments . Future Generation Computer Systems , 15 ( 2 ) : 91 – 102 .
   Google Scholar
• Netzer , R.H.B. and Xu , J. 1995 . Necessary and sufficient conditions for consistent global snapshots . IEEE Transactions on Parallel and Distributed Systems , 6 ( 2 ) : 165 – 169 .
   Web of Science ®Google Scholar
• Schwarz , R. and Mattern , F. 1994 . Detecting causal relationships in distributed computations: in search of the holy grail . Distributed Computing , 7 ( 3 ) : 149 – 174 .
   Google Scholar
• 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–604.
   Google Scholar
• van Liere , R. , Mulder , J. and van Wijk , J. 1997 . Computational steering . Future Generation Computer Systems , 12 ( 5 ) : 441 – 450 .
   Google Scholar
• vanWijk , J. , van Liere , R. and Mulder , J. 2000 . Bringing computational steering to the user . Scientific Visualization , : 304 – 313 .
   Google Scholar
• Vetter , J. and Schwan , K. PROGRESS: A toolkit for interactive program steering . Proceedings of the 24th Annual Conference on Parallel Processing . pp. 139 – 142 .
   Google Scholar
• Vetter , J. and Schwan , K. High performance computational steering of physical simulations . Proceedings of the 11th International Parallel Processing Symposium . pp. 128
   Google Scholar
• 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 – 204 .
   Google Scholar
• Walkley, M., Wood, J. and Brodlie, K., 2002, A distributed co-operative problem solving environment. Computational science. ICCS 2002, LNCS, pp. 23–29.
   Google Scholar