3 citations · 5 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DC2015
The F-snapshot Problem
Gal Amram
Aguilera, Gafni and Lamport introduced the signaling problem in [5]. In this problem, two processes numbered 0 and 1 can call two procedures: update and Fscan. A parameter of the p…
cs.DC2015
Simple Executions of Snapshot Implementations
Gal Amram, Lior Mizrahi, Gera Weiss
The well known snapshot primitive in concurrent programming allows for n-asynchronous processes to write values to an array of single-writer registers and, for each process, to tak…