vector clocks Latest Research Papers

Distributed computation of vector clocks in Petri net unfoldings for test selection

Discrete Event Dynamic Systems ◽

10.1007/s10626-020-00310-4 ◽

2020 ◽

Vol 30 (3) ◽

pp. 441-464

Author(s):

Loïg Jezequel ◽

Agnes Madalinski ◽

Stefan Schwoon

Keyword(s):

Petri Net ◽

Distributed Computation ◽

Test Selection ◽

Vector Clocks

Download Full-text

Atomicity Checking in Linear Time using Vector Clocks

Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems ◽

10.1145/3373376.3378475 ◽

2020 ◽

Author(s):

Umang Mathur ◽

Mahesh Viswanathan

Keyword(s):

Linear Time ◽

Vector Clocks

Download Full-text

Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness

Networked Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-05529-5_21 ◽

2019 ◽

pp. 318-333

Author(s):

Iosif Salem ◽

Elad Michael Schiller

Keyword(s):

Vector Clocks

Download Full-text

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 ◽

10.1145/3236950.3236959 ◽

2018 ◽

Cited By ~ 1

Author(s):

Martin Sulzmann ◽

Kai Stadtmüller

Keyword(s):

Dynamic Analysis ◽

Message Passing ◽

Two Phase ◽

Phase Dynamic ◽

Vector Clocks

Download Full-text

Analysis of Bounds on Hybrid Vector Clocks

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2018.2818700 ◽

2018 ◽

Vol 29 (9) ◽

pp. 1947-1960 ◽

Cited By ~ 1

Author(s):

Sorrachai Yingchareonthawornchai ◽

Duong N. Nguyen ◽

Sandeep S. Kulkarni ◽

Murat Demirbas

Keyword(s):

Vector Clocks

Download Full-text

May-happen-in-parallel analysis with static vector clocks

Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018 ◽

10.1145/3168813 ◽

2018 ◽

Cited By ~ 2

Author(s):

Qing Zhou ◽

Lian Li ◽

Lei Wang ◽

Jingling Xue ◽

Xiaobing Feng

Keyword(s):

Parallel Analysis ◽

Vector Clocks

Download Full-text

May-happen-in-parallel analysis with static vector clocks

Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018 ◽

10.1145/3179541.3168813 ◽

2018 ◽

Author(s):

Qing Zhou ◽

Lian Li ◽

Lei Wang ◽

Jingling Xue ◽

Xiaobing Feng

Keyword(s):

Parallel Analysis ◽

Vector Clocks

Download Full-text

Distributed computation of vector clocks in Petri nets unfolding for test selection

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2018.06.287 ◽

2018 ◽

Vol 51 (7) ◽

pp. 106-111 ◽

Cited By ~ 3

Author(s):

Loïg Jezequel ◽

Agnes Madalinski ◽

Stefan Schwoon

Keyword(s):

Petri Nets ◽

Distributed Computation ◽

Test Selection ◽

Vector Clocks

Download Full-text

Modeling Social Network Topology with Variable Social Vector Clocks

Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2015 - ASONAM '15 ◽

10.1145/2808797.2809405 ◽

2015 ◽

Author(s):

Ta Yuan Hsu ◽

Ajay D. Kshemkalyani

Keyword(s):

Social Network ◽

Network Topology ◽

Vector Clocks

Download Full-text

Variable social vector clocks for exploring user interactions in social communication networks

International Journal of Space-Based and Situated Computing ◽

10.1504/ijssc.2015.067997 ◽

2015 ◽

Vol 5 (1) ◽

pp. 39 ◽

Cited By ~ 10

Author(s):

Ta Yuan Hsu ◽

Ajay D. Kshemkalyani

Keyword(s):

Communication Networks ◽

Social Communication ◽

User Interactions ◽

Vector Clocks

Download Full-text

vector clocks
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Distributed computation of vector clocks in Petri net unfoldings for test selection

Atomicity Checking in Linear Time using Vector Clocks

Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks

Analysis of Bounds on Hybrid Vector Clocks

May-happen-in-parallel analysis with static vector clocks

May-happen-in-parallel analysis with static vector clocks

Distributed computation of vector clocks in Petri nets unfolding for test selection

Modeling Social Network Topology with Variable Social Vector Clocks

Variable social vector clocks for exploring user interactions in social communication networks

Export Citation Format

vector clocksRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Distributed computation of vector clocks in Petri net unfoldings for test selection

Atomicity Checking in Linear Time using Vector Clocks

Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks

Analysis of Bounds on Hybrid Vector Clocks

May-happen-in-parallel analysis with static vector clocks

May-happen-in-parallel analysis with static vector clocks

Distributed computation of vector clocks in Petri nets unfolding for test selection

Modeling Social Network Topology with Variable Social Vector Clocks

Variable social vector clocks for exploring user interactions in social communication networks

vector clocks
Recently Published Documents