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