Search results for "self-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Nobuyoshi Izawa	Reduced-gate design of totally self-checking checkers for unordered codes.	Syst. Comput. Jpn.	1985	DBLP DOI BibTeX RDF
11	W. Kent Fuchs	Concurrent Error Detection in Vlsi Systems Through Structure Encoding (Fault Tolerance, Self-Checking)		1985	RDF
11	Niraj Kumar Jha	Topics in Totally Self-Checking Circuits and Testable Cmos Circuits		1985	RDF
11	Ingrid Eleonora Schreiber Jansch	Conception de contrôleurs autotestables pour des hypothèses de pannes analytiques. (Design of self checking controllers for hypothesis of analytical failures).		1985	RDF
11	Joseph L. A. Hughes, Edward J. McCluskey, David J. Lu	Design of Totally Self-Checking Comparators with an Arbitrary Number of Inputs.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF
11	David J. Lu, Edward J. McCluskey	Quantitative Evaluation of Self-Checking Circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1984	DBLP DOI BibTeX RDF
11	Costas Efstathiou, Constantine Halatsis	Modular design of totally self-checking checkers for 1-out-of-n codes.	Fehlertolerierende Rechensysteme	1984	DBLP DOI BibTeX RDF
11	Hugues Deneux, Pascale Thévenod-Fosse	Random testing of LSI self-checking circuits.	Fehlertolerierende Rechensysteme	1984	DBLP DOI BibTeX RDF
11	Sridhar R. Manthani, Sudhakar M. Reddy	On CMOS Totally Self-Checking Circuits.	ITC	1984	DBLP BibTeX RDF
11	W. G. Marshall, W. Forsythe	Cyclone I: A self-checking control-oriented multiprocessor.	Softw. Microsystems	1983	DBLP DOI BibTeX RDF
11	David L. Bird, Carlos Urias Munoz	Automatic Generation of Random Self-Checking Test Cases.	IBM Syst. J.	1983	DBLP DOI BibTeX RDF
11	Marc Courvoisier, Jean Claude Geffroy	Cascaded Self-Checking Bus Arbiters for Multicomputer Systems.	RTSS	1982	DBLP BibTeX RDF
11	Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz	Self-Checking software in distributed systems.	ICDCS	1982	DBLP BibTeX RDF
11	J. Abadir, Yves Deswarte	Run-Time Program for Self-Checking Single Board Computer.	ITC	1982	DBLP BibTeX RDF
11	Kyushik Son, Dhiraj K. Pradhan	Completely Self-Checking Checkers in PLAs.	ITC	1981	DBLP BibTeX RDF
11	Ali Mili 0001	Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions		1981	RDF
11	Dhiraj K. Pradhan, Jack J. Stiffler	Error-Correcting Codes and Self-Checking Circuits.	Computer	1980	DBLP DOI BibTeX RDF
11	Yves Crouzet, Christian Landrault	Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF
11	Michel Diaz, Pierre Azéma, Jean-Michel Ayache	Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF
11	René David	A Totally Self-Checking 1-Out-of-3 Checker.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF
11	John J. Shedletsky	A Rollback Interval for Networks with an Imperfect Self-Checking Property.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF
11	Mohamed Abdelaziz Marouf, Arthur D. Friedman	Efficient Design of Self-Checking Checker for any m-Out-of-n Code.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF
11	Scott E. Woodard, Gernot Metze	Self-Checking Alternating Logic: Sequential Circuit Design.	ISCA	1978	DBLP DOI BibTeX RDF
11	Mohammad Javad Ashjaee, Sudhakar M. Reddy	On Totally Self-Checking Checkers for Separable Codes.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF
11	Scott E. Woodard	Design of Digital Systems Using Self-Checking Alternating Logic		1977	RDF
11	Jean Andre Dussault	On the Design of Self-Checking Systems Under Various Fault-Models		1977	RDF
11	James Edward Smith	The Design of Totally Self-Checking Combinational Circuits		1976	RDF
11	David Su-Ming Ho	The Design of Totally Self-Checking Systems		1976	RDF
11	Alan M. Usas	A Totally Self-Checking Checker Design for the Detection of Errors in Periodic Signals.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF
11	Antonín Svoboda	Self-checking adder for large scale integration.	IEEE Symposium on Computer Arithmetic	1975	DBLP DOI BibTeX RDF
11	Stephen S. Yau, R. C. Cheung	Design of self-checking software.	Reliable Software	1975	DBLP DOI BibTeX RDF
11	Füsun Özgüner	Design of Totally Self-Checking Asynchronous Sequential Machines		1975	RDF
11	Sudhakar M. Reddy	Note on Self-Checking Checkers.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
11	John F. Wakerly	Partially Self-Checking Circuits and Their Use in Performing Logical Operations.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
11	Herbert Yu-Pang Chang, Robert C. Dorr, Daniel J. Senese	The Design of a Microprogrammed Self-Checking Processor of an Electronic Switching System.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
11	Robert W. Cook, William H. Sisson, Thomas F. Storey, Wing N. Toy	Design of a Self-Checking Microprogram Control.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
11	Douglas A. Anderson, Gernot Metze	Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
11	Willard G. Bouricius, William C. Carter, Edward P. Hsieh, Donald C. Jessep Jr., Aspi B. Wadia	Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
11	Herbert Yu-Pang Chang, Gary W. Heimbigner, Daniel J. Senese, Thomas L. Smith	Maintenance Techniques of a Microprogrammed Self-Checking Control Complex of an Electronic Switching System.	IEEE Trans. Computers	1973	DBLP DOI BibTeX RDF
11	Robert C. Dorr	Self-Checking Combinational Logic Binary Counters.	IEEE Trans. Computers	1972	DBLP DOI BibTeX RDF
11	Herbert Y. Chang, Robert C. Dorr, R. A. Elliott	Logic simulation and fault analysis of a self-checking switching processor.	DAC	1972	DBLP DOI BibTeX RDF
11	Fred Lee	An Automatic Self-Checking and Fault-Locating Method.	IRE Trans. Electron. Comput.	1962	DBLP DOI BibTeX RDF
11	E. J. Casey	A self-checking system for high-speed transmission of magnetic-tape digital data.	IRE-ACM-AIEE Computer Conference (Eastern)	1957	DBLP DOI BibTeX RDF
11	Earl Masterson, Abraham Pressman	A self-checking high-speed printer.	AIEE-IRE Computer Conference (Eastern)	1954	DBLP DOI BibTeX RDF
10	Delong Shang, Alexandre V. Bystrov, Alexandre Yakovlev, Deepali Koppad	On-Line Testing of Globally Asynchronous Circuits.	IOLTS	2005	DBLP DOI BibTeX RDF
10	Stanislaw J. Piestrak	Design Method of a Class of Embedded Combinational Self-Testing Checkers for Two-Rail Codes.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	embedded circuit, inverter-free circuit, totally self-testing circuit, concurrent error detection, Berger code, self-testing checker, two-rail code
10	Ajay Khoche, Erik Brunvand	Testing self-timed circuits using partial scan.	ASYNC	1995	DBLP DOI BibTeX RDF	sequential network, partial scan environment, logic testing, sequential circuits, asynchronous circuits, partial scan, data paths, self-timed circuits
10	Ajay Khoche, Erik Brunvand	A partial scan methodology for testing self-timed circuits.	VTS	1995	DBLP DOI BibTeX RDF	partial scan methodology, control section testing, macromodule based circuits, sequential network, logic testing, integrated circuit testing, design for testability, logic design, asynchronous circuits, fault coverage, stuck-at faults, integrated logic circuits, boundary scan testing, self-timed circuits
10	Peter Böhlau	Zero Aliasing Compression Based on Groups of Weakly Independent Outputs in Circuits with High Complexity for Two Fault Models.	EDCC	1994	DBLP DOI BibTeX RDF	zero aliasing, self-testing circuits, functional properties, groupability, weakly independent outputs, built-in self-test
9	Paolo Maistri, Pierre Vanhauwaert, Régis Leveugle	Evaluation of Register-Level Protection Techniques for the Advanced Encryption Standard by Multi-Level Fault Injections.	DFT	2007	DBLP DOI BibTeX RDF
9	Gian Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Fault tolerant design of signed digit based FIR filters.	ISCAS	2006	DBLP DOI BibTeX RDF
9	Alexander V. Drozd, M. V. Lobachev, J. V. Drozd	The Problem of On-Line Testing Methods In Approximate Data Processing.	IOLTS	2006	DBLP DOI BibTeX RDF
9	Anna Antola, Mariagiovanna Sami, Vincenzo Piuri	On-line Diagnosis and Reconfiguration of FPGA Systems.	DELTA	2002	DBLP DOI BibTeX RDF	on-line detection, fault tolerance, FPGA, reconfiguration, diagnosis
8	Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng	A framework for system reliability analysis considering both system error tolerance and component test quality.	DATE	2007	DBLP DOI BibTeX RDF
8	Amit Vasudevan, Ramesh Yerraballi	SPiKE: engineering malware analysis tools using unobtrusive binary-instrumentation.	ACSC	2006	DBLP BibTeX RDF	security, instrumentation, malware
8	Amit Vasudevan, Ramesh Yerraballi	Stealth Breakpoints.	ACSAC	2005	DBLP DOI BibTeX RDF
8	Anzhela Yu. Matrosova, Vladimir Ostrovsky, Ilya Levin, K. Nikitin	Designing FPGA based Self-Testing Checkers for m-out-of-n Codes.	IOLTS	2003	DBLP DOI BibTeX RDF
8	Cecilia Metra, Michele Favalli, Bruno Riccò	Compact and low power on-line self-testing voting scheme.	DFT	1997	DBLP DOI BibTeX RDF	on-line self-testing voting scheme, fault-tolerant techniques, reliability, power consumption, majority voting, triple modular redundancy, area overhead, majority logic, TMR systems
8	Michael Nicolaidis	Fault secure property versus strongly code disjoint checkers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
6	Martin Geisler 0001, Nigel P. Smart	Distributing the Key Distribution Centre in Sakai-Kasahara Based Systems.	IMACC	2009	DBLP DOI BibTeX RDF
6	Petr Fiser, Pavel Kubalík, Hana Kubátová	An Efficient Multiple-Parity Generator Design for On-Line Testing on FPGA.	DSD	2008	DBLP DOI BibTeX RDF
6	Junqiang Zhou, Simeon C. Ntafos, Balakrishnan Prabhakaran 0001	Fault Detection Framework for Video Surveillance Systems.	AVSS	2008	DBLP DOI BibTeX RDF
6	Gian Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Concurrent Error Detection in Reed-Solomon Encoders and Decoders.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
6	Chengying Mao	AOP-based Testability Improvement for Component-based Software.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
6	Georges Gonthier	The Four Colour Theorem: Engineering of a Formal Proof.	ASCM	2007	DBLP DOI BibTeX RDF
6	Gunjan Khanna, Padma Varadharajan, Saurabh Bagchi	Automated Online Monitoring of Distributed Applications through External Monitors.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	blackbox detection, temporal and combinatorial rules, Error detection, reliable multicast, monitor system
6	Pavel Kubalík, Radek Dobias, Hana Kubátová	Dependable Design for FPGA Based on Duplex System and Reconfiguration.	DSD	2006	DBLP DOI BibTeX RDF
6	Gian Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Concurrent error detection in Reed Solomon decoders.	ISCAS	2006	DBLP DOI BibTeX RDF
6	Maico Cassel, Fernanda Lima Kastensmidt	Evaluating One-Hot Encoding Finite State Machines for SEU Reliability in SRAM-based FPGAs.	IOLTS	2006	DBLP DOI BibTeX RDF
6	Rui Zhang, Niraj K. Jha	Threshold/majority logic synthesis and concurrent error detection targeting nanoelectronic implementations.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF
6	Kotaro Shimamura, Takeshi Takehara, Yosuke Shima, Kunihiko Tsunedomi	A Single-Chip Fail-Safe Microprocessor with Memory Data Comparison Feature.	PRDC	2006	DBLP DOI BibTeX RDF
6	Miguel León Chávez, Carlos Hernández Rosete, Francisco Rodríguez-Henríquez	Achieving Confidentiality Security Service for CAN.	CONIELECOMP	2005	DBLP DOI BibTeX RDF
6	Roshan G. Ragel, Sri Parameswaran, Sayed Mohammad Kia	Micro embedded monitoring for security in application specific instruction-set processors.	CASES	2005	DBLP DOI BibTeX RDF	micro embedded monitoring, microinstructions, self-monitoring instructions, application specific instruction-set processors, security monitoring
6	Vladimir Ostrovsky, Ilya Levin	Implementation of Concurrent Checking Circuits by Independent Sub-circuits.	DFT	2005	DBLP DOI BibTeX RDF
6	Daniele Rossi 0001, Martin Omaña 0001, Fabio Toma, Cecilia Metra	Multiple Transient Faults in Logic: An Issue for Next Generation ICs.	DFT	2005	DBLP DOI BibTeX RDF
6	Sadik Ezer, Scott Johnson	Smart diagnostics for configurable processor verification.	DAC	2005	DBLP DOI BibTeX RDF	embedded test-bench control, coverage, functional verification, diagnostics, configurable processors
6	Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some	The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	distributed systems, high availability, Software-implemented fault tolerance
6	Rajanikanth Batchu, Yoginder S. Dandass, Anthony Skjellum, Murali Beddhu	MPI/FT: A Model-Based Approach to Low-Overhead Fault Tolerant Message-Passing Middleware.	Clust. Comput.	2004	DBLP DOI BibTeX RDF	model-based fault tolerance, MPI, fault detection, cluster computing, group communication
6	Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun	Pipelines in Dynamic Dual-Rail Circuits.	PATMOS	2004	DBLP DOI BibTeX RDF
6	Peter T. Popov, Lorenzo Strigini, A. Kostov, V. Mollov, D. Selensky	Software Fault-Tolerance with Off-the-Shelf SQL Servers.	ICCBSS	2004	DBLP DOI BibTeX RDF
6	Rakesh Shukla, Paul A. Strooper, David A. Carrington	A Framework for Reliability Assessment of Software Components.	CBSE	2004	DBLP DOI BibTeX RDF
6	Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araujo, Valdiney Alves Pimenta	An automatic testbench generation tool for a SystemC functional verification methodology.	SBCCI	2004	DBLP DOI BibTeX RDF	Brazilip, SCV, VeriSC, tool, SystemC
6	Cecilia Metra, T. M. Mak, Martin Omaña 0001	Fault secureness need for next generation high performance microprocessor design for testability structures.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	built in self test, design for testability, microprocessor, comparator, fault secureness
6	Gian Carlo Cardarilli, Marco Ottavi, Salvatore Pontarelli, Marco Re, Adelio Salsano	A Signed Digit Adder with Error Correction and Graceful Degradation Capabilities.	IOLTS	2004	DBLP DOI BibTeX RDF
6	Cecilia Metra, A. Ferrari, Martin Omaña 0001, Andrea Pagni	Hardware Reconfiguration Scheme for High Availability Systems.	IOLTS	2004	DBLP DOI BibTeX RDF
6	Rogério de Lemos	Architecting Web Services Applications for Improving Availability.	WADS	2004	DBLP DOI BibTeX RDF
6	B. Kiran Kumar, Parag K. Lala	On-line Detection of Faults in Carry-Select Adders.	ITC	2003	DBLP DOI BibTeX RDF
6	Tim Miller, Paul A. Strooper	Supporting the Software Testing Process through Specification Animation.	SEFM	2003	DBLP DOI BibTeX RDF
6	Cecilia Metra, Michele Favalli, Stefano Di Francescantonio, Bruno Riccò	On-Chip Clock Faults' Detector.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	clock faults, systems-on-a-chip, on-line testing
6	Keith Whisnant, Ravishankar K. Iyer, P. Jones, Raphael R. Some, David A. Rennels	An Experimental Evaluation of the REE SIFT Environment for Spaceborne Applications.	DSN	2002	DBLP DOI BibTeX RDF
6	D. Bied-Charreton, D. Guillon, B. Jacques	The YATE Fail-Safe Interface: The User's Point of View.	MTDT	2002	DBLP DOI BibTeX RDF
6	D. Bied-Charreton, D. Guillon, B. Jacques	The YATE Fail-Safe Interface: The User's Point of View.	IOLTW	2002	DBLP DOI BibTeX RDF
6	Fabio Salice, Mariagiovanna Sami, Renato Stefanelli	Fault-Tolerant CAM Architectures: A Design Framework.	DFT	2002	DBLP DOI BibTeX RDF
6	Ravishankar K. Iyer, Zbigniew Kalbarczyk	Measurement-Based Analysis of System Dependability Using Fault Injection and Field Failure Data.	Performance	2002	DBLP DOI BibTeX RDF
6	Vitalij Ocheretnij, Egor S. Sogomonyan, Michael Gössel	A New Code-Disjoint Sum-Bit Duplicated Carry Look-Ahead Adder for Parity Codes.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
6	Rajanikanth Batchu, Anthony Skjellum, Zhenqian Cui, Murali Beddhu, Jothi P. Neelamegam, Yoginder S. Dandass, Manoj Apte	MPI/FTTM: Architecture and Taxonomies for Fault-Tolerant, Message-Passing Middleware for Performance-Portable Parallel Computing.	CCGRID	2001	DBLP DOI BibTeX RDF
6	Vitalij Ocheretnij, Michael Gössel, Egor S. Sogomonyan	Code-Disjoint Carry-Dependent Sum Adder with Partial Look-Ahead.	IOLTW	2001	DBLP DOI BibTeX RDF
6	Luis Entrena, Celia López, Emilio Olías, Enrique San Millán, José Alberto Espejo	Logic Optimization of Unidirectional Circuits with Structural Methods.	IOLTW	2001	DBLP DOI BibTeX RDF
6	Alessandro Orso, Mary Jean Harrold, David S. Rosenblum	Component Metadata for Software Engineering Tasks.	EDO	2000	DBLP DOI BibTeX RDF	metadata, Components, component-based systems, distributed components
6	Michele Favalli, Cecilia Metra	Bus crosstalk fault-detection capabilities of error-detecting codes for on-line testing.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF