Global events and global breakpoints in distributed systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
An algebraic specification of the partial orders generated by concurrent Ada computations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Combinatorics and Geometry of Consistent Cuts: Application to Concurrency Theory
Proceedings of the 3rd International Workshop on Distributed Algorithms
About logical clocks for distributed systems
ACM SIGOPS Operating Systems Review
Comparative design validation based on event pattern mappings
DAC '93 Proceedings of the 30th international Design Automation Conference
Nondeterminancy: testing and debugging in message passing parallel programs
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A design framework for Internet-scale event observation and notification
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Clock Trees: Logical Clocks for Programs with Nested Parallelism
IEEE Transactions on Software Engineering
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
A Positive Acknowledgment Protocol for Causal Broadcasting
IEEE Transactions on Computers
Optimal and efficient clock synchronization under drifting clocks
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
RecPlay: a fully integrated practical record/replay system
ACM Transactions on Computer Systems (TOCS)
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Causality representation and cancellation mechanism in time warp simulations
Proceedings of the fifteenth workshop on Parallel and distributed simulation
Modeling software architectures in the Unified Modeling Language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed Predicate Detection in Series-Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
Automated Software Engineering
High-Level Views of Distributed Executions: Convex Abstract Events
Automated Software Engineering
Non-Intrusive Detection of Synchronization Errors Using Execution Replay
Automated Software Engineering
Concurrent single stepping in event-visualization tools
Cluster Computing
Logical Time in Distributed Software Systems
Programming and Computing Software
The gods must be crazy: a matter of time in collaborative systems
ACM SIGGROUP Bulletin
Operation Propagation in Real-Time Group Editors
IEEE MultiMedia
Fundamentals of Distributed System Observation
IEEE Software
Reducing False Causality in Causal Message Ordering
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Cyclic Debugging Using Execution Replay
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Consistent Lamport Clocks for Asynchronous Groups with Process Crashes
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Self-Organizing Hierarchical Cluster Timestamps
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester 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
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
Fast detection of communication patterns in distributed executions
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
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
Debugging in a Distributed World: Observation and Control
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes
Proceedings of the 30th annual international symposium on Computer architecture
On reducing the complexity of matrix clocks
Parallel Computing
A Hierarchical Cluster Algorithm for Dynamic, Centralized Timestamps
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Prioritized Token-Based Mutual Exclusion for Distributed Systems
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
ACM SIGACT News distributed computing column 12
ACM SIGACT News
Multicasting in mobile ad-hoc networks: achieving high packet delivery ratios
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Using Hy+ for network management and distributed debugging
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
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
Predicate control: synchronization in distributed computations with look-ahead
Journal of Parallel and Distributed Computing
On Causal Broadcasting with Positive Acknowledgments and Bounded-Length Counters
IEEE Transactions on Computers
Causality and the spatial-temporal ordering in mobile systems
Mobile Networks and Applications
Specifying and locating hierarchical patterns in event data
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing
Plausible clocks: constant size logical clocks for distributed systems
Distributed Computing
The power of logical clock abstractions
Distributed Computing
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Implementing a NTP-based time service within a distributed middleware system
Proceedings of the 3rd international symposium on Principles and practice of programming in Java
Mobi_Causal: a protocol for causal message ordering in mobile computing systems
ACM SIGMOBILE Mobile Computing and Communications Review
Scrolling partially ordered event displays
Journal of Parallel and Distributed Computing
Vector time and causality among abstract events in distributed computations
Distributed Computing
Detecting causal relationships in distributed computations: in search of the holy grail
Distributed Computing
Dealing with Global Guards in a Distributed Simulation of Colored Petri Nets
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
An Efficient Index-Based Checkpointing Protocol with Constant-Size Control Information on Messages
IEEE Transactions on Dependable and Secure Computing
Exploiting predicate structure for efficient reachability detection
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Using Dominators to Extract Observable Protocol Contexts
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Techniques and applications of computation slicing
Distributed Computing
Accurate and efficient filtering for the Intel thread checker race detector
Proceedings of the 1st workshop on Architectural and system support for improving software dependability
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing
Reachability Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers
Detecting Arbitrary Stable Properties Using Efficient Snapshots
IEEE Transactions on Software Engineering
Checking automatically the output of concurrent threads
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Tree clocks: an efficient and entirely dynamic logical time system
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Temporal Predicate Detection Using Synchronized Clocks
IEEE Transactions on Computers
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Pattern rewriting for efficient search in partial-order event data
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Improving causality logging in mobile computing networks
ACM SIGMOBILE Mobile Computing and Communications Review
Implementing sequentially consistent programs on processor consistent platforms
Journal of Parallel and Distributed Computing
Scalable synchronization of clocks in wireless sensor networks
Ad Hoc Networks
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Predictive runtime verification of multi-processor SoCs in SystemC
Proceedings of the 45th annual Design Automation Conference
Event Correlation with Boxed Pomsets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Maintaining Data Dependencies Across BPEL Process Fragments
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Journal of Parallel and Distributed Computing
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Theoretical Computer Science
SigRace: signature-based data race detection
Proceedings of the 36th annual international symposium on Computer architecture
Macrodebugging: global views of distributed program execution
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Measuring causal propagation of overhead of inefficiencies in parallel applications
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
Symbolic Predictive Analysis for Concurrent Programs
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Safety of a session guarantees protocol using plausible clocks
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Log' version vector: Logging version vectors concisely in dynamic replication
Information Processing Letters
Deep hypertext with embedded revision control implemented in regular expressions
Proceedings of the 6th International Symposium on Wikis and Open Collaboration
Distributed programming with tasks
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
A course in advanced operating systems using MPI for projects
Journal of Computing Sciences in Colleges
An automatic trace based performance evaluation model building for parallel distributed systems
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A native and adaptive approach for unified processing of linked streams and linked data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Safety of an object-based version vector consistency protocol of session guarantees
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Safety of a client-based version vector consistency protocol of session guarantees
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Towards correct distributed simulation of high-level petri nets with fine-grained partitioning
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Agreeing to agree: conflict resolution for optimistically replicated data
DISC'06 Proceedings of the 20th international conference on Distributed Computing
A tool for layered analysing and understanding of distributed programs
Computer Communications
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Automated Construction of Performance Models for High Performance Distributed Applications
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
RADISH: always-on sound and complete Ra Detection in Software and Hardware
Proceedings of the 39th Annual International Symposium on Computer Architecture
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
TimeSquare: treat your models with logical time
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
On detecting termination in the crash-recovery model
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
The space complexity of unbounded timestamps
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Non-race concurrency bug detection through order-sensitive critical sections
Proceedings of the 40th Annual International Symposium on Computer Architecture
DBSec'13 Proceedings of the 27th international conference on Data and Applications Security and Privacy XXVII
Low-level detection of language-level data races with LARD
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Hi-index | 0.01 |
The partial ordering of events as defined by their causal relationships, that is, the ability of one event to directly, or transitively, affect another is defined. Its generalized and practical implementations in terms of partially ordered logical clocks are described. Such clocks can provide a decentralized definition of time for distributed computing systems, which lack a common time base. In their full generality, partially ordered logical clocks may be impractically expensive for long-lived computations. Several possible optimizations, depending on the application environment in which the clocks will be used, are described. Some applications are summarized.