Search Results

FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems.

• Authors : Abdelhafidi, Zohra¹ ; Djoudi, Mohamed¹ ; Lagraa, Nasreddine¹

• Source: Theory of Computing Systems. Aug2015, Vol. 57 Issue 2, p397-425. 29p.

Record details

Editor’s Note: Special Issue on Stabilization, Safety, and Security of Distributed Systems

• Source: Theory of Computing Systems. 63:175-176

Record details

Second-Level Algorithms, Superrecursivity, and Recovery Problem in Distributed Systems.

• Authors : Burgin, Mark¹; Gupta, Bidyut²

• Source: Theory of Computing Systems. May2012, Vol. 50 Issue 4, p694-705. 12p.

Record details

A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization.

• Authors : Gall, Dominik¹ ; Jacob, Riko ; Richa, Andrea²

• Source: Theory of Computing Systems. Jul2014, Vol. 55 Issue 1, p110-135. 26p.

Record details

Editor’s Note: Special Issue on Stabilization, Safety, and Security of Distributed Systems.

Subjects: SECURITY systems; SAFETY

• Source: Theory of Computing Systems; Feb2019, Vol. 63 Issue 2, p175-176, 2p

Record details

Wait-free Solvability of Colorless Tasks in Anonymous Shared-memory Model.

• Authors : Yanagisawa, Nayuta¹

• Source: Theory of Computing Systems. Feb2019, Vol. 63 Issue 2, p219-236. 18p.

Record details

Fast Scheduling in Distributed Transactional Memory.

• Authors : Busch, Costas¹ (AUTHOR) ; Herlihy, Maurice² (AUTHOR); Popovic, Miroslav³ (AUTHOR)

• Source: Theory of Computing Systems. 2021, Vol. 65 Issue 2, p296-322. 27p.

Record details

Dependences in Strategy Logic

• Authors : Gardy, Patrick; Bouyer, Patricia; Markey, Nicolas ...

Subjects: FOS: Computer and information sciences; behavioural strategies; Computer Science - Logic in Computer Science

• Source: STACS 2018-Symposium on Theoretical Aspects of Computer ScienceSTACS 2018-Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. pp.35-36,

Record details

Making Local Algorithms Wait-Free: the Case of Ring Coloring

• Authors : Castañeda, Armando; Delporte-Gallet, Carole; Fauconnier, Hugues ...

Subjects: Locality of a computation; wait free; Process crash failure

• Source: Lecture Notes in Computer Science ISBN: 9783319492582LNCSSSSSSS, Nov 2016, Lyon, France. pp.16, ⟨10.1007/978-3-319-49259-9_9⟩Theory of Computing

Record details

Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model

• Authors : Nayuta Yanagisawa

Subjects: 0202 electrical engineering, electronic engineering, information engineering; 02 engineering and technology

• Source: Lecture Notes in Computer Science ISBN: 9783319492582

Record details