Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Causal Ordering in Distributed Mobile Systems
IEEE Transactions on Computers - Special issue on mobile computing
Clock Trees: Logical Clocks for Programs with Nested Parallelism
IEEE Transactions on Software Engineering
Protocol-based data-race detection
SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Causality representation and cancellation mechanism in time warp simulations
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Tracking immediate predecessors in distributed computations
Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Logical Time in Distributed Software Systems
Programming and Computing Software
On the minimal information to encode timestamps in distributed computations
Information Processing Letters
Complete Process Recovery: Using Vector Time to Handle Multiple Failures in Distributed Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Capturing Causality by Compressed Vector Clock in Real-Time Group Editors
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Consistency Conditions for a CORBA Caching Service
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Preserving Causality in a Scalable Message-Oriented Middleware
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Timestamping Algorithms: A Characterization and a Few Properties
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Self-Organizing Hierarchical Cluster Timestamps
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
An Online Algorithm for Dimension-Bound Analysis
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A Node Count-Independent Logical Clock for Scaling Lazy Release Consistency Protocol
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Concurrent Knowledge and Logical Clock Abstractions
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
On Implementation of Logical Time in Distributed Systems Operating over a Wireless IP Network
ICN '01 Proceedings of the First International Conference on Networking-Part 1
A framework algorithm for dynamic, centralized dimension-bounded timestamps
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Towards an Algorithmic Debugging for Distributed Programs
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
On reducing the complexity of matrix clocks
Parallel Computing
A group communication protocol architecture for distributed network management systems
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Efficient Causality-Tracking Timestamping
IEEE Transactions on Knowledge and Data Engineering
Characterization and delivery of directly coupled causal messages in distributed systems
Future Generation Computer Systems - Special issue: Semantic grid and knowledge grid: the next-generation web
Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Adaptive message scheduling for supporting causal ordering in wide-area group communications
Journal of Systems and Software
Plausible clocks: constant size logical clocks for distributed systems
Distributed Computing
The power of logical clock abstractions
Distributed Computing
An alternative time management mechanism for distributed simulations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Efficient dependency tracking for relevant events in shared-memory systems
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Causality-Based Predicate Detection across Space and Time
IEEE Transactions on Computers
Journal of Parallel and Distributed Computing
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform
Journal of Parallel and Distributed Computing
Dcv: a causality detection approach for large-scale dynamic collaboration environments
Proceedings of the 2007 international ACM conference on Supporting group work
Efficient dependency tracking for relevant events in concurrent systems
Distributed Computing
Active Optimistic Message Logging for Reliable Execution of MPI Applications
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
Log' version vector: Logging version vectors concisely in dynamic replication
Information Processing Letters
Proceedings of the 21st international conference on Parallel architectures and compilation techniques
Link prediction with social vector clocks
Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining
Hi-index | 0.90 |