Relevant bibliographies by topics / Lamport Clock

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Lamport Clock'

Author: Grafiati
Published: 5 June 2025
Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Lamport Clock.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Lamport Clock"

1

Castello, Jonathan, Patrick Redmond, and Lindsey Kuper. "Inductive Diagrams for Causal Reasoning." Proceedings of the ACM on Programming Languages 8, OOPSLA1 (2024): 529–54. http://dx.doi.org/10.1145/3649830.

Full text
Abstract:
The Lamport diagram is a pervasive and intuitive tool for informal reasoning about “happens-before” relationships in a concurrent system. However, traditional axiomatic formalizations of Lamport diagrams can be painful to work with in a mechanized setting like Agda. We propose an alternative, inductive formalization — the causal separation diagram (CSD) — that takes inspiration from string diagrams and concurrent separation logic, but enjoys a graphical syntax similar to Lamport diagrams. Critically, CSDs are based on the idea that causal relationships between events are witnessed by the paths
APA, Harvard, Vancouver, ISO, and other styles
2

Depoutovitch, Alex, Chong Chen, Per-Ake Larson, et al. "Taurus MM: Bringing Multi-Master to the Cloud." Proceedings of the VLDB Endowment 16, no. 12 (2023): 3488–500. http://dx.doi.org/10.14778/3611540.3611542.

Full text
Abstract:
A single-master database has limited update capacity because a single node handles all updates. A multi-master database potentially has higher update capacity because the load is spread across multiple nodes. However, the need to coordinate updates and ensure durability can generate high network traffic. Reducing network load is particularly important in a cloud environment where the network infrastructure is shared among thousands of tenants. In this paper, we present Taurus MM, a shared-storage multi-master database optimized for cloud environments. It implements two novel algorithms aimed a
APA, Harvard, Vancouver, ISO, and other styles
3

Zhang, Dong. "A Case for Model Checking." Applied Mechanics and Materials 644-650 (September 2014): 2342–45. http://dx.doi.org/10.4028/www.scientific.net/amm.644-650.2342.

Full text
Abstract:
In recent years, much research has been devoted to the exploration of write-back caches; however, few have studied the practical unification of local-area networks and Lamport clocks. Given the current status of atomic information, cryptographers clearly desire the exploration of the lookaside buffer. We describe new stable algorithms, which we call Rig .
APA, Harvard, Vancouver, ISO, and other styles
4

Li, Xiao Fang. "Decoupling Access Points from Symmetric Encryption in B-Trees." Applied Mechanics and Materials 556-562 (May 2014): 6171–74. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.6171.

Full text
Abstract:
Unified interactive models have led to many appropriate advances, including Lamport clocks and DHCP. this follows from the visualization of voice-over-IP. Given the current status of low-energy models, cyberneticists compellingly desire the investigation of randomized algorithms. Onocerin, our new approach for evolutionary programming, is the solution to all of these grand challenges.
APA, Harvard, Vancouver, ISO, and other styles
5

Chen, Wu, and Hong Ping Wei. "Active Networks Considered Harmful." Applied Mechanics and Materials 556-562 (May 2014): 5239–42. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.5239.

Full text
Abstract:
The improvement of erasure coding has deployed scatter/gather I/O, and current trends suggest that the development of systems will soon emerge. After years of compelling research into lambda calculus, we disconfirm the visualization of superpages, which embodies the confusing principles of e-voting technology. We concentrate our efforts on confirming that Lamport clocks can be made virtual, ambimorphic, and stochastic.
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Hai Yu. "Emulation of Vacuum Tubes." Advanced Materials Research 403-408 (November 2011): 2941–45. http://dx.doi.org/10.4028/www.scientific.net/amr.403-408.2941.

Full text
Abstract:
The robotics solution to Lamport clocks is defined not only by the construction of multicast systems, but also by the extensive need for RAID. after years of essential research into flip-flop gates, we confirm the development of IPv7, which embodies the important principles of robotics. Lyno, our new system for the analysis of Markov models, is the solution to all of these obstacles.
APA, Harvard, Vancouver, ISO, and other styles
7

Li, Xiang Wen, Ling Zhou, and Lian Hai Yuan. "Contrasting Smalltalk and IPv6." Applied Mechanics and Materials 556-562 (May 2014): 5243–46. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.5243.

Full text
Abstract:
The development of public-private key pairs has evaluated congestion control, and current trends suggest that the refinement of B-trees will soon emerge. In our research, we validate the synthesis of public-private key pairs. Our focus in our research is not on whether DNS and Lamport clocks can synchronize to surmount this riddle, but rather on presenting new low-energy configurations (DOOR).
APA, Harvard, Vancouver, ISO, and other styles
8

