Revisions of objects (or files, respectively) have always been managed by using labels attached to the revisions. Yet, typical version managers assume that the revisions are ordered totally or at least in a tree-like order. The ordering of labels reflects the semantical dependencies of revisions of a single object, therefore the labels should be able to represent a revision R inheriting propert...

Revisions of objects (or files, respectively) have always been managed by using labels attached to the revisions. Yet, typical version managers assume that the revisions are ordered totally or at least in a tree-like order. The ordering of labels reflects the semantical dependencies of revisions of a single object, therefore the labels should be able to represent a revision R inheriting propert...

ion Refinement Abstraction refinement [7] is a process, in which a model is first grossly abstracted, to form a much smaller (and easier to verify) model, and then iteratively refined. At each iteration, a model checker checks the current abstract model. If it can come up with a definite answer (either pass or fail), the process terminates. Otherwise, a refined model is built for the next itera...

Enabling applications to execute various tasks in parallel is difficult if those tasks exhibit read and write conflicts. We recently developed a programming model based on concurrent revisions that addresses this challenge in a novel way: each forked task gets a conceptual copy of all the shared state, and state changes are integrated only when tasks are joined, at which time write-write confli...

Algorithm In path and motion planning, RRT are used to find feasible trajectories connectinga given set of points in a subset of the state space, which does not contain anyobstacles and is thus called the free configuration space (see [LK01a] and the ref-erences therein). Our abstract RRT-based simulation algorithm contains the samemain steps as the classic RRT algorithms (see f...

BACKGROUND: Minimizing the chest compression pause associated with application of a mechanical CPR device is a key component of optimal integration into the overall resuscitation process. As part of a multi-agency implementation project, Anchorage Fire Department deployed LUCAS CPR devices on BLS and ALS fire apparatus for initiation early in resuscitation efforts. A 2012 report identified the ...