A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
RELIABLE FAULT-SECURE PROCESSOR FOR SPACE-FLIGHT CONTROLLERS
1987
International Conference on Aerospace Sciences and Aviation Technology
Preserved Fulltext
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
2006
2006 IEEE 24th Convention of Electrical & Electronics Engineers in Israel
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computer Science Journal of Moldova
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Physical Review Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2010
ACM SIGOPS Operating Systems Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing - STOC '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2017
IEEE Transactions on Information Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Physical Review Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2011
Proceedings of the 2011 workshop on Organic computing - OC '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
The Second International Conference on Availability, Reliability and Security (ARES'07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Quantum
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2016
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
1996
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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