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) |