2009 | ||
---|---|---|
96 | EE | Vijay 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 | ||
95 | EE | Sujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 |
94 | EE | 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 |
93 | EE | Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg: Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134 |
92 | EE | Vijay K. Garg, Neeraj Mittal: Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008 |
2007 | ||
91 | EE | Vinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434 |
90 | EE | Vijay K. Garg, Vinit A. Ogale: Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20 |
89 | EE | Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007) |
88 | EE | 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) |
87 | EE | Alper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007) |
86 | EE | Neeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007) |
85 | EE | 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) |
2006 | ||
84 | EE | Vinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550 |
83 | EE | Selma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18 |
82 | EE | Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277 |
81 | EE | 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) |
80 | EE | Shailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006) |
79 | EE | Vijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006) |
2005 | ||
78 | EE | Sujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13 |
77 | EE | Vijay 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 | |
75 | EE | 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 |
74 | EE | Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28 |
73 | EE | Neeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005) |
72 | EE | Vijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9): (2005) |
71 | EE | Sujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005) |
2004 | ||
70 | EE | Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004 |
69 | EE | Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819 |
68 | EE | Vijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263 |
67 | EE | Neeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004) |
66 | EE | Ashis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004) |
2003 | ||
65 | EE | Alper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29 |
64 | EE | Neeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105- |
63 | EE | Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183 |
62 | EE | Ranganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33 |
61 | EE | Neeraj Mittal, Vijay K. Garg: Techniques and Applications of Computation Slicing CoRR cs.DC/0303010: (2003) |
60 | EE | Alper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
59 | EE | Om P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003) |
2002 | ||
58 | EE | Vijay K. Garg: Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181 |
57 | EE | Vijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552- |
56 | EE | Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002 |
55 | EE | Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319 |
2001 | ||
54 | EE | Neeraj Mittal, Vijay K. Garg: Computation Slicing: Techniques and Theory. DISC 2001: 78-92 |
53 | EE | Neeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10 |
52 | EE | Vijay K. Garg, Neeraj Mittal: On Slicing a Distributed Computation. ICDCS 2001: 322-329 |
51 | EE | Vijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80 |
2000 | ||
50 | EE | Neeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248 |
1999 | ||
49 | EE | Ashis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224 |
48 | EE | Om 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 | |
45 | EE | Vijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423 |
44 | EE | Neeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599 |
43 | EE | Ashis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101 |
42 | EE | Guillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. IEEE Real-Time Systems Symposium 1998: 210-219 |
41 | EE | Ashis 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 | |
39 | EE | Om P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45 |
38 | EE | Craig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998) |
1997 | ||
37 | EE | Vijay 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 | |
33 | EE | 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 |
32 | EE | Vijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997) |
31 | EE | Vijay 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 | |
25 | EE | Vijay K. Garg, Brian Waldecker: Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 7(12): 1323-1333 (1996) |
1995 | ||
24 | EE | J. 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 | |
22 | EE | 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 |
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 | |
18 | EE | Ratnesh 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 | |
16 | EE | Vijay K. Garg, Brian Waldecker: Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distrib. Syst. 5(3): 299-307 (1994) |
15 | EE | Vijay 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 | ||
6 | EE | Vijay 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 | |
4 | EE | C. 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) |