Search results for "clocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	Francisco J. Torres-Rojas, Mustaque Ahamad	Plausible Clocks: Constant Size Logical Clocks for Distributed Systems.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Causality detection, Distributed algorithms, Logical clocks
97	Francisco J. Torres-Rojas, Mustaque Ahamad	Plausible Clocks: Constant Size Logical Clocks for Distributed Systems.	WDAG	1996	DBLP DOI BibTeX RDF
90	Bülent Abali, Craig B. Stunkel	Time synchronization on SP1 and SP2 parallel systems.	IPPS	1995	DBLP DOI BibTeX RDF	SP2 parallel system, SP1 parallel system, experimental time utility, operating system clocks, node clocks, synchronous feature, parallel program performance measurement, parallel program tuning, parallel program tracing, parallel program debugging, parallel processes, interconnection network, multiprocessor interconnection networks, multiprocessor interconnection networks, parallel machines, parallel machines, synchronisation, synchronisation, processor scheduling, processor scheduling, software performance evaluation, software performance evaluation, program debugging, program debugging, clocks, clocks, operating systems (computers), operating systems (computers), time synchronization, gang scheduling, reduced instruction set computing, reduced instruction set computing
81	Michael D. Lemmon, J. Ganguly, L. Xia	Model-based clock synchronization in networks with drifting clocks.	PRDC	2000	DBLP DOI BibTeX RDF	model-based clock synchronization, drifting clocks, neighboring processor clocks, signature functions, logic design, synchronisation, clocks, dynamic models
81	Gil Neiger, Sam Toueg	Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.	J. ACM	1993	DBLP DOI BibTeX RDF	knowledge-based protocols, synchronized clocks, timestamped common knowledge, clock synchronization, logical clocks, common knowledge
81	Mark Christiaens, Koenraad De Bosschere	Accordion Clocks: Logical Clocks for Data Race Detection.	Euro-Par	2001	DBLP DOI BibTeX RDF
65	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
65	Mohan Ahuja, Timothy Carlson, Ashwani Gahlot	Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	time view, passive-space view, intraprocess concurrency, global logical clocks, distributed computing, distributed computations, debugging, distributed processing, concurrency control, high performance, program debugging, timestamps, vector clocks, program correction, sequential computations
57	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
57	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
57	Koenraad Audenaert	Clock Trees: Logical Clocks for Programs with Nested Parallelism.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Lamport clocks, nested fork-join parallelism, event labeling, vector clocks, Logical time
57	Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards	Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.	CC	2009	DBLP DOI BibTeX RDF	Concurrency, Synchronization, Static Analysis, Clocks, X10, NuSMV
57	Paulo Sérgio Almeida, Carlos Baquero, Victor Fonte	Interval Tree Clocks.	OPODIS	2008	DBLP DOI BibTeX RDF	version vectors, dynamic systems, Causality, vector clocks, logical clock
57	Anders Gidenstam, Marina Papatriantafilou	Adaptive Plausible Clocks.	ICDCS	2004	DBLP DOI BibTeX RDF
49	Ajay D. Kshemkalyani	The power of logical clock abstractions.	Distributed Comput.	2004	DBLP DOI BibTeX RDF	Distributed system, Concurrency, Time, Knowledge, Clocks, Causality, Logical time
49	Nagesh Vasanthavada, Peter N. Marinos	Synchronization of Fault-Tolerant Clocks in the Presence of Malicious Failures.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	fault-tolerant clocks, clock partitions, clock-receiver triggering, phase-detector operating range, averaging rule, simulations, fault tolerant computing, logic testing, synchronisation, synchronisation, clocks, malicious failures
49	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance analysis of probabilistic timed automata using digital clocks.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Timed automata, Probabilistic model checking, Digital clocks
49	Anish Arora, Sandeep S. Kulkarni, Murat Demirbas	Resettable vector clocks.	PODC	2000	DBLP DOI BibTeX RDF	bounded-space, component substitutability, reset events, fault-tolerance, stabilization, vector clocks
49	Achour Mostéfaoui, Michel Raynal, Makoto Takizawa 0001	Consistent Lamport Clocks for Asynchronous Groups with Process Crashes.	PaCT	1999	DBLP DOI BibTeX RDF	Consensus, Reliable Multicast, Timestamp, Asynchronous Distributed Systems, Process Crash, Logical Clocks, Process Group
49	Pradipta K. Dash, R. C. Hansdah	A Fault-Tolerant Distributed Algorithm for Termination Detection Using Roughly Synchronized Clocks.	ICPADS	1997	DBLP DOI BibTeX RDF	global termination, asynchronous & synchronous networks, roughly synchronized clocks, Distributed computation, resilience
49	Manuel Scholz, Frank Bregulla, Annika Hinze	Using Physical Clocks for Replication in MANETs.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
49	Juan Cespedes, Antonio Fernández 0001, José Luis López-Presa, M. Araceli Lorenzo, Pilar Manzano, Juan Martínez-Romo, Alberto Mozo, Anna Puig-Centelles, Agustín Santos, Christopher Thraves	Performance of scheduling policies in adversarial networks with non synchronized clocks.	ISCC	2007	DBLP DOI BibTeX RDF
49	Florian Kerschbaum, Julien Vayssière	Privacy-preserving logical vector clocks using secure computation techniques.	ICPADS	2007	DBLP DOI BibTeX RDF
49	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001	Schedulability Analysis Using Two Clocks.	TACAS	2003	DBLP DOI BibTeX RDF
48	Ravi Prakash 0001, Mukesh Singhal	Dependency sequences and hierarchical clocks: Efficient alternatives to vector clocks for mobile computing systems.	Wirel. Networks	1997	DBLP DOI BibTeX RDF
41	Yutaka Ishibashi, Shuji Tasaka	A Comparative Survey of Sychronization Algorithms for Continuous Media in Network Environments.	LCN	2000	DBLP DOI BibTeX RDF	comparative survey, media synchronization control techniques, basic control, preventive control, common control, network delay bounds, delays, multimedia systems, synchronisation, clocks, clocks, reviews, continuous media, telecommunication networks, algorithm design, telecommunication control, network environments, synchronization algorithms, reactive control
41	Roland Mandler	A configurable adjunct for real time systems (CARTS).	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	utility programs, configurable adjunct for real time systems, rapid application code generation, generic user interfaces, processor restarts, incremental system integration, incremental system reconfiguration, file-based data, tailored functionality, CARTS postal system, optimal transfer methods, backplane I/O, network I/O, CARTS clock services, high resolution time of day clocks, high resolution mission clock, system wide clock synchronisation, real-time systems, user interfaces, architectures, shared memory, shared memory systems, application program interfaces, clocks, network operating systems, operating system kernels, CARTS, real time distributed systems, input-output programs, system services, intertask communication
41	Paul D. Ezhilchelvan, Francisco V. Brasileiro, Neil A. Speirs	A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	process replication, physical and logical clocks, fault tolerance, agreement, Byzantine failures, Triple Modular Redundancy (TMR), message ordering
41	Malolan Chetlur, Philip A. Wilsey	Causality representation and cancellation mechanism in time warp simulations.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF	time warp, vector clocks, virtual time, logical time
41	Maurice Herlihy, Martin S. McKendry	Timestamp-Based Orphan Elimination.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
41	Srikanth Sastry, Scott M. Pike, Jennifer L. Welch	Crash fault detection in celerating environments.	IPDPS	2009	DBLP DOI BibTeX RDF
41	Marius Bozga, Oded Maler, Stavros Tripakis	Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.	CHARME	1999	DBLP DOI BibTeX RDF
41	Francisco J. Torres-Rojas, Mustaque Ahamad, Michel Raynal	Lifetime Based Consistency Protocols for Distributed Objects.	DISC	1998	DBLP DOI BibTeX RDF
41	Koenraad De Bosschere, Michiel Ronsse	Clock Snooping and its Application in on-the-fly Data Race Detection.	ISPAN	1997	DBLP DOI BibTeX RDF
40	Josef Widder, Ulrich Schmid 0001	The Theta-Model: achieving synchrony without clocks.	Distributed Comput.	2009	DBLP DOI BibTeX RDF	Clocks and time, Computing models, Partially synchronous systems, Fault-tolerant distributed algorithms
40	Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai	An Experimental Framework for the Analysis and Validation of Software Clocks.	SEUS	2009	DBLP DOI BibTeX RDF	experimental framework andmethodology, assessment and measurements, software clocks, R? NTP
40	Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec	Safety of a Session Guarantees Protocol Using Plausible Clocks.	PPAM	2007	DBLP DOI BibTeX RDF	plausible clocks, consistency models, session guarantees
40	Antoni W. Mazurkiewicz, Dobieslaw Wróblewski	Messages, Clocks, and Gravitation.	CEEMAS	2001	DBLP DOI BibTeX RDF	local clocks, networks, distributed algorithms, Message passing, potential
40	Zhijun Tong, Richard Y. Kain, W. T. Tsai	Rollback Recovery in Distributed Systems Using Loosely Synchronized Clocks.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loosely synchronized clocks, state-save synchronizationmessages, interprocess communication protocol, state-save progressinformation, message frames, consistent system states, rollback recovery algorithm, distributed systems, protocols, distributed processing, encodes, programming theory, clock drifts
40	Barbara Liskov, Liuba Shrira, John Wroclawski	Efficient At-Most-Once Messages Based on Synchronized Clocks.	ACM Trans. Comput. Syst.	1991	DBLP DOI BibTeX RDF	at-most-once message passing, message-passing protocols, synchronized clocks, remote procedure calls
40	Anish Arora, Shlomi Dolev, Mohamed G. Gouda	Maintaining Digital Clocks In Step.	WDAG	1991	DBLP DOI BibTeX RDF	reliability, distributed algorithms, stabilization, convergence, digital clocks
40	Sanghyeon Baeg	Delay Fault Coverage Enhancement by Partial Clocking for Low-Power Designs With Heavily Gated Clocks.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
40	Karine Altisen, Franck Cassez, Stavros Tripakis	Monitoring and fault-diagnosis with digital clocks	ACSD	2006	DBLP DOI BibTeX RDF
40	Brad T. Moore, Paolo A. G. Sivilotti	Plausible Clocks with Bounded Inaccuracy.	DISC	2005	DBLP DOI BibTeX RDF
40	Juan Zamorano, Alejandro Alonso 0001, José Antonio Pulido, Juan Antonio de la Puente	Implementing Execution-Time Clocks for the Ada Ravenscar Profile.	Ada-Europe	2004	DBLP DOI BibTeX RDF
40	Su Kio, Kian Haur Chong, Carl Sechen	A low power delayed-clocks generation and distribution system.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
40	Xijiang Lin, Rob Thompson	Test generation for designs with multiple clocks.	DAC	2003	DBLP DOI BibTeX RDF	clock domain, ATPG, scan design
40	Kazumi Hatayama, Michinobu Nakao, Yasuo Sato	At-Speed Built-in Test for Logic Circuits with Multiple Clocks.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF
40	Francisco J. Torres-Rojas	Performance Evaluation of Plausible Clocks.	Euro-Par	2001	DBLP DOI BibTeX RDF
40	Ted Herman	Phase Clocks for Transient Fault Repair.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive
40	M. Srikanth Rao, S. K. Nandy 0001	Power minimization using control generated clocks.	DAC	2000	DBLP DOI BibTeX RDF
40	Jean Mayo, Phil Kearns	Distributed Deadlock Detection and Resolution Based on Hardware Clocks.	ICDCS	1999	DBLP DOI BibTeX RDF
40	Henrik Reif Andersen, Michael Mendler	An Asynchronous Algebra with Multiple Clocks.	ESOP	1994	DBLP DOI BibTeX RDF
40	David L. Mills	Improved Algorithms for Synchronizing Computer Network Clocks.	SIGCOMM	1994	DBLP DOI BibTeX RDF	Internet
33	Michaël Adélaïde, Claire Pagetti	On the Urgency Expressiveness.	FSTTCS	2004	DBLP DOI BibTeX RDF	timed regular expression, minimal number of clocks, n-clock timed language, Timed automaton, urgency
33	Joep L. W. Kessels, Suk-Jin Kim, Ad M. G. Peeters, Paul Wielage	Clock Synchronization through Handshake Signalling.	ASYNC	2002	DBLP DOI BibTeX RDF	GALS systems, pausible clocks, asynchronous crossbar/bus, processor/memory architectures
33	Luk Levrouw, Koenraad Audenaert	Minimizing the Log Size for Execution Replay of Shared-Memory Programs.	CONPAR	1994	DBLP DOI BibTeX RDF	Execution Replay, Logical Clocks, Parallel Debugging
33	Fabian Kuhn, Christoph Lenzen 0001, Thomas Locher, Rotem Oshman	Optimal gradient clock synchronization in dynamic networks.	PODC	2010	DBLP DOI BibTeX RDF	clock synchronization, dynamic networks
33	Tsung-Han Lin, Keng-hao Chang, Jr-ben Tian, Hao-Hua Chu, Polly Huang	Modeling and simulation comparison of two time synchronization protocols.	PM2HW2N	2008	DBLP DOI BibTeX RDF	performance evaluation, sensor networks, time synchronization
33	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in concurrent systems.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Dependency tracking, Vector clock, Predicate detection
33	Rui Fan 0004, Nancy A. Lynch	Gradient clock synchronization.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Ad-hoc networks, Lower bounds, Clock synchronization, Indistinguishability
33	Donald Darling, Jean Mayo, Xinli Wang	Stable Predicate Detection in Dynamic Systems.	OPODIS	2005	DBLP DOI BibTeX RDF
33	Rui Fan 0004, Nancy A. Lynch	Gradient clock synchronization.	PODC	2004	DBLP DOI BibTeX RDF	ad hoc networks, lower bounds, clock synchronization, local algorithms
33	Ajanta Chakraborty, Mark R. Greenstreet	Efficient Self-Timed Interfaces for Crossing Clock Domains.	ASYNC	2003	DBLP DOI BibTeX RDF
33	Dave Stang, Ramaswami Dandapani	An Implementation of IEEE 1149.1 to Avoid Timing Violations and Other Practical In-Compliance Improvements.	ITC	2002	DBLP DOI BibTeX RDF
33	Vishal Jain, John A. Waicukauski	Scan Test Data Volume Reduction in Multi-Clocked Designs with Safe Capture Technique.	ITC	2002	DBLP DOI BibTeX RDF
33	Ajay D. Kshemkalyani	Concurrent Knowledge and Logical Clock Abstractions.	FSTTCS	2000	DBLP DOI BibTeX RDF
33	Christoph Liebig, Mariano Cilia, Alejandro P. Buchmann	Event Composition in Time-dependent Distributed Systems.	CoopIS	1999	DBLP DOI BibTeX RDF	distributed active systems, time-dependent distributed systems, distributed event composition, event time stamping
33	Soo Young Lee, Kewal K. Saluja	Test application time reduction for sequential circuits with scan.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
33	Costas Courcoubetis	Minimum and Maximum Delay Problems in Real-Time Systems.	CAV	1991	DBLP DOI BibTeX RDF
33	Gerardus Johannes Wichardus van Dijk, A. J. van der Wal	Partial Ordering of Synchronization Events for Distributed Debugging in Tightly-coupled Multiprocessor Systems.	EDMCC	1991	DBLP DOI BibTeX RDF
33	Riccardo Gusella, Stefano Zatti	The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	TEMPO, Berkeley UNIX 4.3BSD, network transmission latency, VAX computers, lower bounds, fault tolerant computing, Unix, local area network, local area networks, synchronisation, upper bounds, clock synchronization, distributed service
32	Isamu Tsuneizumi, Ailixier Aikebaier, Reko Dida, Tomoya Enokido, Makoto Takizawa 0001	A Multi-layered Communication Model with Hybrid Clocks in P2P Overlay Networks.	NBiS	2011	DBLP DOI BibTeX RDF	Hybrid clocks, Group communication, Multi-layered model
32	Ajay D. Kshemkalyani	Temporal Predicate Detection Using Synchronized Clocks.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	synchronized clocks, sensor networks, ad-hoc networks, time, data fusion, intervals, Event streams
32	John V. A. Janeri, Daylan B. Darby, Daniel D. Schnackenberg	Building higher resolution synthetic clocks for signaling in covert timing channels.	CSFW	1995	DBLP DOI BibTeX RDF	higher resolution synthetic clocks, timing channel countermeasure, Boeing multilevel secure local area network, secure network server, internal timing channels, time reference clock granularity, fine-grained signaling clock, timing channel throughput, timing channel capacities, local area networks, security of data, worst-case analysis, covert timing channels
32	Sang Lyul Min, Jean-Loup Baer	Design and Analysis of a Scalable Cache Coherence Scheme Based on Clocks and Timestamps.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	cache contents reuse, scalable cache coherence, multiple privatecaches, compile-time marking, hardware-based local incoherence detection, program flow, parallel programming, shared memory multiprocessors, storage management, clocks, trace-driven simulation, buffer storage, timestamps, references
32	C. Mani Krishna 0001, Kang G. Shin, Ricky W. Butler	Ensuring Fault Tolerance of Phase-Locked Clocks.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	Interactive consistency and interactive convergence algorithms, phase-locked clocks, synchronization, malicious failure
32	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction.	ICFEM	2009	DBLP DOI BibTeX RDF
32	Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero	Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network.	CMSB	2009	DBLP DOI BibTeX RDF
32	Emre Tuncer, Jordi Cortadella, Luciano Lavagno	Enabling adaptability through elastic clocks.	DAC	2009	DBLP DOI BibTeX RDF	low power design, GALS, desynchronization, adaptive voltage scaling
32	Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet	Abstraction of Clocks in Synchronous Data-Flow Systems.	APLAS	2008	DBLP DOI BibTeX RDF	Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks
32	S. Akshay 0001, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar	Distributed Timed Automata with Independently Evolving Clocks.	CONCUR	2008	DBLP DOI BibTeX RDF
32	Jacqueline Walker, Antonio Cantoni	Modeling the Effect of Nonideal Reference Clocks on the Jitter Generated in Timing Transfer.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
32	Marcin Jurdzinski, François Laroussinie, Jeremy Sproston	Model Checking Probabilistic Timed Automata with One or Two Clocks.	TACAS	2007	DBLP DOI BibTeX RDF
32	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
32	Jean-Louis Colaço, Marc Pouzet	Clocks as First Class Abstract Types.	EMSOFT	2003	DBLP DOI BibTeX RDF
32	Edmund M. Clarke, Daniel Kroening, Karen Yorav	Specifying and Verifying Systems with Multiple Clocks.	ICCD	2003	DBLP DOI BibTeX RDF
32	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston	Performance Analysis of Probabilistic Timed Automata Using Digital Clocks.	FORMATS	2003	DBLP DOI BibTeX RDF
32	Sarmistha Neogy, Anupam Sinha, Pradip Kumar Das	Distributed Checkpointing Using Synchronized Clocks.	COMPSAC	2002	DBLP DOI BibTeX RDF
32	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
32	Maria Eleftheriou, Marios Mavronicolas	Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions.	DISC	1999	DBLP DOI BibTeX RDF
32	Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez	Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications.	Ada-Europe	1998	DBLP DOI BibTeX RDF
32	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	WDAG	1997	DBLP DOI BibTeX RDF	distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection
32	Frédéric Ruget	Cheaper Matrix Clocks.	WDAG	1994	DBLP DOI BibTeX RDF	matrix time, fault tolerance, distributed systems, causality, logical time
32	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger	The Observational Power of Clocks.	CONCUR	1994	DBLP DOI BibTeX RDF
32	Vidhya Tekken Valapil, Sandeep S. Kulkarni	Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks.	SIROCCO	2018	DBLP DOI BibTeX RDF
24	Thomas Schmid 0002, Prabal Dutta, Mani B. Srivastava	High-resolution, low-power time synchronization an oxymoron no more.	IPSN	2010	DBLP DOI BibTeX RDF	virtual high-resolution time, low-power, clocks, time synchronization
24	Chaiyasit Manovit, Sudheendra Hangal	Efficient algorithms for verifying memory consistency.	SPAA	2005	DBLP DOI BibTeX RDF	multiprocessor verification, total store order, sequential consistency, memory consistency models, vector clocks
24	Mirabelle Nebut	Specification and analysis of synchronous reactions.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Synchronous paradigm, Modelling and handling of variable absence, Specification, Clocks
24	Jacob Savir	Reduced Latch Count Shift Registers.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	shift register latch, scan register, shifting clocks, STUMPS architecture, LSSD