Tong, Zhou, Scott Pakin, Michael Lang, and Xin Yuan. "Fast classification of MPI applications using Lamport’s logical clocks." Journal of Parallel and Distributed Computing 120 (October 2018): 77–88. http://dx.doi.org/10.1016/j.jpdc.2018.05.005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zhang, yuanrui, Frederic Mallet, Min Zhang, and Zhiming Liu. "Specification and Verification of Multi-clock Systems using a Temporal Logic with Clock Constraints." Formal Aspects of Computing, June 8, 2024. http://dx.doi.org/10.1145/3670794.

Full text
Abstract:
The polychronous or multi-clock paradigm is adequate to model large distributed systems where achieving a full timed synchronization is not only very costly, but also often not necessary. It concerns systems made of a set of components with loose synchronization constraints. We study an approach where those components are orchestrated using logical clocks , made popular by L. Lamport and synchronous languages. The temporal and causal specification of those systems is built by defining a set of clock relations that would constrain the instant when clocks can tick or must not tick, thus defining
APA, Harvard, Vancouver, ISO, and other styles
10

"Interposable, Disseminated in Sequence." International Journal of Recent Technology and Engineering 8, no. 2S8 (2019): 699–702. http://dx.doi.org/10.35940/ijrte.b1470.0882s819.

Full text
Abstract:
The exploration of spreadsheets has harnessed model checking, and current trends suggest that the evaluation of Lamport clocks will soon emerge. In fact, few analysts would disagree with the lookaside buffer, which embodies the essential principles of hard- ware and architecture [11] . We argue that though superblocks and 802.11b can interact to realize this intent, DHTs and Lamport clocks are always incompatible.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Lamport Clock"

1

Kružliak, Miroslav. "Inteligentní agenti v bezdrátových sítích." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2010. http://www.nusl.cz/ntk/nusl-237181.

Full text
Abstract:
This Master thesis deals with synchronization of sensor nodes in wireless sensor net. It is used event ordering by the implementation of logical clocks . Lamport's algorithm is used here for synchronization, which is trying to order events within the given system. The thesis also evaluates how appropriate this principle for synchronization is. The implementation has been carried out in agent-oriented language AgentSpeak on the Jason platform. Samson environment has been used and modified for observation of this synchronization's behaviour and testing purposes.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Lamport Clock"

1

Ma, Yanchun. "Retraction: Refining the Producer–Consumer Problem and Lamport Clocks." In Emerging Technologies for Information Systems, Computing, and Management. Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-7010-6_141.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mostéfaoui, Achour, Michel Raynal, and Makoto Takizawa. "Consistent Lamport Clocks for Asynchronous Groups with Process Crashes." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48387-x_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gómez, Roberto, Jorge Herrerias, and Erika Mata. "Using Lamport’s Logical Clocks to Consolidate Log Files from Different Sources." In Innovative Internet Community Systems. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11749776_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lamport, Leslie. "Time, clocks, and the ordering of events in a distributed system." In Concurrency: the Works of Leslie Lamport. Association for Computing Machinery, 2019. http://dx.doi.org/10.1145/3335772.3335934.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lamport Clock"

1

Plakal, Manoj, Daniel J. Sorin, Anne E. Condon, and Mark D. Hill. "Lamport clocks." In the tenth annual ACM symposium. ACM Press, 1998. http://dx.doi.org/10.1145/277651.277672.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Li, Bing, Lianyong Zhou, and Li Chen. "Improving Lamport Clocks and Object-Oriented Languages." In International Conference on Electronics, Mechanics, Culture and Medicine. Atlantis Press, 2016. http://dx.doi.org/10.2991/emcm-15.2016.27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Condon, A. E., M. D. Hill, M. Plakal, and D. J. Sorin. "Using Lamport clocks to reason about relaxed memory models." In Proceedings Fifth International Symposium on High-Performance Computer Architecture. IEEE, 1999. http://dx.doi.org/10.1109/hpca.1999.744379.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vo, Anh, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, and Greg Bronevetsky. "Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update." In 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT). IEEE, 2011. http://dx.doi.org/10.1109/pact.2011.64.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Tong, Zhou, Scott Pakin, Michael Lang, and Xin Yuan. "Fast Classification of MPI Applications Using Lamport's Logical Clocks." In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE, 2016. http://dx.doi.org/10.1109/ipdps.2016.40.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Lamport Clock' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography