The combination of N-modular redundancy (NMR) and standby sparing has resulted in a promising redundancy technique for protecting those portions of a fault-tolerant system whose continuous real-time operation is essential. This technique, known as hybrid redundancy, uses N + Sp identical modules. N of these are connected to a majority voter to form an NMR core. The remaining Sp are used as stan...

Many information theoretically secure protocols are known for general secure multi-party computation, both in the honest majority setting, and in the dishonest majority setting with preprocessing. All known protocols that are efficient in the circuit size of the evaluated function follow the same typical “gate-by-gate” design pattern: we work our way through a boolean or arithmetic circuit, mai...

Reliability is expected to be a critical challenge in designing future molecular electronic circuits. Using a compact model that captures the essential physics of the device, the effect on digital gate functionality of variations in the device parameters, as well as the improvements afforded by a TMR majority gate structure are quantified. It is shown that the improvement is substantial, showin...

The regressive nature of consumption taxes poses a challenge to partisan theory. Using data for up to 20 OECD countries in the period 1970-2003 this article aims to explore the question of whether the idea that social democratic governments typically have to compromise on policy goals and core constituency interests to make themselves more appealing to the median voter necessitates the use of r...

Fagin et al. characterized those symmetric Boolean functions which can be computed by small AND/OR circuits of constant depth and unbounded fan-in. Here we provide a similar characterization for d-perceptrons | AND/OR circuits of constant depth and unbounded fan-in with a single MAJORITY gate at the output. We show that a symmetric function has small (quasipolynomial, or 2 log O(1) n size) d-pe...

The Finagle point (Wuffle et al., 1989), the yolk (McKelvey, 1986; Ferejohn et al., 1984) and the epsilon-core (Wooders, 1983; Salant and Goodstein, 1990; Tovey, 2010; Feld and Grofman, 1991) are three solution concepts that have been proposed to predict the outcome of majority voting in the Euclidean spatial model. Relationships among these three concepts are investigated in (Bra̋uninger, 2007)...

We show new results about the garden-hose model. Our main results include improved lower bounds based on non-deterministic communication complexity (leading to the previously unknown Θ(n) bounds for Inner Product mod 2 and Disjointness), as well as an O(n · log n) upper bound for the Distributed Majority function (previously conjectured to have quadratic complexity). We show an efficient simula...

In this paper we are going to explore low-level implementation issues for fault-tolerant adders based on multiplexing using majority gates (MAJ). We shall analyze the particular case of a 32-bit ripple carry adder (RCA), as well as different redundant designs using MAJ-3 (MAJ of fan-in 3) multiplexed RCAs: (i) with classical MAJ-3 gates in the restorative stages; (ii) with inverters driven by s...

X iv :1 61 2. 07 70 8v 1 [ cs .E T ] 1 5 D ec 2 01 6 Experimental prototype of a spin-wave majority gate T. Fischer, 2, a) M. Kewenig, D. A. Bozhko, 2 A. A. Serga, I. I. Syvorotka, F. Ciubotaru, 5 C. Adelmann, B. Hillebrands, and A. V. Chumak Fachbereich Physik and Landesforschungszentrum OPTIMAS, Technische Universität Kaiserslautern, 67663 Kaiserslautern, Germany Graduate School Materials Sci...