Selected Publications

    2006

  1. Rahul Garg, Vijay K. Garg, Yogish Sabharwal, Scalable Algorithms for Global Snapshots in Distributed Systems ACM International Conference on Supercomputing 2006 pdf .... slides
  2. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets , Theoretical Computer Science , Vol. 359, August 2006, pp. 200 - 213, ...pdf .
  3. Shailesh Patil, Vijay K. Garg, Adaptive Algorithms for Perfectly Periodic Schedules, Information Processing Letters Vol. 98, No. 3, May 2006, pp. 107 -- 114. pdf ---- online link

    4. 2004

  4. Neeraj Mittal and Vijay K. Garg, Finding missing synchronization in a distributed computation using controlled re-execution , Distributed Computing, 17(2):107-130, 2004. [ bib | http

    5. 2003

  5. Neeraj Mittal, Ranganath Atreya and Vijay K. Garg, Detecting Locally Stable Predicates without Modifying Application Messages 7th International Conference on Principles of Distributed Systems La Martinique , France,December 10-13 2003, ........... Postscript

  6. O. Damani, Yi-Min Wang and V. K. Garg, K-Optimistic Message Logging, Journal on Parallel and Distributed Computing .Volume 63, Issue 12, December 2003, Pages 1193-1218.link to ScienceDirect

  7. V. K. Garg, Enumerating Global States of a Distributed Computationin Lexicographic and Breadth-First Manner , International Conference on Parallel and Distributed Computing and Systems (PDCS2003) November 2003, pp. 134-139............Postscript

    8. 2002

  8. Vijay K. Garg, Algorithmic Combinatorics based on Slicing Posets ,Proc. 22nd Conference on the Foundations of SoftwareTechnology & Theoretical Computer Science (FSTTCS), Kanpur, India, December 2002.Abstract ...........Postscript ...........Technical Report

    9. 2000

  9. Vijay Garg, Adnan Aziz, An Efficient Deterministic Algorithm for the Resource Discovery Problem ,ECE Technical Report TR-PDS-2000-003.psPostscript

    10. 1999

  10. C. Skawratananond, N. Mittal, V. K. Garg, A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems ,Proc. 12th International Conference on Parallel and DistributedComputing Systems,Fort Lauderdale, Florida, August 1999, pp. 245 - 250.Abstract ...........Postscript ...........Technical Report

  11. C. Skawratananond, V. K. Garg, A Quorum-Based Distributed Channel Allocation Algorithm for Mobile SystemsProc. PIMRC , Japan, 1999.Abstract ...........Postscript

    12. 1998

  12. G. Brat, V. K. Garg,Analyzing non-deterministic real-time systems with (max,+) algebra,Proc. Real-Time Systems Symposium (RTSS'98), December 1998.Postscript

  13. J. R. Mitchell and V.K. Garg,A Non-Blocking Recovery Algorithm for Causal Message Logging,Symposium on Reliable Distributed Systems (SRDS), October 1998.Postscript

  14. G. Brat, V. K. Garg,A (max,+) algebra for periodic timed discrete event systems.Workshop on Discrete Event Systems, Caligari, Italy, August 1998, pp. 237-242.Postscript

  15. G. Brat, V. K. Garg,A max-plus algebra for periodic real-time systems,The 9th Symposium of the International Federation of Automatic Control on Information Control in Manufacturing, Nancy-Metz, France, June 24-26, 1998.Postscript

    16. 1997

  16. A. I. Tomlinson, V. K. Garg,Monitoring Functions on Global States of Distributed Programs Journal of Parallel and Distributed Computing Vol. 41, No. 2, March 1997, pp. 173 -- 189.Abstract ...........Postscript

  17. V. K. Garg, J. R. Mitchell,Efficient Detection of Conjunctions of Global Predicates in a Distributed System,{\em Information Processing Letters 63}, 1997, pp. 295 -- 302.Postscript

  18. V. V. Murty, V. K. Garg, Characterization of Message Ordering Specifications and Protocols,Proc. IEEE International Conference on Distributed Computing Systems, Baltimore, Maryland, 1997, pp. 492 - 499.Abstract ...........Postscript

    19. 1996

  19. V. Murty, V. K. Garg,Characterization of Message Ordering Specifications and Protocols,Proc. ACM Principles of Distributed Computing,Philadelphia, 1996, pp. 88.

    20. 1995

  20. C. Chase, V. K. Garg, Efficient Detection of Restricted Classes of Global Predicates,Proc. 9th International Workshop on Distributed Algorithms , Le Mont-Saint-Michel, France, Lecture Notes in Computer Science, 972,September 1995, pp. 303 - 317.Abstract ...........Postscript

  21. J. Roger Mitchell, V. K. Garg, Deriving distributed algorithms from a general predicate detector,Proc. The Nineteenth Intl. Computer Software and Applications Conference, Dallas, Texas, August 1995, pp. 268 - 273.Abstract ...........Postscript

  22. V. K. Garg, C. Chase, Distributed Detection of Conjunctive Predicates,Proc. IEEE International Conference on Distributed Computing Systems, Vancouver,Canada, June 1995, pp. 423 - 430.Abstract ...........Postscript

  23. V. V. Murty, V. K. Garg, Synchronous Message Ordering,Proc. International Symposium on Autonomous Decentralized Systems, Phoenix, Arizona, April 95, pp. 208 - 214.Abstract ...........Postscript...........Tech Report

  24. V. K. Garg, C. Chase, J. R. Mitchell, R. Kilgore, Detecting conjunctive Channel Predicates in a Distributed Programming Environment, Proc. of the Twenty-Eighth Hawaii International Conference on System Sciences,January 1995, Vol. II, pp. 232 - 241.Abstract ...........Postscript

    25. 1994

  25. V. K. Garg, B. Waldecker,Detection of Weak Unstable Predicates in Distributed Programs, IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 3, March 1994, pp. 299-307. Abstract ........... Postscript

  26. V.K. Garg, and J. Ghosh,Repeated Computation of Global Functions in a Distributed Environment,IEEE Transactions on Parallel and Distributed Systems,Vol. 5, No. 8, August 1994, pp. 823-834.Abstract ...........pdf

  27. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in Distributed Systems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 -- 272.Abstract ...........Postscript ...........Tech Report

  28. V. K. Garg, A. I. Tomlinson, Causality versus Time: How toSpecify and Verify Distributed Algorithms,Proc. The Sixth IEEE Symposium on Parallel and Distributed Processing,Dallas, Texas, October 1994, pp. 249 - 256.Abstract ...........Postscript ...........Tech Report

  29. A. I. Tomlinson, V. K. Garg, Maintenance of Global Assertions in DistributedSystems, Proc. International Conference on ComputerScience and Education, Bangalore, India, June 1994, Tata McGraw-HillPublishing Company Limited, pp. 257 - 272.Abstract ...........Postscript ...........Tech Report

  30. D. Cofer, V. K. Garg, A Max-Algebra Solution to the Supervisory ControlProblem for Real-Time Discrete Event Systems, Proc. 11th International Conference on Analysisand Optimization of Systems, Rocquencourt, France, June 1994, pp. 283 - 289.

    31. 1993

  31. A. I. Tomlinson, V. K. Garg, An Algorithm for Minimally Latent Global Virtual Time,Proc. 7th Workshop on Parallel and Distributed Simulation,San Diego, California, May 1993, pp. 35-42.Abstract ...........Postscript ...........Tech Report

  32. A.I. Tomlinson, V. K. Garg, Detecting Relational Global Predicates in Distributed Systems,Proc. 3rd ACM/ONR Workshop on Parallel and Distributed Debugging,San Diego, California, May 1993, pp. 21-31.Abstract ...........journal version Postscript

  33. V. K. Garg, Parallel and Distributed Algorithms for Supervisory Control of Discrete Event Systems, Proc. 32nd Conference on Decision and Control, San Antonio, Texas, Dec. 1993, 2236-2241.

    34. 1992

  34. V. K. Garg, Some Optimal Algorithms for Decomposed Partially Ordered Sets, Information Processing Letters, 44, November 1992, pp. 39-43. Abstract ...........Postscript

  35. V. K. Garg, An Algebraic Approach to Modeling Probabilistic Discrete Event Systems,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 2348-2353.Postscript

  36. D. D. Cofer, V. K. Garg, A Timed Model for the Control of Discrete Event Systems Involving Decisions in the Max/Plus Algebra,Proc. 31st Conference on Decision and Control, Tucson, Arizona,Dec. 1992, pp. 3363-3368.

    37. 1990

  37. V. K. Garg,A Distributed Algorithm for N-process Synchronization,Proc. 2nd IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, Dec. 1990.Abstract ...........Postscript

  38. V. K. Garg, J. Ghosh,Symmetry In Spite of Hierarchy,Proc. 10th IEEE International Conference on Distributed Computing Systems, Paris, France, June 1990, pp. 4-11. slides

    39. 1988

  39. V. K. Garg,Analysis of Distributed Systems with Many Identical Processes,Proc. 8th IEEE International Conference on Distributed Computing Systems,San Jose, California, June 1988, pp. 358-365.Abstract ...........Postscript

    40. 1987 and before

  40. V. K. Garg, C. V. Ramamoorthy, Effect of Locality in Large Networks, Proc. 7th IEEE InternationalConference on Distributed Computing Systems, Berlin, Germany, Sept. 1987, pp. 544-550.