dblp.uni-trier.dewww.uni-trier.de

Vijay K. Garg

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
96EEVijay K. Garg, Roger Wattenhofer, Kishore Kothapalli: Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings Springer 2009
2008
95EESujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503
94EEVaibhav 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
93EEBharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg: Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134
92EEVijay K. Garg, Neeraj Mittal: Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
91EEVinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434
90EEVijay K. Garg, Vinit A. Ogale: Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20
89EEAnurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007)
88EEVijay 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)
87EEAlper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007)
86EENeeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007)
85EERanganath 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)
2006
84EEVinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550
83EESelma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18
82EERahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277
81EER. 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)
80EEShailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006)
79EEVijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006)
2005
78EESujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13
77EEVijay K. Garg, Anurag Agarwal: Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616
76 Selma Ikiz, Vinit A. Ogale, Vijay K. Garg: Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754
75EEJae-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
74EEAnurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28
73EENeeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005)
72EEVijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9): (2005)
71EESujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005)
2004
70EENeeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004
69EEAlper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819
68EEVijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263
67EENeeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004)
66EEAshis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004)
2003
65EEAlper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29
64EENeeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105-
63EEAlper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183
62EERanganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33
61EENeeraj Mittal, Vijay K. Garg: Techniques and Applications of Computation Slicing CoRR cs.DC/0303010: (2003)
60EEAlper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
59EEOm P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003)
2002
58EEVijay K. Garg: Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181
57EEVijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-
56EEAlper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
55EEJi Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319
2001
54EENeeraj Mittal, Vijay K. Garg: Computation Slicing: Techniques and Theory. DISC 2001: 78-92
53EENeeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10
52EEVijay K. Garg, Neeraj Mittal: On Slicing a Distributed Computation. ICDCS 2001: 322-329
51EEVijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80
2000
50EENeeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248
1999
49EEAshis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224
48EEOm P. Damani, Ashis Tarafdar, Vijay K. Garg: Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243
47 Vijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999)
1998
46 Vijay K. Garg, J. Roger Mitchell: Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169
45EEVijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423
44EENeeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599
43EEAshis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101
42EEGuillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. IEEE Real-Time Systems Symposium 1998: 210-219
41EEAshis Tarafdar, Vijay K. Garg: Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769
40 J. Roger Mitchell, Vijay K. Garg: A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9
39EEOm P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45
38EECraig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998)
1997
37EEVijay K. Garg: Observation and Control for Debugging Distributed Computations. AADEBUG 1997: 1-12
36 Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 0-
35 Yi-Min Wang, Om P. Damani, Vijay K. Garg: Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 0-
34 J. Roger Mitchell, Vijay K. Garg: Optimistic agreement in distributed systems. PDPTA 1997: 885-889
33EEOm 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
32EEVijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997)
31EEVijay K. Garg, J. Roger Mitchell: Detecting Conjunctions of Global Predicates. Inf. Process. Lett. 63(6): 295-302 (1997)
30 Alexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997)
29 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)
1996
28 Om P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115
27 Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88
26 Vijay K. Garg: Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425
25EEVijay K. Garg, Brian Waldecker: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 7(12): 1323-1333 (1996)
1995
24EEJ. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-277
23 Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
22EEVijay 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
21 Darren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349
20 Vijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430
19 Craig M. Chase, Vijay K. Garg: Efficient Detection of Restricted Classes of Global Predicates. WDAG 1995: 303-317
18EERatnesh Kumar, Vijay K. Garg: Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995)
1994
17 Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76
16EEVijay K. Garg, Brian Waldecker: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 5(3): 299-307 (1994)
15EEVijay K. Garg, Joydeep Ghosh: Repeated Computation of Global Functions in a Distributed Environment. IEEE Trans. Parallel Distrib. Syst. 5(8): 823-834 (1994)
1993
14 Vijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485
13 Alexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31
1992
12 Vijay K. Garg, Brian Waldecker: Detection of Unstable Predicates in Distributed Programs. FSTTCS 1992: 253-264
11 Vijay K. Garg: Some Optimal Algorithms for Decomposed Partially Ordered Sets. Inf. Process. Lett. 44(1): 39-43 (1992)
10 Vijay K. Garg, M. T. Ragunath: Concurrent Regular Expressions and Their Relationship to Petri Nets. Theor. Comput. Sci. 96(2): 285-304 (1992)
1991
9 Vijay K. Garg, C. V. Ramamoorthy: ConC: A Language for Concurrent Programming. Comput. Lang. 16(1): 5-18 (1991)
1990
8 Vijay K. Garg, Joydeep Ghosh: Symmetry in Spite of Hierarchy. ICDCS 1990: 4-11
1989
7 Vijay K. Garg: Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327
1988
6EEVijay K. Garg, C. V. Ramamoorthy: High level communication primitives for concurrent systems. ICCL 1988: 92-99
5 Vijay K. Garg: Analysis of Distributed Systems With Many Identical Processes. ICDCS 1988: 358-365
4EEC. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Support for Reusability in Genesis. IEEE Trans. Software Eng. 14(8): 1145-1154 (1988)
1987
3 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)
2 C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg: Software Development Support for AI Programs. IEEE Computer 20(1): 30-40 (1987)
1986
1 C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash: Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986)

