CAV
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. Proofs of linearizability of concurrent data structures generally rely on identifying linearization points to establish a simulation argument between the implementation a...
CAV
2015
Springer
8 years 3 months ago
2015
Springer
POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Techn...
CAV
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. SAE Aerospace Information Report 6110, “Contiguous Aircraft/System Development Process Example,” follows the development of a complex wheel brake system (WBS) using p...
CAV
2015
Springer
8 years 3 months ago
2015
Springer
CAV
2015
Springer
8 years 3 months ago
2015
Springer
Abstract. We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the...
SASO
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract—This paper presents PeerMatcher, a fully decentralized algorithm solving the k-clique matching problem. The aim of k-clique matching is to cluster a set of nodes having ...
SASO
2015
IEEE
8 years 3 months ago
2015
IEEE
—BINSURGEON is a binary rewriting system that enhances stripped binary executables with repairs, defenses, and additional functionality. This involves making spaceconsuming chang...
SASO
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract—Wireless sensor networks usually operate in dynamic, stochastic environments. While the behaviour of individual nodes is important, they are better seen as contributors ...
SASO
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract—Systems of “building block” algorithms can guarantee that self-organizing systems eventually converge to a predictable state [1], [2], but what of their dynamical be...
SASO
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract—The computation of nodes centrality is of great importance for the analysis of graphs. The current flow betweenness is an interesting centrality index that is computed ...