Filters








19,752 Hits in 6.4 sec

RELIABLE FAULT-SECURE PROCESSOR FOR SPACE-FLIGHT CONTROLLERS

M. EL-Lithy
1987 International Conference on Aerospace Sciences and Aviation Technology  
Different techniques of concurrent fault-detection are applied and self-checking circuits are used, which result in minimizing the mean-time-to-detection (MTTD).  ...  The present paper presents an architecture, fault-secure and self-checking for a processor which is mainly intended for space-flight controllers.  ...  FAULT-SECURENESS AND SELF-CHECKING A circuit whose output z(X,F) is encoded in an error-detecting code S is called a self-checking circuit.  ... 
doi:10.21608/asat.1987.26197 fatcat:y7nn5h2cbvgcxlvccbc55ektpe

Designing Self-checking Circuits with Smooth Power Dissipation

Benjamin Abramov, Vladimir Ostrovsky, Ilya Levin
2006 2006 IEEE 24th Convention of Electrical & Electronics Engineers in Israel  
A new architecture of the self-checking sequential circuit with smooth power dissipation is proposed. The architecture is investigated on a number of standard benchmarks.  ...  The paper discuses a new approach for designing self-checking sequential circuits with smooth power dissipation The proposed approach enables achievement of circuits with a lower overhead.  ...  Our interest is error detecting, minimization of hardware overhead and stabilization of power consumption by smoothing of dynamic power dissipation.  ... 
doi:10.1109/eeei.2006.321147 fatcat:bgjbhiid2bbzffnryrlsdihtxm

Approaches to Software Based Fault Tolerance - A Review

Goutam Kumar Saha
2005 Computer Science Journal of Moldova  
The aim of this paper is to cover past and present approaches to software implemented fault tolerance that rely on both software design diversity and on single but enhanced design.  ...  This paper presents a review work on various approaches to software based fault tolerance.  ...  The approaches in [125, 130] rely on code and data redundancy for detecting run-time error detection and recovery thereof.  ... 
doaj:372c628d0d4148ec8297ac09a277140d fatcat:flvj2teivvfmzn7wfb2fw7rwl4

Universal Fault-Tolerant Quantum Computation with Only Transversal Gates and Error Correction

