University of Texas at Austin, USA

Listing of the DBLP Bibliography Server - FAQ

Other views (modern): by type - by year

Other mirrors: Trier I - Trier II

Ask others: ACM DL/Guide - CiteSeer

2017 | ||
---|---|---|

j43 | Pascal Felber, Vijay K. Garg: Preface. Inf. Comput. 254: 329 (2017) | |

2016 | ||

c93 | Yen-Jung Chang, Vijay K. Garg: Predicate Detection for Parallel Computations with Locking Constraints. OPODIS 2016: 17:1-17:17 | |

2015 | ||

j42 | Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg: Multidimensional agreement in Byzantine systems. Distributed Computing 28(6): 423-441 (2015) | |

c92 | Himanshu Chauhan, Vijay K. Garg: Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. ICDCN 2015: 34:1-34:10 | |

c91 | Yen-Jung Chang, Vijay K. Garg: QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. OPODIS 2015: 25:1-25:17 | |

c90 | Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. OPODIS 2015: 29:1-29:17 | |

c89 | Yen-Jung Chang, Vijay K. Garg: A parallel algorithm for global states enumeration in concurrent systems. PPOPP 2015: 140-149 | |

2014 | ||

j41 | Bharath Balasubramanian, Vijay K. Garg: Fault tolerance in distributed systems using fused state machines. Distributed Computing 27(4): 287-311 (2014) | |

j40 | Vijay K. Garg, Anurag Agarwal, Vinit A. Ogale: Modeling, analyzing and slicing periodic distributed computations. Inf. Comput. 234: 26-43 (2014) | |

c88 | Aravind Natarajan, Neeraj Mittal, Vijay K. Garg: Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN 2014: 165-180 | |

c87 | Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: Non-blocking Monitor Executions for Increased Parallelism. DISC 2014: 553-554 | |

e2 | Pascal Felber, Vijay K. Garg: Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings .Lecture Notes in Computer Science 8756, Springer 2014, ISBN 978-3-319-11763-8 | |

i7 | Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg: ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism. CoRR abs/1408.0818 (2014) | |

i6 | Himanshu Chauhan, Vijay K. Garg: Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. CoRR abs/1410.1209 (2014) | |

2013 | ||

j39 | Bharath Balasubramanian, Vijay K. Garg: Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distrib. Syst. 24(4): 701-715 (2013) | |

c86 | Himanshu Chauhan, Vijay K. Garg: Democratic Elections in Faulty Distributed Systems. ICDCN 2013: 176-191 | |

c85 | Vijay K. Garg: Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN 2013: 240-254 | |

c84 | Wei-Lun Hung, Vijay K. Garg: AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI 2013: 253-262 | |

c83 | Nitin H. Vaidya, Vijay K. Garg: Byzantine vector consensus in complete graphs. PODC 2013: 65-73 | |

c82 | Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal: A Distributed Abstraction Algorithm for Online Predicate Detection. SRDS 2013: 101-110 | |

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

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

c81 | Vijay K. Garg: Lattice Completion Algorithms for Distributed Computations. OPODIS 2012: 166-180 | |

c80 | John Bridgman, Vijay K. Garg: Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC 2012: 95-96 | |

c79 | John Bridgman, Vijay K. Garg: All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298 | |

2011 | ||

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

c77 | Bharath Balasubramanian, Vijay K. Garg: Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688 | |

c76 | Vijay K. Garg, John Bridgman: The Weighted Byzantine Agreement Problem. IPDPS 2011: 524-531 | |

c75 | Bharath Balasubramanian, Vijay K. Garg: Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282 | |

c74 | Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480 | |

c73 | Vijay K. Garg, John Bridgman, Bharath Balasubramanian: Accurate byzantine agreement with feedback. PODC 2011: 215-216 | |

2010 | ||

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

c72 | Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale: Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205 | |

c71 | Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal: Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400 | |

c70 | Vijay K. Garg: Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464 | |

2009 | ||

c69 | Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg: Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341 | |

c68 | 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: 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 | ||

j36 | Yali Xiong, Xu Cheng, Zheng John 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 Trans. Industrial Electronics 55(6): 2268-2276 (2008) | |

c67 | Sujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 | |

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

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

j35 | Anurag Agarwal, Vijay K. Garg: Efficient dependency tracking for relevant events in concurrent systems. Distributed Computing 19(3): 163-183 (2007) | |

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

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

j32 | Alper Sen, Vijay K. Garg: Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007) | |

j31 | Neeraj Mittal, Alper Sen, Vijay K. Garg: Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distrib. Syst. 18(12): 1700-1713 (2007) | |

c64 | Vijay K. Garg, Vinit A. Ogale: Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20 | |

c63 | Vinit A. Ogale, Vijay K. Garg: Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434 | |

2006 | ||

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

j29 | Shailesh Patil, Vijay K. Garg: Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006) | |

j28 | Vijay K. Garg: Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006) | |

c62 | Selma Ikiz, Vijay K. Garg: Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18 | |

c61 | Rahul Garg, Vijay K. Garg, Yogish Sabharwal: Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277 | |

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

c59 | Vinit A. Ogale, Vijay K. Garg: Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550 | |

2005 | ||

j27 | Neeraj Mittal, Vijay K. Garg: Techniques and applications of computation slicing. Distributed Computing 17(3): 251-277 (2005) | |

j26 | Vijay K. Garg, Neeraj Mittal: A Critique of Java for Concurrent Programming. IEEE Distributed Systems Online 6(9) (2005) | |

j25 | Sujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005) | |

j24 | Ratnesh Kumar, Vijay K. Garg: On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans. Automation Science and Engineering 2(1): 87-91 (2005) | |

