activity
20132025
most citedA Rollback in the History of Communication-Induced Checkpointing

10 citations · 33 across the 11 of their papers we have counts for

collaborators
Showing 2017Show all

7 papers · 1 filter

cs.CY2017★ 2 cited

UEFI BIOS Accessibility for the Visually Impaired

Rafael R. Machado, Gustavo M. D. Vieira

People with some kind of disability face a high level of difficulty for everyday tasks because, in many cases, accessibility was not considered necessary when the task or process w…

cs.DC2017★ 2 cited

Hardened Paxos Through Consistency Validation

Rodrigo R. Barbieri, Gustavo M. D. Vieira

Due to the emergent adoption of distributed systems when building applications, demand for reliability and availability has increased. These properties can be achieved through repl…

cs.DC2017★ 8 cited

On the Coordinator's Rule for Fast Paxos

Gustavo M. D. Vieira, Luiz E. Buzato

Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value that is consistent with all past rounds. Rounds are star…

cs.DC2017★ 4 cited

Seamless Paxos Coordinators

Gustavo M. D. Vieira, Islene C. Garcia, Luiz E. Buzato

The Paxos algorithm requires a single correct coordinator process to operate. After a failure, the replacement of the coordinator may lead to a temporary unavailability of the appl…

cs.PL2017

Transparent Replication Using Metaprogramming in Cyan

Fellipe A. Ugliara, Gustavo M. D. Vieira, José de O. Guimarães

Replication can be used to increase the availability of a service by creating many operational copies of its data called replicas. Active replication is a form of replication that…

cs.DC2017★ 2 cited

Quality of Service of an Asynchronous Crash-Recovery Leader Election Algorithm

Vinícius A. Reis, Gustavo M. D. Vieira

In asynchronous distributed systems it is very hard to assess if one of the processes taking part in a computation is operating correctly or has failed. To overcome this problem, d…

cs.DC2017★ 10 cited

A Rollback in the History of Communication-Induced Checkpointing

Islene C. Garcia, Gustavo M. D. Vieira, Luiz E. Buzato

The literature on communication-induced checkpointing presents a family of protocols that use logical clocks to control whether forced checkpoints must be taken. Efficiency of thes…