Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,216,713 papers from all fields of science
Search
Sign In
Create Free Account
Logical clock
Known as:
Logical clocks
A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. Distributed systems may have no…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
ACM Turing Award
Clock Constraints Specification Language
Distributed computing
Happened-before
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
UML MARTE Time Model and Its Clock Constraint Specification Language
F. Mallet
,
Marie-Agnès Peraldi-Frati
,
Julien Deantoni
,
R. Simone
2014
Corpus ID: 64537303
The UML Profile for MARTE extends the UML with constructs dedicated to the modeling and analysis of real-time and embedded…
Expand
2013
2013
Boundness Issues in CCSL Specifications
F. Mallet
,
J. Millo
IEEE International Conference on Formal…
2013
Corpus ID: 15814825
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems promises a general modeling framework to design and…
Expand
2012
2012
Modeling of multiversion concurrency control system using Event-B
R. Suryavanshi
,
Divakar Yadav
Conference on Computer Science and Information…
2012
Corpus ID: 14978216
Concurrency control in a database system involves the activity of controlling the relative order of conflicting operations…
Expand
2009
2009
Towards Logical Clocks in P2P-based MMVEs
Torben Weis
,
Arno Wacker
,
Sebastian Schuster
,
Sebastian Holzapfel
Electronic Communication of The European…
2009
Corpus ID: 30942324
A crucial requirement for peer-to-peer-based Massively Multiuser Virtual Environments (P2P-based MMVEs) is the accurate and…
Expand
2008
2008
Time synchronization between SOKUIKI sensor and host computer using timestamps
Alexander Carballo
,
Yoshitaka Hara
,
H. Kawata
,
T. Yoshida
,
A. Ohya
,
S. Yuta
IEEE International Conference on Multisensor…
2008
Corpus ID: 17933050
Time is crucial in applications such as sensor data fusion, autonomous mobility and SLAM. However clocks at end systems are…
Expand
2007
2007
Privacy-preserving logical vector clocks using secure computation techniques
F. Kerschbaum
,
J. Vayssière
International Conference on Parallel and…
2007
Corpus ID: 11408554
Systems of logical clocks are commonly found in distributed systems for establishing causality between events occurring in…
Expand
2007
2007
Preserving Local Time while Abstracting from Distributed Computations
T. Landes
International Conference on Parallel and…
2007
Corpus ID: 7176361
A sun tracking solar energy collector system comprising a plurality of light focusing elements disposed side by side in the form…
Expand
1999
1999
A customised logical clock for timestamp-based relaxed consistency DSM systems
L. Arantes
,
B. Folliot
,
Pierre Sens
1999
Corpus ID: 13500534
In this paper we present a new logical clock, the barrier-lock clock, whose conception was based on the needs of relaxed…
Expand
1993
1993
RTX-Parlog: Real-Time Extended Parlog
D. Renaux
,
P. Dasiewicz
Fifth Euromicro Workshop on Real-Time Systems
1993
Corpus ID: 28226471
The rationale for 61 Concurrent Logic Progranzming language forReal-Tit~ze!iystems is centered on thP fornial foundation of Logic…
Expand
1992
1992
Synchronization in Joint-Venture Environments
K. Rothermel
,
G. Dermler
1992
Corpus ID: 29186052