Reliable computing with ultra-reduced instruction set co-processors

Abstract

This work presents a method to reliably perform computations in the presence of hard faults arising from aggressive technology scaling, and design defects from human error. Our method is based on an observation that a single Turing-complete instruction can mirror the semantics of any other instruction. One such instruction is the subleq instruction, which… (More)
DOI: 10.1145/2228360.2228485

Topics

4 Figures and Tables

Slides referencing similar topics