Adam Paetznick, Ben W. Reichardt
2013 Physical Review Letters  
We show that "triorthogonal" stabilizer codes, introduced for state distillation by Bravyi and Haah [Phys. Rev.  ...  We then construct a universal set of fault-tolerant gates without state distillation by using only transversal controlled-controlled-Z, transversal Hadamard, and fault-tolerant error correction.  ...  For H to be transversal, the code must be self-dual, i.e., G 0 ¼ G ? . Unfortunately, no triorthogonal code is self-dual.  ... 
doi:10.1103/physrevlett.111.090505 pmid:24033013 fatcat:o7acs3olfrctlf2epzp3zl5gla

Stabilizing trust and reputation for self-stabilizing efficient hosts in spite of byzantine guests

Shlomi Dolev, Reuven Yagel
2010 ACM SIGOPS Operating Systems Review  
We augment a provable self-stabilizing host operating system implementation with a contract-enforcement framework example.  ...  This work presents a general and complete method to protect a system against possible malicious programs.  ...  Error model -arbitrary transient and Byzantine faults.  ... 
doi:10.1145/1842733.1842746 fatcat:sjloi4gnszeszn4zdotuod7hoa

Sparse Quantum Codes from Quantum Circuits

Dave Bacon, Steven T. Flammia, Aram W. Harrow, Jonathan Shi
2015 Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing - STOC '15  
Previously the best code distance achievable with constant-weight generators in any dimension, due to Freedman, Meyer and Luo, was O(√(n n)) for a stabilizer code.  ...  Applying our construction to certain concatenated stabilizer codes yields families of subsystem codes with constant-weight generators and with minimum distance d = n^1-ϵ, where ϵ = O(1/√( n)).  ...  DB was supported by the NSF under Grants No. 0803478, 0829937, and 0916400 and by the DARPA-MTO QuEST program through a grant from AFOSR.  ... 
doi:10.1145/2746539.2746608 dblp:conf/stoc/BaconFHS15 fatcat:oai67s644vff5nzcfg24og5htu

Sparse Quantum Codes From Quantum Circuits

Dave Bacon, Steven T. Flammia, Aram W. Harrow, Jonathan Shi
2017 IEEE Transactions on Information Theory  
Using this prescription, we can map an arbitrary stabilizer code into a new subsystem code with the same distance and number of encoded qubits but where all the generators have constant weight, at the  ...  In contrast to LDPC codes, good sparse quantum codes are not known, and even to encode a single qubit, the best known distance is O( n log(n)), due to Freedman, Meyer and Luo.  ...  DB was supported by the NSF under Grants No. 0803478, 0829937, and 0916400 and by the DARPA-MTO QuEST program through a grant from AFOSR.  ... 
doi:10.1109/tit.2017.2663199 fatcat:on62ange5zepxptm52upoci3su

Self-Stabilizing Microprocessor [chapter]

Shlomi Dolev, Yinnon A. Haviv
2004 Lecture Notes in Computer Science  
The self-stabilizing microprocessor copes with any combination of soft errors, converging to perform fetch-decode-execute in fault free periods.  ...  In this work we present design schemes for self-stabilizing microprocessor, and a new technique for analyzing the effect of soft errors.  ...  It is a pleasure to thank Amos Beimel and Enav Weinreb for helpful remarks and pointers to relevant literature.  ... 
doi:10.1007/978-3-540-24714-2_5 fatcat:xmfr4rmxxvcy3preydch5hlhim

Fault-Tolerant Conversion between the Steane and Reed-Muller Quantum Codes

Jonas T. Anderson, Guillaume Duclos-Cianci, David Poulin
2014 Physical Review Letters  
The 15-qubit Reed-Muller code also does not admit a universal fault-tolerant gate set but possesses fault-tolerant T and control-control-Z gates.  ...  Steane's 7-qubit quantum error-correcting code admits a set of fault-tolerant gates that generate the Clifford group, which in itself is not universal for quantum computation.  ...  Elements of A z m are obtained in a similar way, but from the generator matrix of the shortened dual code RMðm − 2; mÞ. In a CSS code, A x detects z-type errors and A z detects x-type errors.  ... 
doi:10.1103/physrevlett.113.080501 pmid:25192082 fatcat:mxt2atun6ne3bck6cdm7ovkz7m

Page 8880 of Mathematical Reviews Vol. , Issue 2000m [page]

2000 Mathematical Reviews  
codes and fault-containing self-stabilization.  ...  This note investigates how error-detecting codes can enhance self-stabilization to deal efficiently with the common case of single- process transient faults.  ... 

Self-stabilizing embedded systems

Torben Weis, Arno Wacker
2011 Proceedings of the 2011 workshop on Organic computing - OC '11  
This paper shows how to build a self-stabilizing system that can recover from temporary hardware faults. Our approach is mainly carried out in software and requires only little hardware support.  ...  The reliability of embedded systems is under constant pressure from miniaturization and cost savings.  ...  RAM uses extra bits for error correction codes and requires constant power supply and refresh cycles to work properly.  ... 
doi:10.1145/1998642.1998653 dblp:conf/icac/WeisW11 fatcat:aseltsdferdf3epwmbu2ecoui4

Self-Stabilization as a Foundation for Autonomic Computing

Olga Brukman, Shlomi Dolev, Yinnon Haviv, Reuven Yagel
2007 The Second International Conference on Availability, Reliability and Security (ARES'07)  
operating system, the self-stabilization preserving compiler, and the self-stabilizing autonomic recoverer for applications.  ...  This position paper advocates the use of the well defined and provable self-stabilization property of a system, to achieve the goals of the self-* paradigms and autonomic computing.  ...  Up to now, the research into self-stabilizing systems and systems that perceive faults as Byzantine behavior has not been able to cope with the fact that software packages contain bugs with very high probability  ... 
doi:10.1109/ares.2007.141 dblp:conf/IEEEares/BrukmanDHY07 fatcat:rvfggmpanvb35hlkokdhyjykte

Flag fault-tolerant error correction with arbitrary distance codes

Christopher Chamberland, Michael E. Beverland
2018 Quantum  
In this paper we introduce a general fault-tolerant quantum error correction protocol using flag circuits for measuring stabilizers of arbitrary distance codes.  ...  The flag error correction protocol is applicable to stabilizer codes of arbitrary distance which satisfy a set of conditions and uses fewer qubits than other schemes such as Shor, Steane and Knill error  ...  C. would like to acknowledge the support of QEII-GSST and thank Microsoft and the QuArC group for its hospitality where all of this work was completed.  ... 
doi:10.22331/q-2018-02-08-53 fatcat:laoxvo6psfeg3ontfipcu6ipqu

Rolex: Resilience-Oriented Language Extensions for Extreme-Scale Systems [article]

Saurabh Hukerikar, Robert F. Lucas
2016 arXiv   pre-print
However every error detected need not cause catastrophic failure. Many HPC applications are inherently fault resilient.  ...  In this paper, we present new Resilience Oriented Language Extensions (Rolex) which facilitate the incorporation of fault resilience as an intrinsic property of the application code.  ...  -Self-Stabilizing Conjugate Gradient: The self-stabilizing version of CG offers a correction step that restores the stability of the algorithm when it is affected by errors.  ... 
arXiv:1605.01994v2 fatcat:5sjyp32rsjbtvobybzei7ro22y

Utilization of on-line (concurrent) checkers during built-in self-test and vice versa

S.K. Gupta, D.K. Pradhan
1996 IEEE transactions on computers  
Concurrent checkers are commonly used in computer systems to detect computational errors on-line, which enhances reliability.  ...  Specifically proposed is a novel, dual use of concurrent checkers and built-in self-test hardware, yielding mutual advantage.  ...  ACKNOWLEDGMENTS Research supported by the National Science Foundation and the U.S. Office of Naval Research.  ... 
doi:10.1109/12.481487 fatcat:kbs5auw6czafvmgv2cmxwwbtvm
« Previous Showing results 1 — 15 out of 19,752 results