c58 | Vijay K. Garg, Anurag Agarwal: Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616 | |

c57 | Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg: SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. Systems Communications 2005: 45-48 | |

c56 | Sujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13 | |

c55 | Selma Ikiz, Vinit A. Ogale, Vijay K. Garg: Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754 | |

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

j23 | Neeraj Mittal, Vijay K. Garg: Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Computing 17(2): 107-130 (2004) | |

j22 | Ashis Tarafdar, Vijay K. Garg: Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distrib. Comput. 64(2): 219-237 (2004) | |

c53 | Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya: Finding Satisfying Global States: All for One and One for All. IPDPS 2004 | |

c52 | Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra: Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819 | |

c51 | Vijay K. Garg, R. K. Ghosh: Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263 | |

2003 | ||

j21 | Alper Sen, Vijay K. Garg: Partial Order Trace Analyzer (POTA) for Distributed Programs. Electr. Notes Theor. Comput. Sci. 89(2): 22-43 (2003) | |

j20 | Om P. Damani, Yi-Min Wang, Vijay K. Garg: Distributed recovery with K-optimistic logging. J. Parallel Distrib. Comput. 63(12): 1193-1218 (2003) | |

c50 | Alper Sen, Vijay K. Garg: On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29 | |

c49 | Neeraj Mittal, Vijay K. Garg: Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105- | |

c48 | Ranganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33 | |

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

c46 | Vijay K. Garg: Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181 | |

c45 | Vijay K. Garg, Chakarat Skawratananond: Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-559 | |

c44 | Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002 | |

c43 | Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg: Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319 | |

2001 | ||

j19 | Ratnesh Kumar, Vijay K. Garg: Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Trans. Automat. Contr. 46(4): 593-606 (2001) | |

c42 | Neeraj Mittal, Vijay K. Garg: On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10 | |

c41 | Vijay K. Garg, Neeraj Mittal: On Slicing a Distributed Computation. ICDCS 2001: 322-329 | |

c40 | Vijay K. Garg, Chakarat Skawratananond: String realizers of posets with applications to distributed computing. PODC 2001: 72-80 | |

c39 | Neeraj Mittal, Vijay K. Garg: Computation Slicing: Techniques and Theory. DISC 2001: 78-92 | |

2000 | ||

c38 | Neeraj Mittal, Vijay K. Garg: Debugging distributed programs using controlled re-execution. PODC 2000: 239-248 | |

c37 | Vijay K. Garg, Oliver T. W. Yu: Integrated QoS support in 3G UMTS networks. WCNC 2000: 1187-1192 | |

1999 | ||

j18 | Vijay K. Garg, Michel Raynal: Normality: A Consistency Condition for Concurrent Objects. Parallel Processing Letters 9(1): 123-134 (1999) | |

c36 | Om P. Damani, Ashis Tarafdar, Vijay K. Garg: Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243 | |

c35 | Ashis Tarafdar, Vijay K. Garg: Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224 | |

1998 | ||

j17 | Craig M. Chase, Vijay K. Garg: Detection of Global Predicates: Techniques and Their Limitations. Distributed Computing 11(4): 191-201 (1998) | |

c34 | Vijay K. Garg, J. Roger Mitchell: Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169 | |

c33 | Ashis Tarafdar, Vijay K. Garg: Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101 | |

c32 | Vijay K. Garg, J. Roger Mitchell: Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423 | |

c31 | Neeraj Mittal, Vijay K. Garg: Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599 | |

c30 | Ashis Tarafdar, Vijay K. Garg: Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769 | |

c29 | Om P. Damani, Vijay K. Garg: Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45 | |

c28 | Guillaume P. Brat, Vijay K. Garg: Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. RTSS 1998: 210-219 | |

c27 | J. Roger Mitchell, Vijay K. Garg: A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9 | |

1997 | ||

j16 | Vijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997) | |

j15 | Vijay K. Garg: Methods for observing global properties in distributed systems. IEEE Concurrency 5(4): 69-77 (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) | |

c26 | Vijay K. Garg: Observation and Control for Debugging Distributed Computations. AADEBUG 1997: 1-12 | |

c25 | Yi-Min Wang, Om P. Damani, Vijay K. Garg: Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 60-67 | |

c24 | Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 492-499 | |

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

c22 | J. Roger Mitchell, Vijay K. Garg: Optimistic agreement in distributed systems. PDPTA 1997: 885-889 | |

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

c21 | Om P. Damani, Vijay K. Garg: How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115 | |

c20 | Venkatesh V. Murty, Vijay K. Garg: Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88 | |

c19 | Vijay K. Garg: Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425 | |

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

c18 | J. Roger Mitchell, Vijay K. Garg: Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-273 | |

c17 | Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209 | |

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

c15 | Darren D. Cofer, Vijay K. Garg: On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349 | |

c14 | Vijay K. Garg, Craig M. Chase: Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430 | |

c13 | Venkatesh V. Murty, Vijay K. Garg: An algorithm for guaranteeing synchronous ordering of messages. ISADS 1995: 208-214 | |

c12 | Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal: Expressing and detecting control flow properties of distributed computations. SPDP 1995: 432-438 | |

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

c10 | Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) 1994: 73-76 | |

c9 | Vijay K. Garg, Alexander I. Tomlinson: Causality versus time: how to specify and verify distributed algorithms. SPDP 1994: 249-256 | |

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 | Vijay K. Garg, Joydeep Ghosh: Symmetry in Spite of Hierarchy. ICDCS 1990: 4-11 | |

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 | Vijay K. Garg: Analysis of Distributed Systems With Many Identical Processes. ICDCS 1988: 358-365 | |

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

Last update 2017-05-26 22:29 CEST by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page