DeSyRe: on-Demand System Reliability

The DeSyRe project builds on-demand adaptive and reliable Systems-on-Chips (SoCs). As fabrication technology scales down, chips are becoming less reliable, thereby incurring increased power and performance costs for fault tolerance. To make matters worse, power density is becoming a significant limiting factor in SoC design, in general. In the face of such changes in the technological landscape, current solutions for fault tolerance are expected to introduce excessive overheads in future systems. Moreover, attempting to design and manufacture a totally defect and fault-free system, would impact heavily, even prohibitively, the design, manufacturing, and testing costs, as well as the system performance and power consumption. In this context, DeSyRe delivers a new generation of systems that are reliable by design at well-balanced power, performance, and design costs. In our attempt to reduce the overheads of fault-tolerance, only a small fraction of the chip is built to be fault-free. This fault-free part is then employed to manage the remaining fault-prone resources of the SoC. The DeSyRe framework is applied to two medical systems with high safety requirements (measured using the IEC 61508 functional safety standard) and tight power and performance constraints

Tensor interaction constraints from beta decay recoil spin asymmetry of trapped atoms

We have measured the angular distribution of recoiling daughter nuclei emitted from the Gamow-Teller $\beta$ decay of spin-polarized $^{80}$Rb. The asymmetry of this distribution vanishes to lowest order in the Standard Model (SM) in pure Gamow-Teller decays, producing an observable very sensitive to new interactions. We measure the non-SM contribution to the asymmetry to be $A_{T}$= 0.015 $\pm$ 0.029 (stat) $\pm$ 0.019 (syst), consistent with the SM prediction. We constrain higher-order SM corrections using the measured momentum dependence of the asymmetry, and their remaining uncertainty dominates the systematic error. Future progress in determining the weak magnetism term theoretically or experimentally would reduce the final errors. We describe the resulting constraints on fundamental 4-Fermi tensor interactions.Comment: 11 pages, 13 figures; v2 published in Phys. Rev. C, with referee clarifications and figures improved for black-and-whit

Unattended network operations technology assessment study. Technical support for defining advanced satellite systems concepts

The results are summarized of an unattended network operations technology assessment study for the Space Exploration Initiative (SEI). The scope of the work included: (1) identified possible enhancements due to the proposed Mars communications network; (2) identified network operations on Mars; (3) performed a technology assessment of possible supporting technologies based on current and future approaches to network operations; and (4) developed a plan for the testing and development of these technologies. The most important results obtained are as follows: (1) addition of a third Mars Relay Satellite (MRS) and MRS cross link capabilities will enhance the network's fault tolerance capabilities through improved connectivity; (2) network functions can be divided into the six basic ISO network functional groups; (3) distributed artificial intelligence technologies will augment more traditional network management technologies to form the technological infrastructure of a virtually unattended network; and (4) a great effort is required to bring the current network technology levels for manned space communications up to the level needed for an automated fault tolerance Mars communications network

Introduction to Quantum Error Correction

In this introduction we motivate and explain the ``decoding'' and ``subsystems'' view of quantum error correction. We explain how quantum noise in QIP can be described and classified, and summarize the requirements that need to be satisfied for fault tolerance. Considering the capabilities of currently available quantum technology, the requirements appear daunting. But the idea of ``subsystems'' shows that these requirements can be met in many different, and often unexpected ways.Comment: 44 pages, to appear in LA Science. Hyperlinked PDF at http://www.c3.lanl.gov/~knill/qip/ecprhtml/ecprpdf.pdf, HTML at http://www.c3.lanl.gov/~knill/qip/ecprhtm

Improved limits on dark matter annihilation in the Sun with the 79-string IceCube detector and implications for supersymmetry

We present an improved event-level likelihood formalism for including neutrino telescope data in global fits to new physics. We derive limits on spin-dependent dark matter-proton scattering by employing the new formalism in a re-analysis of data from the 79-string IceCube search for dark matter annihilation in the Sun, including explicit energy information for each event. The new analysis excludes a number of models in the weak-scale minimal supersymmetric standard model (MSSM) for the first time. This work is accompanied by the public release of the 79-string IceCube data, as well as an associated computer code for applying the new likelihood to arbitrary dark matter models.Comment: 24 pages, 8 figs, 1 table. Contact authors: Pat Scott & Matthias Danninger. Likelihood tool available at http://nulike.hepforge.org. v2: small updates to address JCAP referee repor