5 citations · 26 across the 15 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015★ 5 cited
Estimating the Probability of Meeting a Deadline in Hierarchical Plans
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Given a hierarchical plan (or schedule) with uncertain task times, we propose a deterministic polynomial (time and memory) algorithm for estimating the probability that its meets a…
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…