Convergence Analysis of Consensus‑Based Tracking Algorithms for Logical Time Functions in Multi‑Agent Networks

Authors: Arkhipov, Ivan, Krokhalev, Evgenii, Granichin, Oleg

Source: Proceedings of the Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems. :1-5

Availability: http://dl.acm.org/doi/10.1145/3820355.3820385

DLCRaft: A Dual-Clock Raft Algorithm for Enhancing Consistency and Real-Time Performance of Industrial IoT Clusters

Authors: Zhou, Junhuan, Zhang, Huanping

Source: 2026 9th International Conference on Advanced Algorithms and Control Engineering (ICAACE) Advanced Algorithms and Control Engineering (ICAACE), 2026 9th International Conference on. :439-445 Mar, 2026

Relation: 2026 9th International Conference on Advanced Algorithms and Control Engineering (ICAACE)

Preserving Simultaneity and Chronology for Sensing in Perceptive Wireless Networks

Authors: Inacio de Souza, J.H., Saggese, F., Soret, B., Popovski, P.

Source: IEEE Communications Letters IEEE Commun. Lett. Communications Letters, IEEE. 29(10):2243-2247 Oct, 2025

Logical Clocks and Monotonicity for Byzantine-Tolerant Replicated Data Types

Authors: Jacob, Florian, Hartenstein, Hannes

Source: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data. :37-43

Availability: http://dl.acm.org/doi/10.1145/3642976.3653034

Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic

Authors: Zhao, Qiyuan, Pîrlea, George, Ang, Zhendong, Mathur, Umang, Sergey, Ilya

Source: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs. :45-59

Availability: http://dl.acm.org/doi/10.1145/3636501.3636944

SGLC: A Logical Clock Using Succinct Graphs

Authors: Sokoto, Saidu, Onur, Ertan

Source: 2022 30th Signal Processing and Communications Applications Conference (SIU) Signal Processing and Communications Applications Conference (SIU), 2022 30th. :1-4 May, 2022

Relation: 2022 30th Signal Processing and Communications Applications Conference (SIU)

Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning

Authors: Hu, Ming, Ding, Jiepin, Zhang, Min, Mallet, Frederic, Chen, Mingsong

Source: 2021 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), 2021 IEEE. :227-239 Dec, 2021

Relation: 2021 IEEE Real-Time Systems Symposium (RTSS)

Simulation Platform on Distributed Shared Memory

Authors: Lobato, Renata Spolon, Spolon, Roberta, Simioni, Bruno, Manacero, Aleardo, Cavenaghi, Marcos Antonio

Source: 2021 16th Iberian Conference on Information Systems and Technologies (CISTI) Information Systems and Technologies (CISTI), 2021 16th Iberian Conference on. :1-6 Jun, 2021

Relation: 2021 16th Iberian Conference on Information Systems and Technologies (CISTI)

Hybrid Logical Clocks for Database Forensics: Filling the Gap between Chain of Custody and Database Auditing

Authors: Flores, Denys A., Jhumka, Arshad

Source: 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), 2019 18th IEEE International Conference On. :224-231 Aug, 2019

Relation: 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE)

A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications

Authors: Sanabria-Ardila, M., Navarro, L.D.B., Diaz-Lopez, D., Garzon-Alfonso, W.

Source: IEEE Access Access, IEEE. 8:143862-143880 2020

Session guarantees with raft and hybrid logical clocks

Authors: Roohitavaf, Mohammad, Ahn, Jung-Sang, Kang, Woon-Hak, Ren, Kun, Zhang, Gene, Ben-Romdhane, Sami, Kulkarni, Sandeep S.

Source: Proceedings of the 20th International Conference on Distributed Computing and Networking. :100-109

Availability: http://dl.acm.org/doi/10.1145/3288599.3288619

FAST : A MapReduce Consensus for High Performance Blockchains

Authors: Khan, Nida

Source: Proceedings of the 1st Workshop on Blockchain-enabled Networked Sensor Systems. :1-6

Availability: http://dl.acm.org/doi/10.1145/3282278.3282279

Beyond timestamps: Integrating implicit timing information into digital forensic timelines

Authors: Dreier, Lisa Marie ^{a, ⁎}, Vanini, Céline ^b, Hargreaves, Christopher J. ^c, Breitinger, Frank ^b, Freiling, Felix ^{a, ⁎⁎}

Source: In Forensic Science International: Digital Investigation July 2024 49 Supplement

DottedDB: Anti-Entropy without Merkle Trees, Deletes without Tombstones

Authors: Goncalves, Ricardo Jorge Tome, Almeida, Paulo Sergio, Baquero, Carlos, Fonte, Vitor

Source: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS) SRDS Reliable Distributed Systems (SRDS), 2017 IEEE 36th Symposium on. :194-203 Sep, 2017

Relation: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS)

CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks

Authors: Roohitavaf, Mohammad, Demirbas, Murat, Kulkarni, Sandeep

Source: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS) SRDS Reliable Distributed Systems (SRDS), 2017 IEEE 36th Symposium on. :184-193 Sep, 2017

Relation: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS)

Program partitioning and deadlock analysis for MPI based on logical clocks

Authors: Li, Shushan ^a, Wang, Meng ^{a, ⁎}, Zhang, Hong ^a, Liu, Yao ^b

Source: In Parallel Computing February 2024 119

Preserving Simultaneity and Chronology for Sensing in Wireless Perceptive Networks

Authors: Inacio de Souza, Joao Henrique, Saggese, Fabio, Soret, Beatriz, Popovski, Petar

Source: Inacio de Souza, J H, Saggese, F, Soret, B & Popovski, P 2025 'Preserving Simultaneity and Chronology for Sensing in Wireless Perceptive Networks' arXiv. https://doi.org/10.48550/arXiv.2502.16374

Subject Terms: Internet of Things (IoT), Logical clocks, Perceptive networks

Availability: https://vbn.aau.dk/da/publications/e20d5596-f14d-40fa-a726-5bd94aef32b4
https://doi.org/10.48550/arXiv.2502.16374
https://arxiv.org/pdf/2502.16374

Analysis of Bounds on Hybrid Vector Clocks.

Authors: Yingchareonthawornchai, Sorrachai, Nguyen, Duong N., Kulkarni, Sandeep S., Demirbas, Murat

Source: IEEE Transactions on Parallel & Distributed Systems. Sep2018, Vol. 29 Issue 9, p1947-1960. 14p.

Subject Terms: *Distributed computing, *Simulation methods & models, Logical clocks, Mathematical bounds, Vectors (Calculus), Cloud computing

分散アプリケーションのためのハイブリッドP2P型分散チェックポイント・ロールバックアルゴリズムとその評価

Authors: AZUMA, Ryoto, MORIYA, Sen

Source: 電子情報通信学会論文誌D 情報・システム. (1):1-12

Subject Terms: チェックポイント, 論理時計, hybrid P2P, ハイブリッドP2P, checkpointing, ロールバック, distributed applications, rollback, 分散アプリケーション, logical clocks

Fast classification of MPI applications using Lamport’s logical clocks.

Authors: Tong, Zhou¹ tong@cs.fsu.edu, Pakin, Scott² pakin@lanl.gov, Lang, Michael² mlang@lanl.gov, Yuan, Xin¹ xyuan@cs.fsu.edu

Source: Journal of Parallel & Distributed Computing. Oct2018, Vol. 120, p77-88. 12p.

Subject Terms: *Logical clocks, *Counters (Computer science), *Distributed computing, *Computer networks, *Cloud computing