Sciweavers

ICDCN
2016
Springer
7 years 12 months ago
Opacity proof for CaPR+ algorithm
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...
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
ICDCN
2016
Springer
7 years 12 months ago
Conversational intelligence analysis
—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...
ICDCN
2016
Springer
7 years 12 months ago
Augmenting anycast network flows
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 ...
Sebastian Brandt, Klaus-Tycho Förster, Roger ...
ICDCN
2016
Springer
7 years 12 months ago
Local checkability, no strings attached
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...
Klaus-Tycho Förster, Thomas Luedi, Jochen Sei...
ICDCN
2016
Springer
7 years 12 months ago
Tight self-stabilizing mobile byzantine-tolerant atomic register
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Bu...
ICDCN
2016
Springer
7 years 12 months ago
Compact routing messages in self-healing trees
Armando Castañeda, Danny Dolev, Amitabh Tre...
ICDCN
2016
Springer
7 years 12 months ago
Evacuating two robots from multiple unknown exits in a circle
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...
ICDCN
2016
Springer
7 years 12 months ago
Bitcoin meets strong consistency
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