Coauthor Index

1Jacob A. Abraham [69]
2Anurag Agarwal [74] [77] [89]
3Prashant Agrawal [94]
4Ranganath Atreya [62] [70] [85]
5Bharath Balasubramanian [93]
6Jayanta Bhadra [69]
7Anupam Bhide [3]
8Guillaume P. Brat [42]
9Tae-Gyu Chang [75]
10Craig M. Chase [19] [20] [22] [29] [38]
11Darren D. Cofer [21]
12Om P. Damani [28] [33] [35] [39] [48] [59]
13Eddy Fromentin [17]
14Rahul Garg [82]
15Joydeep Ghosh [8] [15]
16R. K. Ghosh [68] [81]
17John A. Gunnels [94]
18Selma Ikiz [76] [83]
19Sujatha Kashyap [71] [78] [95]
20Ashfaq A. Khokhar [55]
21Richard B. Kilgore [22] [29]
22Kishore Kothapalli [96]
23Ajay D. Kshemkalyani [85]
24Abhijeet Kumar [81]
25Ratnesh Kumar [18]
26Vimitha A. Kuruvilla [94]
27Jae-Sik Lee [75]
28M. Shangkar Meitei [81]
29J. Roger Mitchell [22] [24] [29] [31] [34] [40] [45] [46]
30Neeraj Mittal [44] [50] [52] [53] [54] [61] [62] [64] [67] [70] [72] [73] [85] [86] [88] [92]
31Venkatesh V. Murty [27] [36]
32Vinit A. Ogale [76] [84] [90] [91] [93]
33Shailesh Patil [80]
34Atul Prakash [1] [3] [4]
35M. T. Ragunath [10]
36C. V. Ramamoorthy [1] [2] [3] [4] [6] [9]
37Shree Raman [81]
38Michel Raynal [17] [47]
39Yogish Sabharwal [82] [94]
40Vaibhav Saxena [94]
41Alper Sen [56] [60] [63] [65] [69] [70] [86] [87]
42Shashi Shekhar [2]
43Mukesh Singhal [85]
44Chakarat Skawratananond [51] [57] [88]
45Ashis Tarafdar [41] [43] [48] [49] [66]
46Nishit Tewari [81]
47Alexander I. Tomlinson [13] [14] [17] [23] [30] [32]
48Brian Waldecker [12] [16] [25]
49Ji Wang [55]
50Yi-Min Wang [33] [35] [59]
51Roger Wattenhofer [96]
52Tsuneo Yamaura [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)