Software Transactional Memory(STM) is a new programming paradigm that can be an effective alternative to the conventional parallel programming models and languages. It absolves t...
—The process of analysis aims to transform raw information to intelligence in order to inform decision-makers in a timely manner. The phases of analysis range from the gathering ...
Alice Toniolo, Alun D. Preece, Will Webberley, Tim...
Updating network flows in a real-world setting is a nascent research area, especially with the recent rise of Software Defined Networks. While augmenting s-t flows of a single ...
In this work we study local checkability of network properties like s-t reachability, or whether the network is acyclic or contains a cycle. A structural property S of a graph G i...
Distributed on a unit circle are k exits. Two autonomous mobile robots are placed on the circle. Each robot has a maximum speed of 1 and the robots can communicate wirelessly. The...
Jurek Czyzowicz, Stefan Dobrev, Konstantinos Georg...
The Bitcoin system only provides eventual consistency. For everyday life, the time to confirm a Bitcoin transaction is prohibitively slow. In this paper we propose a new system, ...
Christian Decker, Jochen Seidel, Roger Wattenhofer