default search action
Vijay K. Garg
Vijay Kumar Garg
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c117]Vijay K. Garg
, Robert P. Streit
Parallel Algorithms for Equilevel Predicates. ICDCN 2024: 104-113 - [i27]Robert Streit, Vijay K. Garg:
Reducing Matroid Optimization to Basis Search. CoRR abs/2408.04118 (2024) - [i26]Robert Streit, Vijay K. Garg:
The Polymatroid Representation of a Greedoid, and Associated Galois Connections. CoRR abs/2411.15363 (2024) - 2023
- [c116]Vijay Kumar Garg
Keynote Talk: Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties✱. ICDCN 2023: 2-11 - [c115]Vijay K. Garg
Improved Paths to Stability for the Stable Marriage Problem. SSS 2023: 126-140 - [i25]Vijay K. Garg, Robert P. Streit:
Parallel Algorithms for Equilevel Predicates. CoRR abs/2311.06206 (2023) - 2022
- [j60]Abdul Karim Siddiqui
An Analysis of Adaptable Intelligent Models for Pulmonary Tuberculosis Detection and Classification. SN Comput. Sci. 3(1): 34 (2022) - [c114]Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. ICDCN 2022: 72-76 - [c113]David R. Alves, Vijay K. Garg:
Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection. IPDPS Workshops 2022: 774-782 - [c112]Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng:
Fault-tolerant Snapshot Objects in Message Passing Systems. IPDPS 2022: 1129-1139 - [i24]Vijay K. Garg:
Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties. CoRR abs/2208.01370 (2022) - 2021
- [c111]Vijay K. Garg
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. SSS 2021: 108-122 - [c110]Changyong Hu
Characterization of Super-Stable Matchings. WADS 2021: 485-498 - [i23]Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. CoRR abs/2103.06264 (2021) - [i22]Changyong Hu, Vijay K. Garg:
Characterization of Super-stable Matchings. CoRR abs/2105.09602 (2021) - [i21]Changyong Hu, Vijay K. Garg:
Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas. CoRR abs/2110.15559 (2021) - 2020
- [j59]Reema Jain, Vijay Kumar Garg
EMG Signal Feature Extraction, Normalization and Classification for Pain and Normal Muscles Using Genetic Algorithm and Support Vector Machine. Rev. d'Intelligence Artif. 34(5): 653-661 (2020) - [c109]Changyong Hu, Vijay K. Garg:
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. IPDPS 2020: 759-768 - [c108]David R. Alves, Madan S. Krishnakumar, Vijay K. Garg:
Efficient Parallel Shortest Path Algorithms. ISPDC 2020: 188-195 - [c107]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Asynchronous Systems. OPODIS 2020: 4:1-4:16 - [c106]Vijay K. Garg:
Predicate Detection to Solve Combinatorial Optimization Problems. SPAA 2020: 235-245 - [c105]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Synchronous Message Passing Systems. DISC 2020: 32:1-32:16 - [i20]Vijay K. Garg:
A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem. CoRR abs/2001.03133 (2020) - [i19]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Asynchronous Systems. CoRR abs/2002.06779 (2020) - [i18]Vijay Kumar Garg, Changyong Hu:
Improved Paths to Stability for the Stable Marriage Problem. CoRR abs/2007.07121 (2020) - [i17]Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng:
Amortized Constant Round Atomic Snapshot in Message-Passing Systems. CoRR abs/2008.11837 (2020)
2010 – 2019
- 2019
- [c104]Vijay K. Garg, Rohan Garg:
Parallel algorithms for predicate detection. ICDCN 2019: 51-60 - [c103]Xiong Zheng, Vijay K. Garg:
An Optimal Vector Clock Algorithm for Multithreaded Systems. ICDCS 2019: 2188-2194 - [c102]Xiong Zheng, Vijay K. Garg:
Parallel and Distributed Algorithms for the Housing Allocation Problem. OPODIS 2019: 23:1-23:16 - [c101]Xiong Zheng, Vijay K. Garg, John Kaippallimalil:
Linearizable Replicated State Machines With Lattice Agreement. OPODIS 2019: 29:1-29:16 - [i16]Xiong Zheng, Vijay K. Garg:
An Optimal Vector Clock Algorithm for Multithreaded Systems. CoRR abs/1901.06545 (2019) - [i15]Xiong Zheng, Vijay K. Garg:
Parallel and Distributed Algorithms for the housing allocation Problem. CoRR abs/1905.03111 (2019) - [i14]Changyong Hu, Vijay K. Garg:
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. CoRR abs/1910.13386 (2019) - [i13]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Synchronous Systems. CoRR abs/1910.14141 (2019) - 2018
- [c100]Xiong Zheng, Changyong Hu, Vijay K. Garg:
Lattice Agreement in Message Passing Systems. DISC 2018: 41:1-41:17 - [e3]Paolo Bellavista
Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018. ACM 2018, ISBN 978-1-4503-6372-3 [contents] - [i12]Xiong Zheng, Changyong Hu, Vijay K. Garg:
Lattice Agreement in Message Passing Systems. CoRR abs/1807.11557 (2018) - [i11]Xiong Zheng, Vijay K. Garg, John Kaippallimalil:
Linearizable Replicated State Machines with Lattice Agreement. CoRR abs/1810.05871 (2018) - [i10]Vijay K. Garg:
Applying Predicate Detection to the Constrained Optimization Problems. CoRR abs/1812.10431 (2018) - [i9]Vijay K. Garg:
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem. CoRR abs/1812.10499 (2018) - 2017
- [j58]Pascal Felber
Preface. Inf. Comput. 254: 329 (2017) - [j57]Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg:
Efficient abstraction algorithms for predicate detection. Theor. Comput. Sci. 688: 24-48 (2017) - [c99]Wei-Lun Hung, Vijay K. Garg:
Automatic-Signal Monitors with Multi-object Synchronization. IPDPS 2017: 927-936 - [c98]Himanshu Chauhan, Vijay K. Garg:
Fast Detection of Stable and Count Predicates in Parallel Computations. OPODIS 2017: 20:1-20:21 - [c97]Himanshu Chauhan, Vijay K. Garg:
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. RV 2017: 138-154 - [c96]Vijay K. Garg:
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem. DISC 2017: 52:1-52:3 - [i8]Himanshu Chauhan, Vijay K. Garg:
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. CoRR abs/1707.07788 (2017) - 2016
- [c95]Yen-Jung Chang, Vijay K. Garg:
Predicate Detection for Parallel Computations with Locking Constraints. OPODIS 2016: 17:1-17:17 - 2015
- [j56]Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg:
Multidimensional agreement in Byzantine systems. Distributed Comput. 28(6): 423-441 (2015) - [c94]Himanshu Chauhan, Vijay K. Garg:
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. ICDCN 2015: 34:1-34:10 - [c93]Yen-Jung Chang, Vijay K. Garg:
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. OPODIS 2015: 25:1-25:17 - [c92]Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. OPODIS 2015: 29:1-29:17 - [c91]Yen-Jung Chang, Vijay K. Garg:
A parallel algorithm for global states enumeration in concurrent systems. PPoPP 2015: 140-149 - 2014
- [j55]Bharath Balasubramanian, Vijay K. Garg:
Fault tolerance in distributed systems using fused state machines. Distributed Comput. 27(4): 287-311 (2014) - [j54]Vijay K. Garg, Anurag Agarwal, Vinit A. Ogale:
Modeling, analyzing and slicing periodic distributed computations. Inf. Comput. 234: 26-43 (2014) - [c90]Aravind Natarajan, Neeraj Mittal, Vijay K. Garg:
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN 2014: 165-180 - [c89]Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
Non-blocking Monitor Executions for Increased Parallelism. DISC 2014: 553-554 - [e2]Pascal Felber
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 [contents] - [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
- [j53]Bharath Balasubramanian, Vijay K. Garg:
Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distributed Syst. 24(4): 701-715 (2013) - [c88]Himanshu Chauhan, Vijay K. Garg:
Democratic Elections in Faulty Distributed Systems. ICDCN 2013: 176-191 - [c87]Vijay K. Garg:
Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN 2013: 240-254 - [c86]Wei-Lun Hung, Vijay K. Garg:
AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI 2013: 253-262 - [c85]Nitin H. Vaidya, Vijay K. Garg:
Byzantine vector consensus in complete graphs. PODC 2013: 65-73 - [c84]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
- [j52]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) - [c83]Vijay K. Garg:
Lattice Completion Algorithms for Distributed Computations. OPODIS 2012: 166-180 - [c82]John Bridgman, Vijay K. Garg:
Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC 2012: 95-96 - [c81]John Bridgman, Vijay K. Garg:
All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298 - 2011
- [c80]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 - [c79]Bharath Balasubramanian, Vijay K. Garg:
Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688 - [c78]Vijay K. Garg, John Bridgman:
The Weighted Byzantine Agreement Problem. IPDPS 2011: 524-531 - [c77]Bharath Balasubramanian, Vijay K. Garg:
Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282 - [c76]Vijay K. Garg, John Bridgman, Bharath Balasubramanian:
Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480 - [c75]Vijay K. Garg, John Bridgman, Bharath Balasubramanian:
Accurate byzantine agreement with feedback. PODC 2011: 215-216 - 2010
- [j51]Rahul Garg, Vijay K. Garg, Yogish Sabharwal:
Efficient Algorithms for Global Snapshots in Large Distributed Systems. IEEE Trans. Parallel Distributed Syst. 21(5): 620-630 (2010) - [c74]Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale:
Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205 - [c73]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal:
Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400 - [c72]Vijay K. Garg:
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464
2000 – 2009
- 2009
- [c71]Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg:
Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341 - [c70]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 [contents] - 2008
- [j50]Yali Xiong, Xu Cheng, Zheng John Shen, Chunting Mi
Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles. IEEE Trans. Ind. Electron. 55(6): 2268-2276 (2008) - [c69]Sujatha Kashyap, Vijay K. Garg:
Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 - [c68]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 - [c67]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
- [j49]Anurag Agarwal, Vijay K. Garg:
Efficient dependency tracking for relevant events in concurrent systems. Distributed Comput. 19(3): 163-183 (2007) - [j48]Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal:
Timestamping messages and events in a distributed system using synchronous communication. Distributed Comput. 19(5-6): 387-402 (2007) - [j47]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 Distributed Comput. 67(4): 369-385 (2007) - [j46]Alper Sen, Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007) - [j45]Neeraj Mittal, Alper Sen, Vijay K. Garg:
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18(12): 1700-1713 (2007) - [c66]Vijay K. Garg, Vinit A. Ogale:
Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20 - [c65]Vinit A. Ogale, Vijay K. Garg:
Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434 - 2006
- [j44]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) - [j43]Shailesh Patil, Vijay K. Garg:
Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006) - [j42]Vijay K. Garg:
Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006) - [c64]Selma Ikiz, Vijay K. Garg:
Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18 - [c63]Rahul Garg, Vijay K. Garg, Yogish Sabharwal:
Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277 - [c62]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 - [c61]Vinit A. Ogale, Vijay K. Garg:
Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550 - 2005
- [j41]Neeraj Mittal, Vijay K. Garg:
Techniques and applications of computation slicing. Distributed Comput. 17(3): 251-277 (2005) - [j40]Vijay K. Garg, Neeraj Mittal:
A Critique of Java for Concurrent Programming. IEEE Distributed Syst. Online 6(9) (2005) - [j39]Sujatha Kashyap, Vijay K. Garg:
Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005) - [j38]Ratnesh Kumar, Vijay K. Garg:
On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans Autom. Sci. Eng. 2(1): 87-91 (2005) - [c60]Vijay K. Garg, Anurag Agarwal:
Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616 - [c59]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 - [c58]Sujatha Kashyap, Vijay K. Garg:
Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13 - [c57]Selma Ikiz, Vinit A. Ogale, Vijay K. Garg:
Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754 - [c56]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 - [j37]Neeraj Mittal, Vijay K. Garg:
Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Comput. 17(2): 107-130 (2004) - [j36]Ashis Tarafdar, Vijay K. Garg:
Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distributed Comput. 64(2): 219-237 (2004) - [c55]Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya:
Finding Satisfying Global States: All for One and One for All. IPDPS 2004 - [c54]Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra:
Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819 - [c53]Vijay K. Garg, R. K. Ghosh:
Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263 - 2003
- [j35]Om P. Damani, Yi-Min Wang, Vijay K. Garg:
Distributed recovery with K-optimistic logging. J. Parallel Distributed Comput. 63(12): 1193-1218 (2003) - [c52]Alper Sen, Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29 - [c51]Neeraj Mittal, Vijay K. Garg:
Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105- - [c50]Ranganath Atreya, Neeraj Mittal, Vijay K. Garg:
Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33 - [c49]Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183 - [c48]Alper Sen, Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs. RV@CAV 2003: 22-43 - [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 - [c47]Vijay K. Garg:
Algorithmic Combinatorics Based on Slicing Posets. FSTTCS 2002: 169-181 - [c46]Vijay K. Garg, Chakarat Skawratananond:
Timestamping Messages in Synchronous Computations. ICDCS 2002: 552-559 - [c45]Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002 - [c44]Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg:
Video Communication with QoS Guarantees over HIPERLAN/2. ISMSE 2002: 312-319 - 2001
- [j34]Ratnesh Kumar, Vijay K. Garg:
Control of stochastic discrete event systems modeled by probabilistic languages. IEEE Trans. Autom. Control. 46(4): 593-606 (2001) - [c43]Neeraj Mittal, Vijay K. Garg:
On Detecting Global Predicates in Distributed Computations. ICDCS 2001: 3-10 - [c42]Vijay K. Garg, Neeraj Mittal:
On Slicing a Distributed Computation. ICDCS 2001: 322-329 - [c41]Vijay K. Garg, Chakarat Skawratananond:
String realizers of posets with applications to distributed computing. PODC 2001: 72-80 - [c40]Neeraj Mittal, Vijay K. Garg:
Computation Slicing: Techniques and Theory. DISC 2001: 78-92 - 2000
- [c39]Neeraj Mittal, Vijay K. Garg:
Debugging distributed programs using controlled re-execution. PODC 2000: 239-248 - [c38]Vijay K. Garg, Oliver T. W. Yu:
Integrated QoS support in 3G UMTS networks. WCNC 2000: 1187-1192
1990 – 1999
- 1999
- [j33]Vijay K. Garg:
Trunk management in cellular/PCS networks. Bell Labs Tech. J. 4(3): 120-133 (1999) - [j32]Vijay K. Garg, Michel Raynal:
Normality: A Consistency Condition for Concurrent Objects. Parallel Process. Lett. 9(1): 123-134 (1999) - [j31]Vijay Kumar Garg, Ratnesh Kumar, Steven I. Marcus:
A probabilistic language formalism for stochastic discrete-event systems. IEEE Trans. Autom. Control. 44(2): 280-293 (1999) - [c37]Om P. Damani, Ashis Tarafdar, Vijay K. Garg:
Optimistic Recovery in Multi-threaded Distributed Systems. SRDS 1999: 234-243 - [c36]Ashis Tarafdar, Vijay K. Garg:
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution. DISC 1999: 210-224 - 1998
- [j30]Craig M. Chase, Vijay K. Garg:
Detection of Global Predicates: Techniques and Their Limitations. Distributed Comput. 11(4): 191-201 (1998) - [c35]Vijay K. Garg, J. Roger Mitchell:
Implementable Failure Detectors in Asynchronous Systems. FSTTCS 1998: 158-169 - [c34]Ashis Tarafdar, Vijay K. Garg:
Addressing False Causality while Detecting Predicates in Distributed Programs. ICDCS 1998: 94-101 - [c33]Vijay K. Garg, J. Roger Mitchell:
Distributed Predicate Detection in a Faulty Environment. ICDCS 1998: 416-423 - [c32]Neeraj Mittal, Vijay K. Garg:
Consistency Conditions for Multi-Object Distributed Operations. ICDCS 1998: 582-599 - [c31]Ashis Tarafdar, Vijay K. Garg:
Predicate Control for Active Debugging of Distributed Programs. IPPS/SPDP 1998: 763-769 - [c30]Om P. Damani, Vijay K. Garg:
Fault-Tolerant Distributed Simulation. Workshop on Parallel and Distributed Simulation 1998: 38-45 - [c29]Guillaume P. Brat, Vijay K. Garg:
Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. RTSS 1998: 210-219 - [c28]J. Roger Mitchell, Vijay K. Garg:
A Non-Blocking Recovery Algorithm for Causal Message Logging. SRDS 1998: 3-9 - 1997
- [j29]Vijay K. Garg, Alexander I. Tomlinson:
Using the Causal Domain to Specify and verify Distributed Programs. Acta Informatica 34(9): 667-686 (1997) - [j28]Vijay K. Garg, Elbert L. Sneed:
TDMA for North American PCS systems. Bell Labs Tech. J. 2(3): 207-220 (1997) - [j27]Vijay K. Garg, Laura Huntington:
Application of adaptive array antenna to a TDMA cellular/PCS system. IEEE Commun. Mag. 35(10): 148-152 (1997) - [j26]Vijay K. Garg:
Methods for observing global properties in distributed systems. IEEE Concurrency 5(4): 69-77 (1997) - [j25]Vijay K. Garg, J. Roger Mitchell:
Detecting Conjunctions of Global Predicates. Inf. Process. Lett. 63(6): 295-302 (1997) - [j24]Alexander I. Tomlinson, Vijay K. Garg:
Monitoring Functions on Global States of Distributed Programs. J. Parallel Distributed Comput. 41(2): 173-189 (1997) - [j23]Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell:
Efficient Detection of Channel Predicates in Distributed Systems. J. Parallel Distributed Comput. 45(2): 134-147 (1997) - [j22]Vijay K. Garg, E. Lee Sneed, W. E. Gooding:
Subscriber data management in personal communications services networks. IEEE Wirel. Commun. 4(3): 33-39 (1997) - [c27]Vijay K. Garg:
Observation and Control for Debugging Distributed Computations. AADEBUG 1997: 1-12 - [c26]Yi-Min Wang, Om P. Damani, Vijay K. Garg:
Distributed Recovery with K-Optimistic Logging. ICDCS 1997: 60-67 - [c25]Venkatesh V. Murty, Vijay K. Garg:
Characterization of Message Ordering Specifications and Protocols. ICDCS 1997: 492-499 - [c24]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 - [c23]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 - [j21]Vijay K. Garg, Joseph E. Wilkes:
Interworking and interoperability issues for North American PCS. IEEE Commun. Mag. 34(3): 94-99 (1996) - [j20]Vijay K. Garg, E. Lee Sneed:
Digital wireless local loop system. IEEE Commun. Mag. 34(10): 112-115 (1996) - [j19]Darren D. Cofer, Vijay K. Garg:
Supervisory control of real-time discrete-event systems using lattice theory. IEEE Trans. Autom. Control. 41(2): 199-209 (1996) - [j18]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Corrections to "Finite buffer realization of input-output discrete event systems". IEEE Trans. Autom. Control. 41(4): 625-627 (1996) - [j17]Vijay K. Garg, Brian Waldecker:
Detection of Strong Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distributed Syst. 7(12): 1323-1333 (1996) - [c22]Om P. Damani, Vijay K. Garg:
How to Recover Efficiently and Asynchronously when Optimism Fails. ICDCS 1996: 108-115 - [c21]Venkatesh V. Murty, Vijay K. Garg:
Characterization of Message Ordering Specifications and Protocols (Abstract). PODC 1996: 88 - [c20]Vijay K. Garg:
Observation of Global Properties in Distributed Systems. SEKE 1996: 418-425 - 1995
- [j16]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Finite buffer realization of input-output discrete-event systems. IEEE Trans. Autom. Control. 40(6): 1042-1053 (1995) - [j15]Ratnesh Kumar, Vijay K. Garg:
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control. Theor. Comput. Sci. 148(1): 67-92 (1995) - [c19]J. Roger Mitchell, Vijay K. Garg:
Deriving distributed algorithms from a general predicate detector. COMPSAC 1995: 268-273 - [c18]Alexander I. Tomlinson, Vijay K. Garg:
Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209 - [c17]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 - [c16]Darren D. Cofer, Vijay K. Garg:
On Controlling Timed Discrete Event Systems. Hybrid Systems 1995: 340-349 - [c15]Vijay K. Garg, Craig M. Chase:
Distributed Algorithms for Detecting Conjunctive Predicates. ICDCS 1995: 423-430 - [c14]Venkatesh V. Murty, Vijay K. Garg:
An algorithm for guaranteeing synchronous ordering of messages. ISADS 1995: 208-214 - [c13]Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal:
Expressing and detecting control flow properties of distributed computations. SPDP 1995: 432-438 - [c12]Craig M. Chase, Vijay K. Garg:
Efficient Detection of Restricted Classes of Global Predicates. WDAG 1995: 303-317 - 1994
- [j14]Vijay K. Garg, Brian Waldecker:
Detection of Weak Unstable Predicates in Distributed Programs. IEEE Trans. Parallel Distributed Syst. 5(3): 299-307 (1994) - [j13]Vijay K. Garg, Joydeep Ghosh:
Repeated Computation of Global Functions in a Distributed Environment. IEEE Trans. Parallel Distributed Syst. 5(8): 823-834 (1994) - [c11]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 - [c10]Vijay K. Garg, Alexander I. Tomlinson:
Causality versus time: how to specify and verify distributed algorithms. SPDP 1994: 249-256 - 1993
- [j12]Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus:
Predicates and predicate transformers for supervisory control of discrete event dynamical systems. IEEE Trans. Autom. Control. 38(2): 232-247 (1993) - [c9]Alexander I. Tomlinson, Vijay K. Garg:
An algorithm for minimally latent global virtual time. PADS 1993: 35-42 - [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
- [j11]Vijay K. Garg:
Some Optimal Algorithms for Decomposed Partially Ordered Sets. Inf. Process. Lett. 44(1): 39-43 (1992) - [j10]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
- [j9]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
1980 – 1989
- 1989
- [c3]Vijay K. Garg:
Modeling of Distributed Systems by Concurrent Regular Expressions. FORTE 1989: 313-327 - 1988
- [j8]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
- [j7]C. V. Ramamoorthy, Atul Prakash
Issues in the Development of Large, Distributed, and Reliable Software. Adv. Comput. 26: 393-443 (1987) - [j6]C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg:
Software Development Support for AI Programs. Computer 20(1): 30-40 (1987) - 1986
- [j5]C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash
Programming in the Large. IEEE Trans. Software Eng. 12(7): 769-783 (1986) - 1985
- [j4]Vijay Kumar Garg:
Functional composition: a mechanism to compose programs. ACM SIGSOFT Softw. Eng. Notes 10(3): 37-39 (1985) - 1984
- [j3]Mukul Babu Agrawal, Vijay Kumar Garg:
Dimensional analysis in Pascal. ACM SIGPLAN Notices 19(3): 7-11 (1984) - [j2]Vijay Kumar Garg:
Screen-oriented highlevel debugger (SHD) for Pascal. ACM SIGPLAN Notices 19(3): 39-41 (1984) - [j1]Vijay Kumar Garg:
Screen-oriented highlevel debugger(SHD) for PASCAL. ACM SIGSOFT Softw. Eng. Notes 9(2): 117-119 (1984)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-02 18:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: