Vijay K. Garg

206 papers A* 10A 37B 24C 9Misc 14Journal 82Unranked 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
A common parallel framework for LLP combinatorial problems.
CoRR
David Ribeiro Alves, Vijay K. Garg
2026 J jnl
Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems.
CoRR
Vijay K. Garg, Rohan Garg
2025 J jnl
Constrained Cuts, Flows, and Lattice-Linearity.
CoRR
Robert Streit, Vijay K. Garg
2025 B conf
Monitoring Distributed Systems Based on Partial Order Executions with Global States.
RV
Moran Omer, Doron Peled, Ely Porat, Vijay K. Garg
2024 Misc conf
Parallel Algorithms for Equilevel Predicates.
ICDCN
Vijay K. Garg, Robert P. Streit
2024 J jnl
Reducing Matroid Optimization to Basis Search.
CoRR
Robert Streit, Vijay K. Garg
2024 J jnl
The Polymatroid Representation of a Greedoid, and Associated Galois Connections.
CoRR
Robert Streit, Vijay K. Garg
2023 C conf
Improved Paths to Stability for the Stable Marriage Problem.
SSS
Vijay K. Garg, Changyong Hu
2023 J jnl
Parallel Algorithms for Equilevel Predicates.
CoRR
Vijay K. Garg, Robert P. Streit
2022 Misc conf
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems.
ICDCN
Vijay K. Garg
2022 A conf
Fault-tolerant Snapshot Objects in Message Passing Systems.
IPDPS
Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng
2022 J jnl
Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties.
CoRR
Vijay K. Garg
2022 — conf
Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection.
IPDPS Workshops
David R. Alves, Vijay K. Garg
2021 J jnl
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems.
CoRR
Vijay K. Garg
2021 C conf
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem.
SSS
Vijay K. Garg
2021 B conf
Characterization of Super-Stable Matchings.
WADS
Changyong Hu, Vijay K. Garg
2021 J jnl
Characterization of Super-stable Matchings.
CoRR
Changyong Hu, Vijay K. Garg
2021 J jnl
Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas.
CoRR
Changyong Hu, Vijay K. Garg
2020 J jnl
A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem.
CoRR
Vijay K. Garg
2020 J jnl
Amortized Constant Round Atomic Snapshot in Message-Passing Systems.
CoRR
Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng
2020 B conf
Byzantine Lattice Agreement in Asynchronous Systems.
OPODIS
Xiong Zheng, Vijay K. Garg
2020 J jnl
Byzantine Lattice Agreement in Asynchronous Systems.
CoRR
Xiong Zheng, Vijay K. Garg
2020 A conf
Byzantine Lattice Agreement in Synchronous Message Passing Systems.
DISC
Xiong Zheng, Vijay K. Garg
2020 C conf
Efficient Parallel Shortest Path Algorithms.
ISPDC
David R. Alves, Madan S. Krishnakumar, Vijay K. Garg
2020 A conf
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems.
IPDPS
Changyong Hu, Vijay K. Garg
2020 B conf
Predicate Detection to Solve Combinatorial Optimization Problems.
SPAA
Vijay K. Garg
2019 A conf
An Optimal Vector Clock Algorithm for Multithreaded Systems.
ICDCS
Xiong Zheng, Vijay K. Garg
2019 J jnl
An Optimal Vector Clock Algorithm for Multithreaded Systems.
CoRR
Xiong Zheng, Vijay K. Garg
2019 J jnl
Byzantine Lattice Agreement in Synchronous Systems.
CoRR
Xiong Zheng, Vijay K. Garg
2019 B conf
Linearizable Replicated State Machines With Lattice Agreement.
OPODIS
Xiong Zheng, Vijay K. Garg, John Kaippallimalil
2019 J jnl
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems.
CoRR
Changyong Hu, Vijay K. Garg
2019 Misc conf
Parallel algorithms for predicate detection.
ICDCN
Vijay K. Garg, Rohan Garg
2019 B conf
Parallel and Distributed Algorithms for the Housing Allocation Problem.
OPODIS
Xiong Zheng, Vijay K. Garg
2019 J jnl
Parallel and Distributed Algorithms for the housing allocation Problem.
CoRR
Xiong Zheng, Vijay K. Garg
2018 J jnl
Applying Predicate Detection to the Constrained Optimization Problems.
CoRR
Vijay K. Garg
2018 A conf
Lattice Agreement in Message Passing Systems.
DISC
Xiong Zheng, Changyong Hu, Vijay K. Garg
2018 J jnl
Lattice Agreement in Message Passing Systems.
CoRR
Xiong Zheng, Changyong Hu, Vijay K. Garg
2018 J jnl
Linearizable Replicated State Machines with Lattice Agreement.
CoRR
Xiong Zheng, Vijay K. Garg, John Kaippallimalil
2018 Misc ed.
Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018
ICDCN
Paolo Bellavista, Vijay K. Garg
2018 J jnl
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem.
CoRR
Vijay K. Garg
2017 A conf
Automatic-Signal Monitors with Multi-object Synchronization.
IPDPS
Wei-Lun Hung, Vijay K. Garg
2017 A conf
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem.
DISC
Vijay K. Garg
2017 J jnl
Efficient abstraction algorithms for predicate detection.
Theor. Comput. Sci.
Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg
2017 B conf
Fast Detection of Stable and Count Predicates in Parallel Computations.
OPODIS
Himanshu Chauhan, Vijay K. Garg
2017 J jnl
Preface.
Inf. Comput.
Pascal Felber, Vijay K. Garg
2017 B conf
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.
RV
Himanshu Chauhan, Vijay K. Garg
2017 J jnl
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.
CoRR
Himanshu Chauhan, Vijay K. Garg
2016 B conf
Predicate Detection for Parallel Computations with Locking Constraints.
OPODIS
Yen-Jung Chang, Vijay K. Garg
2015 B conf
A parallel algorithm for global states enumeration in concurrent systems.
PPoPP
Yen-Jung Chang, Vijay K. Garg
2015 B conf
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization.
OPODIS
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
2015 J jnl
Multidimensional agreement in Byzantine systems.
Distributed Comput.
Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg
2015 Misc conf
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.
ICDCN
Himanshu Chauhan, Vijay K. Garg
2015 B conf
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations.
OPODIS
Yen-Jung Chang, Vijay K. Garg
2014 J jnl
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism.
CoRR
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
2014 J jnl
Fault tolerance in distributed systems using fused state machines.
Distributed Comput.
Bharath Balasubramanian, Vijay K. Garg
2014 J jnl
Modeling, analyzing and slicing periodic distributed computations.
Inf. Comput.
Vijay K. Garg, Anurag Agarwal, Vinit A. Ogale
2014 J jnl
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.
CoRR
Himanshu Chauhan, Vijay K. Garg
2014 A conf
Non-blocking Monitor Executions for Increased Parallelism.
DISC
Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg
2014 Misc conf
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.
ICDCN
Aravind Natarajan, Neeraj Mittal, Vijay K. Garg
2014 C ed.
Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings
SSS
Pascal Felber, Vijay K. Garg
2013 B conf
A Distributed Abstraction Algorithm for Online Predicate Detection.
SRDS
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
2013 J jnl
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging
CoRR
Wei-Lun Hung, Vijay K. Garg
2013 A* conf
AutoSynch: an automatic-signal monitor based on predicate tagging.
PLDI
Wei-Lun Hung, Vijay K. Garg
2013 J jnl
Byzantine Vector Consensus in Complete Graphs
CoRR
Nitin H. Vaidya, Vijay K. Garg
2013 A* conf
Byzantine vector consensus in complete graphs.
PODC
Nitin H. Vaidya, Vijay K. Garg
2013 Misc conf
Democratic Elections in Faulty Distributed Systems.
ICDCN
Himanshu Chauhan, Vijay K. Garg
2013 J jnl
Distributed Abstraction Algorithm for Online Predicate Detection
CoRR
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
2013 J jnl
Fault Tolerance in Distributed Systems Using Fused Data Structures.
IEEE Trans. Parallel Distributed Syst.
Bharath Balasubramanian, Vijay K. Garg
2013 J jnl
Fault Tolerance in Distributed Systems using Fused State Machines
CoRR
Bharath Balasubramanian, Vijay K. Garg
2013 Misc conf
Maximal Antichain Lattice Algorithms for Distributed Computations.
ICDCN
Vijay K. Garg
2012 C conf
All-to-All Gradecast Using Coding with Byzantine Failures.
SSS
John Bridgman, Vijay K. Garg
2012 A* conf
Brief announcement: all-to-all gradecast using coding with byzantine failures.
PODC
John Bridgman, Vijay K. Garg
2012 J jnl
Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem.
Theory Comput. Syst.
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
2012 B conf
Lattice Completion Algorithms for Distributed Computations.
OPODIS
Vijay K. Garg
2011 B conf
Accurate Byzantine Agreement with Feedback.
OPODIS
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
2011 A* conf
Accurate byzantine agreement with feedback.
PODC
Vijay K. Garg, John Bridgman, Bharath Balasubramanian
2011 Misc conf
An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem.
ICDCN
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
2011 A conf
Fused Data Structures for Handling Multiple Faults in Distributed Systems.
ICDCS
Bharath Balasubramanian, Vijay K. Garg
2011 B conf
Fused State Machines for Fault Tolerance in Distributed Systems.
OPODIS
Bharath Balasubramanian, Vijay K. Garg
2011 A conf
The Weighted Byzantine Agreement Problem.
IPDPS
Vijay K. Garg, John Bridgman
2010 A conf
Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting.
DISC
Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal
2010 J jnl
Efficient Algorithms for Global Snapshots in Large Distributed Systems.
IEEE Trans. Parallel Distributed Syst.
Rahul Garg, Vijay K. Garg, Yogish Sabharwal
2010 A conf
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication.
DISC
Vijay K. Garg
2010 C conf
Modeling and Analyzing Periodic Distributed Computations.
SSS
Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale
2009 A conf
A fusion-based approach for tolerating faults in finite state machines.
IPDPS
Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg
2009 Misc ed.
Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings
ICDCN
Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli
2009 Misc conf
Highly scalable algorithm for distributed real-time text indexing.
HiPC
Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg
2008 Misc conf
Fault Tolerance in Finite State Machines Using Fusion.
ICDCN
Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg
2008 Misc conf
Optimization of BLAS on the Cell Processor.
HiPC
Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels
2008 A* conf
Producing Short Counterexamples Using "Crucial Events".
CAV
Sujatha Kashyap, Vijay K. Garg
2008 J jnl
Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles.
IEEE Trans. Ind. Electron.
Yali Xiong, Xu Cheng, Zheng John Shen, Chunting Mi, Hongjie Wu, Vijay K. Garg
2008 — ch.
Time and State in Asynchronous Distributed Systems.
Wiley Encyclopedia of Computer Science and Engineering
Vijay K. Garg, Neeraj Mittal
2007 A conf
Detecting Temporal Logic Predicates on Distributed Computations.
DISC
Vinit A. Ogale, Vijay K. Garg
2007 J jnl
Efficient dependency tracking for relevant events in concurrent systems.
Distributed Comput.
Anurag Agarwal, Vijay K. Garg
2007 J jnl
Efficient detection of a locally stable predicate in a distributed system.
J. Parallel Distributed Comput.
Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal
2007 J jnl
Formal Verification of Simulation Traces Using Computation Slicing.
IEEE Trans. Computers
Alper Sen, Vijay K. Garg
2007 A conf
Fusible Data Structures for Fault-Tolerance.
ICDCS
Vijay K. Garg, Vinit A. Ogale
2007 J jnl
Solving Computation Slicing Using Predicate Detection.
IEEE Trans. Parallel Distributed Syst.
Neeraj Mittal, Alper Sen, Vijay K. Garg
2007 J jnl
Timestamping messages and events in a distributed system using synchronous communication.
Distributed Comput.
Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal
2006 J jnl
Adaptive general perfectly periodic scheduling.
Inf. Process. Lett.
Shailesh Patil, Vijay K. Garg
2006 J jnl
Algorithmic combinatorics based on slicing posets.
Theor. Comput. Sci.
Vijay K. Garg
2006 A conf
Brief Announcement: Many Slices Are Better Than One.
DISC
Vinit A. Ogale, Vijay K. Garg
2006 J jnl
Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks.
Ad Hoc Networks
R. K. Ghosh, Vijay K. Garg, M. Shangkar Meitei, Shree Raman, Abhijeet Kumar, Nishit Tewari
2006 A conf
Efficient Incremental Optimal Chain Partition of Distributed Program Traces.
ICDCS
Selma Ikiz, Vijay K. Garg
2006 B conf
Power saving in a mobile multimedia terminal.
WCNC
Jae-sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg
2006 A conf
Scalable algorithms for global snapshots in distributed systems.
ICS
Rahul Garg, Vijay K. Garg, Yogish Sabharwal
2005 J jnl
A Critique of Java for Concurrent Programming.
IEEE Distributed Syst. Online
Vijay K. Garg, Neeraj Mittal
2005 — conf
Coordinated Energy Conservation in Ad Hoc Networks.
IASTED PDCS
Selma Ikiz, Vinit A. Ogale, Vijay K. Garg
2005 — conf
Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding.
Euro-Par
Vijay K. Garg, Anurag Agarwal
2005 A* conf
Efficient dependency tracking for relevant events in shared-memory systems.
PODC
Anurag Agarwal, Vijay K. Garg
2005 A* conf
Exploiting predicate structure for efficient reachability detection.
ASE
Sujatha Kashyap, Vijay K. Garg
2005 J jnl
Intractability results in predicate detection.
Inf. Process. Lett.
Sujatha Kashyap, Vijay K. Garg
2005 J jnl
On computation of state avoidance control for infinite state systems in assignment program framework.
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Vijay K. Garg
2005 — conf
SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver.
Systems Communications
Jae-sik Lee, Tae-Gyu Chang, Vijay K. Garg
2005 J jnl
Techniques and applications of computation slicing.
Distributed Comput.
Neeraj Mittal, Vijay K. Garg
2004 — book
Concurrent and distributed computing in Java.
Vijay K. Garg
2004 — conf
Effect of Data Encryption on Wireless Ad Hoc Network Performance.
IWDC
Vijay K. Garg, R. K. Ghosh
2004 A conf
Finding Satisfying Global States: All for One and One for All.
IPDPS
Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya
2004 J jnl
Finding missing synchronization in a distributed computation using controlled re-execution.
Distributed Comput.
Neeraj Mittal, Vijay K. Garg
2004 A conf
Formal Verification of a System-on-Chip Using Computation Slicing.
ITC
Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra
2004 J jnl
Predicate control: synchronization in distributed computations with look-ahead.
J. Parallel Distributed Comput.
Ashis Tarafdar, Vijay K. Garg
2003 B conf
Detecting Locally Stable Predicates Without Modifying Application Messages.
OPODIS
Ranganath Atreya, Neeraj Mittal, Vijay K. Garg
2003 B conf
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.
OPODIS
Alper Sen, Vijay K. Garg
2003 J jnl
Distributed recovery with
J. Parallel Distributed Comput.
Om P. Damani, Yi-Min Wang, Vijay K. Garg
2003 — conf
On Checking Whether a Predicate Definitely Holds.
FATES
Alper Sen, Vijay K. Garg
2003 — conf
Partial Order Trace Analyzer (POTA) for Distributed Programs.
RV@CAV
Alper Sen, Vijay K. Garg
2003 A conf
Software Fault Tolerance of Distributed Programs Using Computation Slicing.
ICDCS
Neeraj Mittal, Vijay K. Garg
2003 J jnl
Techniques and Applications of Computation Slicing
CoRR
Neeraj Mittal, Vijay K. Garg
2002 — conf
Algorithmic Combinatorics Based on Slicing Posets.
FSTTCS
Vijay K. Garg
2002 A conf
Detecting Temporal Logic Predicates on the Happened-Before Model.
IPDPS
Alper Sen, Vijay K. Garg
2002 — book
Elements of distributed computing.
Vijay K. Garg
2002 A conf
Timestamping Messages in Synchronous Computations.
ICDCS
Vijay K. Garg, Chakarat Skawratananond
2002 — conf
Video Communication with QoS Guarantees over HIPERLAN/2.
ISMSE
Ji Wang, Ashfaq A. Khokhar, Vijay K. Garg
2001 A conf
Computation Slicing: Techniques and Theory.
DISC
Neeraj Mittal, Vijay K. Garg
2001 J jnl
Control of stochastic discrete event systems modeled by probabilistic languages.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg
2001 A conf
On Detecting Global Predicates in Distributed Computations.
ICDCS
Neeraj Mittal, Vijay K. Garg
2001 A conf
On Slicing a Distributed Computation.
ICDCS
Vijay K. Garg, Neeraj Mittal
2001 A* conf
String realizers of posets with applications to distributed computing.
PODC
Vijay K. Garg, Chakarat Skawratananond
2000 A* conf
Debugging distributed programs using controlled re-execution.
PODC
Neeraj Mittal, Vijay K. Garg
2000 B conf
Integrated QoS support in 3G UMTS networks.
WCNC
Vijay K. Garg, Oliver T. W. Yu
1999 J jnl
Normality: A Consistency Condition for Concurrent Objects.
Parallel Process. Lett.
Vijay K. Garg, Michel Raynal
1999 B conf
Optimistic Recovery in Multi-threaded Distributed Systems.
SRDS
Om P. Damani, Ashis Tarafdar, Vijay K. Garg
1999 A conf
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution.
DISC
Ashis Tarafdar, Vijay K. Garg
1999 J jnl
Trunk management in cellular/PCS networks.
Bell Labs Tech. J.
Vijay K. Garg
1998 B conf
A Non-Blocking Recovery Algorithm for Causal Message Logging.
SRDS
J. Roger Mitchell, Vijay K. Garg
1998 A conf
Addressing False Causality while Detecting Predicates in Distributed Programs.
ICDCS
Ashis Tarafdar, Vijay K. Garg
1998 A conf
Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra.
RTSS
Guillaume P. Brat, Vijay K. Garg
1998 A conf
Consistency Conditions for Multi-Object Distributed Operations.
ICDCS
Neeraj Mittal, Vijay K. Garg
1998 J jnl
Detection of Global Predicates: Techniques and Their Limitations.
Distributed Comput.
Craig M. Chase, Vijay K. Garg
1998 A conf
Distributed Predicate Detection in a Faulty Environment.
ICDCS
Vijay K. Garg, J. Roger Mitchell
1998 — conf
Fault-Tolerant Distributed Simulation.
Workshop on Parallel and Distributed Simulation
Om P. Damani, Vijay K. Garg
1998 — conf
Implementable Failure Detectors in Asynchronous Systems.
FSTTCS
Vijay K. Garg, J. Roger Mitchell
1998 — conf
Predicate Control for Active Debugging of Distributed Programs.
IPPS/SPDP
Ashis Tarafdar, Vijay K. Garg
1997 J jnl
Application of adaptive array antenna to a TDMA cellular/PCS system.
IEEE Commun. Mag.
Vijay K. Garg, Laura Huntington
1997 A conf
Characterization of Message Ordering Specifications and Protocols.
ICDCS
Venkatesh V. Murty, Vijay K. Garg
1997 J jnl
Detecting Conjunctions of Global Predicates.
Inf. Process. Lett.
Vijay K. Garg, J. Roger Mitchell
1997 A conf
Distributed Recovery with K-Optimistic Logging.
ICDCS
Yi-Min Wang, Om P. Damani, Vijay K. Garg
1997 J jnl
Efficient Detection of Channel Predicates in Distributed Systems.
J. Parallel Distributed Comput.
Vijay K. Garg, Craig M. Chase, Richard B. Kilgore, J. Roger Mitchell
1997 J jnl
Methods for observing global properties in distributed systems.
IEEE Concurrency
Vijay K. Garg
1997 J jnl
Monitoring Functions on Global States of Distributed Programs.
J. Parallel Distributed Comput.
Alexander I. Tomlinson, Vijay K. Garg
1997 — conf
Observation and Control for Debugging Distributed Computations.
AADEBUG
Vijay K. Garg
1997 — conf
Optimistic Distributed Simulation Based on Transitive Dependency Tracking.
Workshop on Parallel and Distributed Simulation
Om P. Damani, Yi-Min Wang, Vijay K. Garg
1997 Misc conf
Optimistic agreement in distributed systems.
PDPTA
J. Roger Mitchell, Vijay K. Garg
1997 J jnl
Subscriber data management in personal communications services networks.
IEEE Wirel. Commun.
Vijay K. Garg, E. Lee Sneed, W. E. Gooding
1997 J jnl
TDMA for North American PCS systems.
Bell Labs Tech. J.
Vijay K. Garg, Elbert L. Sneed
1997 J jnl
Using the Causal Domain to Specify and verify Distributed Programs.
Acta Informatica
Vijay K. Garg, Alexander I. Tomlinson
1996 A* conf
Characterization of Message Ordering Specifications and Protocols (Abstract).
PODC
Venkatesh V. Murty, Vijay K. Garg
1996 J jnl
Corrections to "Finite buffer realization of input-output discrete event systems".
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus
1996 J jnl
Detection of Strong Unstable Predicates in Distributed Programs.
IEEE Trans. Parallel Distributed Syst.
Vijay K. Garg, Brian Waldecker
1996 J jnl
Digital wireless local loop system.
IEEE Commun. Mag.
Vijay K. Garg, E. Lee Sneed
1996 A conf
How to Recover Efficiently and Asynchronously when Optimism Fails.
ICDCS
Om P. Damani, Vijay K. Garg
1996 J jnl
Interworking and interoperability issues for North American PCS.
IEEE Commun. Mag.
Vijay K. Garg, Joseph E. Wilkes
1996 C conf
Observation of Global Properties in Distributed Systems.
SEKE
Vijay K. Garg
1996 — book
Principles of distributed systems.
Vijay K. Garg
1996 J jnl
Supervisory control of real-time discrete-event systems using lattice theory.
IEEE Trans. Autom. Control.
Darren D. Cofer, Vijay K. Garg
1995 C conf
An algorithm for guaranteeing synchronous ordering of messages.
ISADS
Venkatesh V. Murty, Vijay K. Garg
1995 B conf
Deriving distributed algorithms from a general predicate detector.
COMPSAC
J. Roger Mitchell, Vijay K. Garg
1995 — conf
Detecting conjunctive channel predicates in a distributed programming environment.
HICSS (2)
Vijay K. Garg, Craig M. Chase, J. Roger Mitchell, Richard B. Kilgore
1995 A conf
Distributed Algorithms for Detecting Conjunctive Predicates.
ICDCS
Vijay K. Garg, Craig M. Chase
1995 — conf
Efficient Detection of Restricted Classes of Global Predicates.
WDAG
Craig M. Chase, Vijay K. Garg
1995 — conf
Expressing and detecting control flow properties of distributed computations.
SPDP
Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal
1995 J jnl
Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.
Theor. Comput. Sci.
Ratnesh Kumar, Vijay K. Garg
1995 J jnl
Finite buffer realization of input-output discrete-event systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus
1995 — conf
Observation of Software for Distributed Systems with RCL.
FSTTCS
Alexander I. Tomlinson, Vijay K. Garg
1995 — conf
On Controlling Timed Discrete Event Systems.
Hybrid Systems
Darren D. Cofer, Vijay K. Garg
1994 — conf
Causality versus time: how to specify and verify distributed algorithms.
SPDP
Vijay K. Garg, Alexander I. Tomlinson
1994 J jnl
Detection of Weak Unstable Predicates in Distributed Programs.
IEEE Trans. Parallel Distributed Syst.
Vijay K. Garg, Brian Waldecker
1994 — conf
On the Fly Testing of Regular Patterns in Distributed Computations.
ICPP (2)
Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
1994 J jnl
Repeated Computation of Global Functions in a Distributed Environment.
IEEE Trans. Parallel Distributed Syst.
Vijay K. Garg, Joydeep Ghosh
1993 B conf
An algorithm for minimally latent global virtual time.
PADS
Alexander I. Tomlinson, Vijay K. Garg
1993 — conf
Detecting Relational Global Predicates in Distributed Systems.
Workshop on Parallel and Distributed Debugging
Alexander I. Tomlinson, Vijay K. Garg
1993 J jnl
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Vijay K. Garg, Steven I. Marcus
1993 — conf
Using Induction to Prove Properties of Distributed Programs.
SPDP
Vijay K. Garg, Alexander I. Tomlinson
1992 J jnl
Concurrent Regular Expressions and Their Relationship to Petri Nets.
Theor. Comput. Sci.
Vijay K. Garg, M. T. Ragunath
1992 — conf
Detection of Unstable Predicates in Distributed Programs.
FSTTCS
Vijay K. Garg, Brian Waldecker
1992 J jnl
Some Optimal Algorithms for Decomposed Partially Ordered Sets.
Inf. Process. Lett.
Vijay K. Garg
1991 J jnl
ConC: A Language for Concurrent Programming.
Comput. Lang.
Vijay K. Garg, C. V. Ramamoorthy
1991 — conf
Detection of strong predicates in distributed programs.
SPDP
Brian Waldecker, Vijay K. Garg
1990 A conf
Symmetry in Spite of Hierarchy.
ICDCS
Vijay K. Garg, Joydeep Ghosh
1989 C conf
Modeling of Distributed Systems by Concurrent Regular Expressions.
FORTE
Vijay K. Garg
1988 A conf
Analysis of Distributed Systems With Many Identical Processes.
ICDCS
Vijay K. Garg
1988 — conf
High level communication primitives for concurrent systems.
ICCL
Vijay K. Garg, C. V. Ramamoorthy
1988 J jnl
Support for Reusability in Genesis.
IEEE Trans. Software Eng.
C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash
1987 J jnl
Issues in the Development of Large, Distributed, and Reliable Software.
Adv. Comput.
C. V. Ramamoorthy, Atul Prakash, Vijay K. Garg, Tsuneo Yamaura, Anupam Bhide
1987 J jnl
Software Development Support for AI Programs.
Computer
C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg
1986 J jnl
Programming in the Large.
IEEE Trans. Software Eng.
C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash