Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Vijay K. Garg
2010 – today
- 2013
[j37]Bharath Balasubramanian, Vijay K. Garg: Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distrib. Syst. 24(4): 701-715 (2013)- [c80]Himanshu Chauhan, Vijay K. Garg: Democratic Elections in Faulty Distributed Systems. ICDCN 2013: 176-191
- [c79]Vijay K. Garg: Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN 2013: 240-254
- [c78]Wei-Lun Hung, Vijay K. Garg: AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI 2013: 253-262
- [i5]Nitin H. Vaidya, Vijay K. Garg: Byzantine Vector Consensus in Complete Graphs. CoRR abs/1302.2543 (2013)
- [i4]Wei-Lun Hung, Vijay K. Garg: AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging. CoRR abs/1303.0276 (2013)
- [i3]Bharath Balasubramanian, Vijay K. Garg: Fault Tolerance in Distributed Systems using Fused State Machines. CoRR abs/1303.5891 (2013)
- [i2]Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal: Distributed Abstraction Algorithm for Online Predicate Detection. CoRR abs/1304.4326 (2013)
- 2012
- [j36]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem. Theory Comput. Syst. 51(4): 447-473 (2012)
- [c77]
- [c76]John Bridgman, Vijay K. Garg: Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC 2012: 95-96
- [c75]John Bridgman, Vijay K. Garg: All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298
- 2011
- [c74]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. ICDCN 2011: 53-64
- [c73]Bharath Balasubramanian, Vijay K. Garg: Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688
- [c72]
- [c71]Bharath Balasubramanian, Vijay K. Garg: Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282
- [c70]Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480
- [c69]Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate byzantine agreement with feedback. PODC 2011: 215-216
- 2010
- [j35]Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Efficient Algorithms for Global Snapshots in Large Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 21(5): 620-630 (2010)
- [c68]Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale: Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205
- [c67]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400
- [c66]Vijay K. Garg: Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464
2000 – 2009
- 2009
- [c65]Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg: Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341
- [c64]Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg: A fusion-based approach for tolerating faults in finite state machines. IPDPS 2009: 1-11
- [e1]Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli (Eds.): Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5408, Springer 2009, ISBN 978-3-540-92294-0
- 2008
- [j34]Yali Xiong, Xu Cheng, Z. J. Shen, Chunting Mi, Hongjie Wu, Vijay K. Garg: Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles. IEEE Transactions on Industrial Electronics 55(6): 2268-2276 (2008)
- [c63]Sujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503
- [c62]Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels: Optimization of BLAS on the Cell Processor. HiPC 2008: 18-29
- [c61]Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg: Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134
- [p1]Vijay K. Garg, Neeraj Mittal: Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008
- 2007
- [j33]Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007)
- [j32]Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal: Timestamping messages and events in a distributed system using synchronous communication. Distributed Computing 19(5-6): 387-402 (2007)
- [j31]Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal: Efficient detection of a locally stable predicate in a distributed system. J. Parallel Distrib. Comput. 67(4): 369-385 (2007)
- [j30]Alper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007)
- [j29]Neeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007)
- [c60]
- [c59]Vinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434
- 2006
- [j28]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. Ad Hoc Networks 4(2): 168-185 (2006)
- [j27]Shailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006)
- [j26]Vijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006)
- [c58]Selma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18
- [c57]Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277
- [c56]Jae-Sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg: Power saving in a mobile multimedia terminal. WCNC 2006: 48-51
- [c55]Vinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550
- 2005
- [j25]Neeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005)
- [j24]Vijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9) (2005)
- [j23]Sujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005)
- [j22]Ratnesh Kumar, Vijay K. Garg: On computation of state avoidance control for infinite state systems in assignment program framework. IEEE T. Automation Science and Engineering 2(1): 87-91 (2005)
- [c54]Vijay K. Garg, Anurag Agarwal: Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616
- [c53]Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg: SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. ICW/ICHSN/ICMCS/SENET 2005: 45-48
- [c52]Sujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13
- [c51]Selma Ikiz, Vinit A. Ogale, Vijay K. Garg: Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754
- [c50]Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28
- 2004
- [b3]Vijay K. Garg: Concurrent and distributed computing in Java. Wiley 2004, ISBN 978-0-471-43230-2, pp. I-XX, 1-309
- [j21]Neeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004)
- [j20]Ashis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004)
- [c49]Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004
- [c48]Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819
- [c47]Vijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263
- 2003
- [j19]Alper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): 22-43 (2003)
- [j18]Om P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003)
- [c46]
- [c45]Neeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105-
- [c44]Ranganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33
- [c43]Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183
- [i1]Neeraj Mittal, Vijay K. Garg: Techniques and Applications of Computation Slicing. CoRR cs.DC/0303010 (2003)
- 2002
- [b2]Vijay K. Garg: Elements of distributed computing. Wiley 2002, ISBN 978-0-471-03600-5, pp. I-XX, 1-423
- [c42]
- [c41]Vijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-
- [c40]Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
- [c39]Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
- 2001
- [c38]Neeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10
- [c37]
- [c36]Vijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80
- [c35]
- 2000
- [c34]Neeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248
1990 – 1999
- 1999
- [j17]Vijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999)
- [c33]Om P. Damani, Ashis Tarafdar, Vijay K. Garg: Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243
- [c32]Ashis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224
- 1998
- [j16]Craig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998)
- [c31]Vijay K. Garg, J. Roger Mitchell: Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169
- [c30]Ashis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101
- [c29]Vijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423
- [c28]Neeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599
- [c27]Ashis Tarafdar, Vijay K. Garg: Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769
- [c26]Om P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45
- [c25]Guillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. RTSS 1998: 210-219
- [c24]J. Roger Mitchell, Vijay K. Garg: A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9
- 1997
- [j15]Vijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997)
- [j14]Vijay K. Garg, J. Roger Mitchell: Detecting Conjunctions of Global Predicates. Inf. Process. Lett. 63(6): 295-302 (1997)
- [j13]Alexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997)
- [j12]Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell: Efficient Detection of Channel Predicates in Distributed Systems. J. Parallel Distrib. Comput. 45(2): 134-147 (1997)
- [c23]
- [c22]Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 0-
- [c21]Yi-Min Wang, Om P. Damani, Vijay K. Garg: Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 0-
- [c20]Om P. Damani, Yi-Min Wang, Vijay K. Garg: Optimistic Distributed Simulation Based on Transitive Dependency Tracking. Workshop on Parallel and Distributed Simulation 1997: 90-97
- [c19]
- 1996
- [b1]Vijay K. Garg: Principles of distributed systems. Kluwer 1996, ISBN 978-0-7923-9668-0, pp. I-XVII, 1-254
- [j11]Vijay K. Garg, Brian Waldecker: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 7(12): 1323-1333 (1996)
- [c18]Om P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115
- [c17]Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88
- [c16]
- 1995
- [j10]Ratnesh Kumar, Vijay K. Garg: Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995)
- [c15]J. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-273
- [c14]Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
- [c13]Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore: Detecting conjunctive channel predicates in a distributed programming environment. HICSS (2) 1995: 232-241
- [c12]Darren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
- [c11]Vijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430
- [c10]Craig M. Chase, Vijay K. Garg: Efficient Detection of Restricted Classes of Global Predicates. WDAG 1995: 303-317
- 1994
- [j9]Vijay K. Garg, Brian Waldecker: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 5(3): 299-307 (1994)
- [j8]Vijay K. Garg, Joydeep Ghosh: Repeated Computation of Global Functions in a Distributed Environment. IEEE Trans. Parallel Distrib. Syst. 5(8): 823-834 (1994)
- [c9]Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76
- 1993
- [c8]Alexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31
- [c7]Vijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485
- 1992
- [j7]Vijay K. Garg: Some Optimal Algorithms for Decomposed Partially Ordered Sets. Inf. Process. Lett. 44(1): 39-43 (1992)
- [j6]Vijay K. Garg, M. T. Ragunath: Concurrent Regular Expressions and Their Relationship to Petri Nets. Theor. Comput. Sci. 96(2): 285-304 (1992)
- [c6]Vijay K. Garg, Brian Waldecker: Detection of Unstable Predicates in Distributed Programs. FSTTCS 1992: 253-264
- 1991
- [j5]Vijay K. Garg, C. V. Ramamoorthy: ConC: A Language for Concurrent Programming. Comput. Lang. 16(1): 5-18 (1991)
- [c5]Brian Waldecker, Vijay K. Garg: Detection of strong predicates in distributed programs. SPDP 1991: 692-699
- 1990
- [c4]
1980 – 1989
- 1989
- [c3]Vijay K. Garg: Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327
- 1988
- [j4]C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. IEEE Trans. Software Eng. 14(8): 1145-1154 (1988)
- [c2]Vijay K. Garg, C. V. Ramamoorthy: High level communication primitives for concurrent systems. ICCL 1988: 92-99
- [c1]
- 1987
- [j3]C. V. Ramamoorthy, Atul Prakash, Vijay K. Garg, Tsuneo Yamaura, Anupam Bhide: Issues in the Development of Large, Distributed, and Reliable Software. Advances in Computers 26: 393-443 (1987)
- [j2]C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg: Software Development Support for AI Programs. IEEE Computer 20(1): 30-40 (1987)
- 1986
- [j1]C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:50 CEST by the dblp team