The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vijay K. Garg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg
    Software Development Support for AI Programs. [Citation Graph (1, 0)][DBLP]
    IEEE Computer, 1987, v:20, n:1, pp:30-40 [Journal]
  2. Vijay K. Garg
    Observation and Control for Debugging Distributed Computations. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:1-12 [Conf]
  3. J. Roger Mitchell, Vijay K. Garg
    Deriving distributed algorithms from a general predicate detector. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:268-277 [Conf]
  4. Vijay K. Garg, Anurag Agarwal
    Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:606-616 [Conf]
  5. Alper Sen, Vijay K. Garg
    On Checking Whether a Predicate Definitely Holds. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:15-29 [Conf]
  6. Vijay K. Garg
    Modeling of Distributed Systems by Concurrent Regular Expressions. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:313-327 [Conf]
  7. Vijay K. Garg
    Algorithmic Combinatorics Based on Slicing Posets. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2002, pp:169-181 [Conf]
  8. Vijay K. Garg, J. Roger Mitchell
    Implementable Failure Detectors in Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:158-169 [Conf]
  9. Vijay K. Garg, Brian Waldecker
    Detection of Unstable Predicates in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1992, pp:253-264 [Conf]
  10. Alexander I. Tomlinson, Vijay K. Garg
    Observation of Software for Distributed Systems with RCL. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1995, pp:195-209 [Conf]
  11. Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore
    Detecting conjunctive channel predicates in a distributed programming environment. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1995, pp:232-241 [Conf]
  12. Darren D. Cofer, Vijay K. Garg
    On Controlling Timed Discrete Event Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:340-349 [Conf]
  13. Vijay K. Garg, C. V. Ramamoorthy
    High level communication primitives for concurrent systems. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:92-99 [Conf]
  14. Om P. Damani, Vijay K. Garg
    How to Recover Efficiently and Asynchronously when Optimism Fails. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1996, pp:108-115 [Conf]
  15. Vijay K. Garg
    Analysis of Distributed Systems With Many Identical Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1988, pp:358-365 [Conf]
  16. Vijay K. Garg, Craig M. Chase
    Distributed Algorithms for Detecting Conjunctive Predicates. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1995, pp:423-430 [Conf]
  17. Vijay K. Garg, Joydeep Ghosh
    Symmetry in Spite of Hierarchy. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1990, pp:4-11 [Conf]
  18. Vijay K. Garg, Neeraj Mittal
    On Slicing a Distributed Computation. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:322-329 [Conf]
  19. Vijay K. Garg, J. Roger Mitchell
    Distributed Predicate Detection in a Faulty Environment. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:416-423 [Conf]
  20. Vijay K. Garg, Chakarat Skawratananond
    Timestamping Messages in Synchronous Computations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2002, pp:552-0 [Conf]
  21. Selma Ikiz, Vijay K. Garg
    Efficient Incremental Optimal Chain Partition of Distributed Program Traces. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2006, pp:18- [Conf]
  22. Neeraj Mittal, Vijay K. Garg
    On Detecting Global Predicates in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2001, pp:3-10 [Conf]
  23. Neeraj Mittal, Vijay K. Garg
    Software Fault Tolerance of Distributed Programs Using Computation Slicing. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2003, pp:105-0 [Conf]
  24. Neeraj Mittal, Vijay K. Garg
    Consistency Conditions for Multi-Object Distributed Operations. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:582-599 [Conf]
  25. Venkatesh V. Murty, Vijay K. Garg
    Characterization of Message Ordering Specifications and Protocols. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1997, pp:0-0 [Conf]
  26. Ashis Tarafdar, Vijay K. Garg
    Addressing False Causality while Detecting Predicates in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:94-101 [Conf]
  27. Yi-Min Wang, Om P. Damani, Vijay K. Garg
    Distributed Recovery with K-Optimistic Logging. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1997, pp:0-0 [Conf]
  28. Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
    On the Fly Testing of Regular Patterns in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ICPP, 1994, pp:73-76 [Conf]
  29. Rahul Garg, Vijay K. Garg, Yogish Sabharwal
    Scalable algorithms for global snapshots in distributed systems. [Citation Graph (0, 0)][DBLP]
    ICS, 2006, pp:269-277 [Conf]
  30. Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg
    SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. [Citation Graph (0, 0)][DBLP]
    ICW/ICHSN/ICMCS/SENET, 2005, pp:45-48 [Conf]
  31. Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya
    Finding Satisfying Global States: All for One and One for All. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  32. Alper Sen, Vijay K. Garg
    Detecting Temporal Logic Predicates on the Happened-Before Model. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  33. Ashis Tarafdar, Vijay K. Garg
    Predicate Control for Active Debugging of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1998, pp:763-769 [Conf]
  34. Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra
    Formal Verification of a System-on-Chip Using Computation Slicing. [Citation Graph (0, 0)][DBLP]
    ITC, 2004, pp:810-819 [Conf]
  35. Vijay K. Garg, R. K. Ghosh
    Effect of Data Encryption on Wireless Ad Hoc Network Performance. [Citation Graph (0, 0)][DBLP]
    IWDC, 2004, pp:258-263 [Conf]
  36. Sujatha Kashyap, Vijay K. Garg
    Exploiting predicate structure for efficient reachability detection. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:4-13 [Conf]
  37. Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg
    Video Communication with QoS Guarantees over HIPERLAN/2. [Citation Graph (0, 0)][DBLP]
    ISMSE, 2002, pp:312-319 [Conf]
  38. Ranganath Atreya, Neeraj Mittal, Vijay K. Garg
    Detecting Locally Stable Predicates Without Modifying Application Messages. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2003, pp:20-33 [Conf]
  39. Alper Sen, Vijay K. Garg
    Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2003, pp:171-183 [Conf]
  40. Om P. Damani, Vijay K. Garg
    Fault-Tolerant Distributed Simulation. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Simulation, 1998, pp:38-45 [Conf]
  41. Om P. Damani, Yi-Min Wang, Vijay K. Garg
    Optimistic Distributed Simulation Based on Transitive Dependency Tracking. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Simulation, 1997, pp:90-97 [Conf]
  42. Selma Ikiz, Vinit A. Ogale, Vijay K. Garg
    Coordinated Energy Conservation in Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    IASTED PDCS, 2005, pp:749-754 [Conf]
  43. Alexander I. Tomlinson, Vijay K. Garg
    Detecting Relational Global Predicates in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1993, pp:21-31 [Conf]
  44. J. Roger Mitchell, Vijay K. Garg
    Optimistic agreement in distributed systems. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1997, pp:885-889 [Conf]
  45. Anurag Agarwal, Vijay K. Garg
    Efficient dependency tracking for relevant events in shared-memory systems. [Citation Graph (0, 0)][DBLP]
    PODC, 2005, pp:19-28 [Conf]
  46. Vijay K. Garg, Chakarat Skawratananond
    String realizers of posets with applications to distributed computing. [Citation Graph (0, 0)][DBLP]
    PODC, 2001, pp:72-80 [Conf]
  47. Neeraj Mittal, Vijay K. Garg
    Debugging distributed programs using controlled re-execution. [Citation Graph (0, 0)][DBLP]
    PODC, 2000, pp:239-248 [Conf]
  48. Venkatesh V. Murty, Vijay K. Garg
    Characterization of Message Ordering Specifications and Protocols (Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1996, pp:88- [Conf]
  49. Guillaume P. Brat, Vijay K. Garg
    Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:210-219 [Conf]
  50. Vijay K. Garg
    Observation of Global Properties in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:418-425 [Conf]
  51. Vijay K. Garg, Alexander I. Tomlinson
    Using Induction to Prove Properties of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    SPDP, 1993, pp:478-485 [Conf]
  52. Om P. Damani, Ashis Tarafdar, Vijay K. Garg
    Optimistic Recovery in Multi-threaded Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1999, pp:234-243 [Conf]
  53. J. Roger Mitchell, Vijay K. Garg
    A Non-Blocking Recovery Algorithm for Causal Message Logging. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1998, pp:3-9 [Conf]
  54. Craig M. Chase, Vijay K. Garg
    Efficient Detection of Restricted Classes of Global Predicates. [Citation Graph (0, 0)][DBLP]
    WDAG, 1995, pp:303-317 [Conf]
  55. Neeraj Mittal, Vijay K. Garg
    Computation Slicing: Techniques and Theory. [Citation Graph (0, 0)][DBLP]
    DISC, 2001, pp:78-92 [Conf]
  56. Ashis Tarafdar, Vijay K. Garg
    Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. [Citation Graph (0, 0)][DBLP]
    DISC, 1999, pp:210-224 [Conf]
  57. Vinit A. Ogale, Vijay K. Garg
    Brief Announcement: Many Slices Are Better Than One. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:548-550 [Conf]
  58. C. V. Ramamoorthy, Atul Prakash, Vijay K. Garg, Tsuneo Yamaura, Anupam Bhide
    Issues in the Development of Large, Distributed, and Reliable Software. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1987, v:26, n:, pp:393-443 [Journal]
  59. Vijay K. Garg, Alexander I. Tomlinson
    Using the Causal Domain to Specify and verify Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:9, pp:667-686 [Journal]
  60. R. K. Ghosh, Vijay K. Garg, M. Shangkar Meitei, Shree Raman, Abhijeet Kumar, Nishit Tewari
    Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    Ad Hoc Networks, 2006, v:4, n:2, pp:168-185 [Journal]
  61. Vijay K. Garg, C. V. Ramamoorthy
    ConC: A Language for Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1991, v:16, n:1, pp:5-18 [Journal]
  62. Neeraj Mittal, Vijay K. Garg
    Techniques and Applications of Computation Slicing [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  63. Craig M. Chase, Vijay K. Garg
    Detection of Global Predicates: Techniques and Their Limitations. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1998, v:11, n:4, pp:191-201 [Journal]
  64. Neeraj Mittal, Vijay K. Garg
    Finding missing synchronization in a distributed computation using controlled re-execution. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2004, v:17, n:2, pp:107-130 [Journal]
  65. Neeraj Mittal, Vijay K. Garg
    Techniques and applications of computation slicing. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2005, v:17, n:3, pp:251-277 [Journal]
  66. Anurag Agarwal, Vijay K. Garg
    Efficient dependency tracking for relevant events in concurrent systems. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2007, v:19, n:3, pp:163-183 [Journal]
  67. Vijay K. Garg, Neeraj Mittal
    A Critique of Java for Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2005, v:6, n:9, pp:- [Journal]
  68. Alper Sen, Vijay K. Garg
    Partial Order Trace Analyzer (POTA) for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  69. Vijay K. Garg
    Some Optimal Algorithms for Decomposed Partially Ordered Sets. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:44, n:1, pp:39-43 [Journal]
  70. Vijay K. Garg, J. Roger Mitchell
    Detecting Conjunctions of Global Predicates. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:63, n:6, pp:295-302 [Journal]
  71. Sujatha Kashyap, Vijay K. Garg
    Intractability results in predicate detection. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:94, n:6, pp:277-282 [Journal]
  72. Shailesh Patil, Vijay K. Garg
    Adaptive general perfectly periodic scheduling. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:3, pp:107-114 [Journal]
  73. Om P. Damani, Yi-Min Wang, Vijay K. Garg
    Distributed recovery with K-optimistic logging. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2003, v:63, n:12, pp:1193-1218 [Journal]
  74. Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell
    Efficient Detection of Channel Predicates in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1997, v:45, n:2, pp:134-147 [Journal]
  75. Ashis Tarafdar, Vijay K. Garg
    Predicate control: synchronization in distributed computations with look-ahead. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2004, v:64, n:2, pp:219-237 [Journal]
  76. Alexander I. Tomlinson, Vijay K. Garg
    Monitoring Functions on Global States of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1997, v:41, n:2, pp:173-189 [Journal]
  77. Vijay K. Garg, Michel Raynal
    Normality: A Consistency Condition for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1999, v:9, n:1, pp:123-134 [Journal]
  78. Alper Sen, Vijay K. Garg
    Formal Verification of Simulation Traces Using Computation Slicing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2007, v:56, n:4, pp:511-527 [Journal]
  79. Vijay K. Garg
    Algorithmic combinatorics based on slicing posets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:359, n:1-3, pp:200-213 [Journal]
  80. Vijay K. Garg, M. T. Ragunath
    Concurrent Regular Expressions and Their Relationship to Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:96, n:2, pp:285-304 [Journal]
  81. Ratnesh Kumar, Vijay K. Garg
    Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:148, n:1, pp:67-92 [Journal]
  82. Vijay K. Garg, Joydeep Ghosh
    Repeated Computation of Global Functions in a Distributed Environment. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:8, pp:823-834 [Journal]
  83. Vijay K. Garg, Brian Waldecker
    Detection of Weak Unstable Predicates in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:3, pp:299-307 [Journal]
  84. Vijay K. Garg, Brian Waldecker
    Detection of Strong Unstable Predicates in Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1996, v:7, n:12, pp:1323-1333 [Journal]
  85. C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash
    Programming in the Large. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:7, pp:769-783 [Journal]
  86. C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash
    Support for Reusability in Genesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1145-1154 [Journal]
  87. Vijay K. Garg, Vinit A. Ogale
    Fusible Data Structures for Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:20- [Conf]
  88. Vinit A. Ogale, Vijay K. Garg
    Detecting Temporal Logic Predicates on Distributed Computations. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:420-434 [Conf]
  89. Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal
    Timestamping messages and events in a distributed system using synchronous communication. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2007, v:19, n:5-6, pp:387-402 [Journal]
  90. Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal
    Efficient detection of a locally stable predicate in a distributed system. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2007, v:67, n:4, pp:369-385 [Journal]
  91. Neeraj Mittal, Alper Sen, Vijay K. Garg
    Solving Computation Slicing Using Predicate Detection. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2007, v:18, n:12, pp:1700-1713 [Journal]

  92. Producing Short Counterexamples Using "Crucial Events". [Citation Graph (, )][DBLP]


  93. Optimization of BLAS on the Cell Processor. [Citation Graph (, )][DBLP]


  94. Highly scalable algorithm for distributed real-time text indexing. [Citation Graph (, )][DBLP]


  95. A fusion-based approach for tolerating faults in finite state machines. [Citation Graph (, )][DBLP]


  96. Detection of strong predicates in distributed programs. [Citation Graph (, )][DBLP]


  97. Modeling and Analyzing Periodic Distributed Computations. [Citation Graph (, )][DBLP]


  98. Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. [Citation Graph (, )][DBLP]


  99. Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. [Citation Graph (, )][DBLP]


  100. Fault Tolerance in Finite State Machines Using Fusion. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002