Zobrazeno 1 - 10
of 61
pro vyhledávání: '"Altisen, Karine"'
Publikováno v:
In Theoretical Computer Science 27 June 2024 1001
Publikováno v:
In Theoretical Computer Science 10 July 2023 964
In this paper, we formalize design patterns, commonly used in the self-stabilizing area, to obtain general statements regarding both correctness and time complexity guarantees. Precisely, we study a general class of algorithms designed for networks e
Externí odkaz:
http://arxiv.org/abs/1805.02401
Publikováno v:
In Theoretical Computer Science November 2022
Publikováno v:
Logical Methods in Computer Science, Volume 13, Issue 4 (November 28, 2017) lmcs:2183
We propose a general framework to build certified proofs of distributed self-stabilizing algorithms with the proof assistant Coq. We first define in Coq the locally shared memory model with composite atomicity, the most commonly used model in the sel
Externí odkaz:
http://arxiv.org/abs/1610.08685
Publikováno v:
In Journal of Parallel and Distributed Computing December 2020 146:79-95
Publikováno v:
In Journal of Parallel and Distributed Computing January 2019 123:26-45
Publikováno v:
EPTCS 28, 2010, pp. 16-33
To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing var
Externí odkaz:
http://arxiv.org/abs/1006.5095
Publikováno v:
In Information and Computation June 2017 254 Part 3:330-366