Search results for "checkers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Steffen Tarnick	Single- and Double-Output Embedded Checker Architectures for Systematic Unordered Codes.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	systematic unordered codes, embedded checkers, single- and double-output checkers, non-code-disjoint checkers, code translators
95	Steffen Tarnick	Self-Testing Embedded Borden t -UED Code Checkers for t = 2 k q - 1 with q = 2 m - 1.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Borden codes, Embedded checkers, Code translators, AN codes, Self-testing checkers
95	Steffen Tarnick	Design of Embedded Self-Testing Checkers for t-UED and BUED Codes.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	t-unidirectional error detecting (t-UED) codes, burst unidirectional error detecting (BUED) codes, averaging circuits, embedded checkers, self-testing checkers
85	Steffen Tarnick	Design of Embedded m-out-of-n Code Checkers Using Complete Parallel Counters.	IOLTS	2007	DBLP DOI BibTeX RDF
76	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	A (de)constructive approach to program checking.	STOC	2008	DBLP DOI BibTeX RDF	program testing, program correcting, program checking
71	Albrecht P. Stroele, Steffen Tarnick	Embedded Checker Architectures for Cyclic and Low-Cost Arithmetic Codes.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	code checkers, code word accumulators, code word generators, embedded checkers, cyclic arithmetic codes, low-cost arithmetic codes, built-in self-test, on-line test, totally self-checking checkers
68	Gordon Fraser 0001, Franz Wotawa	Improving Model-Checkers for Software Testing.	QSIC	2007	DBLP DOI BibTeX RDF
60	Gul Muhammad Khan, Julian Francis Miller, David M. Halliday	Developing neural structure of two agents that play checkers using cartesian genetic programming.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	artificial neural networks, co-evolution, cartesian genetic programming, checkers, computational development
59	Steffen Tarnick	Single-Output Embedded Checkers for Systematic Unordered Codes.	IOLTS	2004	DBLP DOI BibTeX RDF
59	Michael Nicolaidis	Fault secure property versus strongly code disjoint checkers.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
52	Cecilia Metra, Jien-Chung Lo	Intermediacy Prediction for High Speed Berger Code Checkers.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	self-checking circuits, checkers, Berger code
52	D. A. Pierce, Parag K. Lala	Modular implementation of efficient self-checking checkers for the Berger code.	J. Electron. Test.	1996	DBLP DOI BibTeX RDF	conventional Berger code, 1's counters, fully-testable circuits, partitioning, CMOS technology, totally self-checking checkers, Berger code
52	Cecilia Metra, Michele Favalli, Bruno Riccò	Embedded two-rail checkers with on-line testing ability.	VTS	1996	DBLP DOI BibTeX RDF	embedded two-rail checkers, online testing ability, self-testing ability, compact structure, VLSI, logic testing, integrated circuit testing, design for testability, error detection, automatic testing, integrated logic circuits, two-rail code
51	Steffen Tarnick	A Design Method for Embedded Self-Testing t-UED and BUED Code Checkers.	IOLTS	2003	DBLP DOI BibTeX RDF
51	J. Ignacio Giráldez, Daniel Borrajo	Distributed Decision Making in Checkers.	Computers and Games	1998	DBLP DOI BibTeX RDF
51	Xrysovalantis Kavousianos, Dimitris Nikolos, G. Sidiropoulos	Design of Compact and High speed, Totally Self Checking CMOS Checkers for m-out-of-n Codes.	DFT	1997	DBLP DOI BibTeX RDF	SelfChecking circuits, totally selfchecking circuits, moutofn codes, fault tolerance
51	Stanislaw J. Piestrak	Design of minimal-level PLA self-testing checkers for m-out-of-n codes.	IEEE Trans. Very Large Scale Integr. Syst.	1996	DBLP DOI BibTeX RDF
51	Vladimir Kolarik, Salvador Mir, Marcelo Lubaszewski, Bernard Courtois	Analog checkers with absolute and relative tolerances.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
51	Sandip Kundu, Sudhakar M. Reddy	Embedded Totally Self-Checking Checkers: A Practical Design.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
51	Bruno Codenotti, Funda Ergün, Peter Gemmell, Ravi Kumar 0001	Checking Properties of Polynomials (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
44	B. Hamdi, Hakim Bederr, Michael Nicolaidis	A tool for automatic generation of self-checking data paths.	VTS	1995	DBLP DOI BibTeX RDF	self-checking data paths, ALUs, shifters, double rail checkers, logic testing, built-in self test, microprocessors, adders, circuit CAD, multipliers, microcontrollers, register files, circuit design, CAD tools, automatic generation, automatic test software, dividers, circuit testing, parity checkers
44	Odette Radi	Secondary School Students' English Writing Aided by Spelling and Grammar Checkers.	WCCE	2009	DBLP DOI BibTeX RDF	spelling and grammar checkers, social demands and practices, curriculum, cognition, Students, literacy, secondary education, computer use
43	Martin Omaña 0001, Daniele Rossi 0001, Cecilia Metra	Low Cost and High Speed Embedded Two-Rail Code Checker.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Self-checking circuits, checkers, error indicators, two-rail code
43	Jonathan Schaeffer	Computer (and Human) Perfection at Checkers.	Canadian AI	2009	DBLP DOI BibTeX RDF
43	Daniele Rossi 0001, Martin Omaña 0001, Cecilia Metra	Checkers' No-Harm Alarms and Design Approaches to Tolerate Them.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Error detecting codes, Transient faults, Self-checking circuits, Checker
43	Martin Straka, Zdenek Kotásek, Jan Winter	Digital Systems Architectures Based on On-line Checkers.	DSD	2008	DBLP DOI BibTeX RDF
43	Gordon Fraser 0001, Franz Wotawa	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.	ICSEA	2007	DBLP DOI BibTeX RDF
43	Kazuhiro Ogata 0001, Kokichi Futatsugi	Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers.	CIT	2005	DBLP DOI BibTeX RDF
43	Kartik Mohanram, Nur A. Touba	Lowering power consumption in concurrent checkers via input ordering.	IEEE Trans. Very Large Scale Integr. Syst.	2004	DBLP DOI BibTeX RDF
43	Ronny Frevert, Steffen Rülke, Torsten Schäfer, Frank Dresig	Use of HDL Code Checkers to Support the IP Entrance Check - A Requirement Analysis.	DSD	2002	DBLP DOI BibTeX RDF
43	Kyung-Joong Kim 0001, Sung-Bae Cho	Checkers Strategy Evolution with Speciated Neural Networks.	PRICAI	2002	DBLP DOI BibTeX RDF
43	Dimitris Nikolos	Self-Testing Embedded Two-Rail Checkers.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	parity tree, embedded self-testing, self testing, two-rail checker, parity checker
43	Stanislaw J. Piestrak	Design of Self-Testing Checkers for m-out-of-n Codes Using Parallel Counters.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	counters of 1s, m-out-of-n (m/n) codes, concurrent error detection, on-line testing, self-checking circuit, unidirectional errors, parallel counters, unordered codes, self-testing checker
43	Kireeti Kompella, Leonard M. Adleman	Fast Checkers for Cryptography.	CRYPTO	1990	DBLP DOI BibTeX RDF
43	Michael Nicolaidis	Self-exercising checkers for unified built-in self-test (UBIST).	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
36	Jacek Mandziuk	Computational Intelligence in Mind Games.	Challenges for Computational Intelligence	2007	DBLP DOI BibTeX RDF	CI in games, soft-computing methods, Give-Away Checkers, Backgammon, Scrabble, challenges, Bridge, game playing, Go, Poker, Checkers, Chess, Othello
36	Petr Golan	Design of Totally Self-Checking Checker for 1-out-of-3 Code.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	fixed-weight codes, 1-out-of-3 code, TSC checkers, totally self-checking checkers, Constant weight codes, m-out-of-n codes
36	Dhiraj K. Pradhan	A New Class of Error-Correcting/Detecting Codes for Fault-Tolerant Computer Applications.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Coset codes, decoder logic, erasure decoding, mass memories, multiple errors, TSC checkers, error detection, error correction, transient faults, multiple faults, unidirectional errors, self-checking, shift register memories, read-only memories, random errors, two-rail checkers
35	Vassilios V. Dimakopoulos, G. Sourtziotis, Antonis M. Paschalis, Dimitris Nikolos	On TSC Checkers for m-out-n Codes.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	MOS transistor implementation, fault tolerance, Fault detection, totally self-checking checkers, m-out-of-n code
35	Wen-Ben Jone, Cheng-Juei Wu	Multiple Fault Detection in Parity Checkers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	monitoring circuits, identity matrix, zero vector, wired-OR connections, reliability, logic testing, fault location, digital systems, multiple stuck-at faults, multiple fault detection, binary matrix, parity checkers
35	Niraj K. Jha	Fault Detection in CVS Parity Trees with Application to Strongly Self-Checking Parity and Two-Rail Checkers.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	CVS parity trees, strongly self-checking parity, single stuck-at, stuck-open, stuck-on fault detection, cascode voltage switch, differential cascode voltage switch, EX-OR gates, single-ended cascode voltage switch, logic testing, fault location, logic gates, two-rail checkers
35	Jien-Chung Lo, Suchai Thanawastien	On the Design of Combinational Totally Self-Checking I-out-of3 Code Checkers.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	combinational totally self-checking 1-out-of-3 code checkers, NMOS, TSC goal, fault sequences, minimum fault sequences, MOS integrated circuits, logic testing, logic design, automatic testing, integrated logic circuits
35	Stanislaw J. Piestrak	Design of High-Speed and Cost-Effective Self-Testing Checkers for Low-Cost Arithmetic Codes.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	complexity, logic testing, logic design, automatic testing, digital arithmetic, logic circuits, error-detecting codes, error detection codes, arithmetic codes, gate levels, self-testing checkers
35	Dimitris Nikolos, Antonis M. Paschalis, George Philokyprou	Efficient Design of Totally Self-Checking Checkers for all Low-Cost Arithmetic Codes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	low-cost arithmetic codes, reliability, fault tolerant computing, partitioning, trees, error detection codes, totally self-checking checkers, gate levels
35	Michael Nicolaidis, Bernard Courtois	Strongly Code Disjoint Checkers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	strongly code disjoint checkers, strongly fault secure networks, combinational system, error detection codes, combinatorial circuits, totally self-checking
35	Nikolaos Gaitanis	Totally Self-Checking Checkers with Separate Internal Fault Indication.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	separate internal fault indication, functional circuit, two-element Boolean algebra, self-checking operator blocks, logic testing, fault location, fault, design technique, totally self-checking checkers, algebraic approach
35	Antonis M. Paschalis, Dimitris Nikolos, Constantine Halatsis	Efficient Modular Design of TSC Checkers for M-out-of-2M Codes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	half-adder, VLSI MOS implementation, logic design, trees, codes, codes, adders, modular design, totally self-checking checkers, full-adder
35	Ingrid Jansch, Bernard Courtois	Definition and Design of Strongly Language Disjoint Checkers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	strongly language disjoint checkers, logic testing, fault location, totally self-checking, sequential systems
35	Nikolaos Gaitanis	Totally Self-Checking Checkers for Low-Cost Arithmetic Codes.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	TSC residue generators, Inverse residue codes, low-cost codes, totally self-checking checkers
35	Constantine Halatsis, Nikolaos Gaitanis, Maria Sigala	Fast and Efficient Totally Self-Checking Checkers for m-out-of-(2m ±1) Codes.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	totally self-checking checkers, m-out-of-n codes
35	Nikolaos Gaitanis, Constantine Halatsis	A New Design Method for m-Out-of-n TSC Checkers.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	totally selfchecking checkers, Code disjoint, fault detection, m-out-of-n codes
35	Daniel Etiemble	Multivalued I2L Circuits for TSC Checkers.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	totally self-checking comparator, multivalued logic, Error-detecting codes, totally self-checking checkers, I
35	Gul Muhammad Khan, Julian F. Miller	Evolution of cartesian genetic programs capable of learning.	GECCO	2009	DBLP DOI BibTeX RDF	artificial neural networks, co-evolution, cartesian genetic programming, checkers, computational development
35	Gordon Fraser 0001, Franz Wotawa	Using LTL rewriting to improve the performance of model-checker based test-case generation.	A-MOST	2007	DBLP DOI BibTeX RDF	LTL rewriting, test-case generation with model-checkers, automated software testing
34	Alberto Dafonte-Gomez, María-Isabel Míguez-González, Xabier Martínez-Rolán	Los fact-checkers iberoamericanos frente a la COVID-19. Análisis de actividad en Facebook / The Ibero-American fact-checkers facing the COVID-19. Analysis of activity on Facebook.	CoRR	2021	DBLP BibTeX RDF
34	Jacek Mandziuk, Magdalena Kusiak, Karol Waledzik	Evolutionary-based heuristic generators for checkers and give-away checkers.	Expert Syst. J. Knowl. Eng.	2007	DBLP DOI BibTeX RDF
34	Gul Muhammad Khan, Julian Francis Miller, David M. Halliday	Coevolution of Neuro-developmental Programs That Play Checkers.	ICES	2008	DBLP DOI BibTeX RDF	Co-evolution of hybrid systems, Artificial Neural Networks, Adaptive computing, Cartesian Genetic Programming
34	Marc Boule, Jean-Samuel Chenard, Zeljko Zilic	Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis.	ISQED	2007	DBLP DOI BibTeX RDF
34	Kyung-Joong Kim 0001, Sung-Bae Cho	Ensemble Evolution of Checkers Players with Knowledge of Opening, Middle and Endgame.	PRICAI	2006	DBLP DOI BibTeX RDF
34	Steffen Tarnick	Embedded Borden 2-UED Code Checkers.	IOLTS	2006	DBLP DOI BibTeX RDF
34	Evan J. Hughes	Checkers using a co-evolutionary on-line evolutionary algorithm.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
34	Nicholas Cooper, Aaron Keatley, Maria Dahlquist, Simon Mann, Hannah Slay, Joanne E. Zucco, Ross T. Smith, Bruce H. Thomas	Augmented Reality Chinese Checkers.	Advances in Computer Entertainment Technology	2004	DBLP DOI BibTeX RDF	computer based board games, augmented reality, tangible interaction, entertainment computing
34	Steffen Tarnick	Self-Testing Embedded Checkers for Bose-Lin, Bose, and a Class of Borden Codes.	DATE	2003	DBLP DOI BibTeX RDF
34	Valery A. Vardanian, Liana B. Mirzoyan	Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check.	DATE	2000	DBLP DOI BibTeX RDF
34	Albrecht P. Stroele, Steffen Tarnick	Programmable Embedded Self-Testing Checkers for All-Unidirectional Error-Detecting Code.	VTS	1999	DBLP DOI BibTeX RDF
34	Steffen Tarnick, Albrecht P. Stroele	Embedded self-testing checkers for low-cost arithmetic codes.	ITC	1998	DBLP DOI BibTeX RDF
34	Yu-Yau Guo, Jien-Chung Lo, Cecilia Metra	Fast and area-time efficient Berger code checkers.	DFT	1997	DBLP DOI BibTeX RDF	Berger code checker, ratioed FET circuit, area-time efficiency, resistive breaks, VLSI, defects, error detection codes, bridges, speed, threshold function, 32 bit, 1.2 micron
34	Steffen Tarnick	Controllable self-checking checkers for conditional concurrent checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
34	Cecilia Metra, Michele Favalli, Piero Olivo, Bruno Riccò	Design of CMOS checkers with improved testability of bridging and transistor stuck-on faults.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	CMOS, testability, Bridging fault, self-checking circuits, checker
34	Jonathan Schaeffer	The games computers play...: perfectly.	SIGCSE	2007	DBLP DOI BibTeX RDF
34	Angelo Ciaramella, Paolo D'Arco, Alfredo De Santis, Clemente Galdi, Roberto Tagliaferri	Neural Network Techniques for Proactive Password Checking.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	neural networks, machine learning, access control, passwords, System security
34	Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari 0001	SAL 2.	CAV	2004	DBLP DOI BibTeX RDF
34	Claus Schröter, Stefan Schwoon, Javier Esparza	The Model-Checking Kit.	ICATPN	2003	DBLP DOI BibTeX RDF
34	Girish Bhat, Rance Cleaveland, Alex Groce	Efficient Model Checking Via Büchi Tableau Automata.	CAV	2001	DBLP DOI BibTeX RDF
34	Ramesh Bharadwaj, Steve Sims	Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.	TACAS	2000	DBLP DOI BibTeX RDF
34	Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich	Using Meta-level Compilation to Check FLASH Protocol Code.	ASPLOS	2000	DBLP DOI BibTeX RDF
34	Vikraman Arvind, K. V. Subrahmanyam 0001, N. V. Vinodchandran	The Query Complexity of Program Checking by Constant-Depth Circuits.	ISAAC	1999	DBLP DOI BibTeX RDF
26	Marc Boule, Zeljko Zilic	Automata-based assertion-checker synthesis of PSL properties.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification
26	Panagiotis Louridas	Static Code Analysis.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	static checkers, software testing, debugging
26	Pavel Parízek, Frantisek Plásil, Jan Kofron	Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker.	SEW	2006	DBLP DOI BibTeX RDF	cooperation of model checkers, model checking, software components, behavior protocols
26	Haralampos-G. D. Stratigopoulos, Yiorgos Makris	An Analog Checker with Input-Relative Tolerance for Duplicate Signals.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	analog checkers, on-line test, analog test, concurrent test
26	Ileana Ober	More Meaningful UML Models.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	complex systems modelling, tool support capabilities, executable semantics, tool vendors, intelligent tools, consistency checkers, semantics definition, UML meta-model, well formedness rules, UML standard, behaviour primitives, ASM transition rules, UML actions, object-oriented programming, specification languages, finite automata, formal semantics, symbolic execution, Abstract State Machines, UML models, programming language semantics, dynamic semantics, static semantics
26	Michael Nicolaidis	Efficient UBIST implementation for microprocessor sequencing parts.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	strongly code disjoint checkers, signature analyser, UBIST, microprocessor sequencing part, BIST, LFSR, self-checking circuits, totally self-checking circuits
26	Shiu-Kai Chin, John Faust, Joseph Giordano	Integrating formal methods tools to support system design.	ICECCS	1995	DBLP DOI BibTeX RDF	formal methods tools integration, top-level process descriptions, gate-level hardware designs, simulators, formal specification, system design, specification languages, specification languages, systems analysis, system engineering, theorem-provers, computer-aided design tools, model checkers
26	Alessandro Armando	Building SMT-Based Software Model Checkers: An Experience Report.	FroCoS	2009	DBLP DOI BibTeX RDF
26	Carlos Arthur Lang Lisbôa, Luigi Carro	XOR-based Low Cost Checkers for Combinational Logic.	DFT	2008	DBLP DOI BibTeX RDF
26	Radek Pelánek	BEEM: Benchmarks for Explicit Model Checkers.	SPIN	2007	DBLP DOI BibTeX RDF
26	Magdalena Kusiak, Karol Waledzik, Jacek Mandziuk	Evolutionary Approach to the Game of Checkers.	ICANNGA (1)	2007	DBLP DOI BibTeX RDF
26	Bor-Yuh Evan Chang, Xavier Rival, George C. Necula	Shape Analysis with Structural Invariant Checkers.	SAS	2007	DBLP DOI BibTeX RDF
26	Kyung-Joong Kim 0001, Sung-Bae Cho	Systematically incorporating domain-specific knowledge into evolutionary speciated checkers players.	IEEE Trans. Evol. Comput.	2005	DBLP DOI BibTeX RDF
26	Radu Iosif, Matthew B. Dwyer, John Hatcliff	Translating Java for Multiple Model Checkers: The Bandera Back-End.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF
26	Marc Boule, Zeljko Zilic	Incorporating Ef.cient Assertion Checkers into Hardware Emulation.	ICCD	2005	DBLP DOI BibTeX RDF
26	Magdalena Kusiak, Karol Waledzik, Jacek Mandziuk	Evolution of Heuristics for Give-Away Checkers.	ICANN (2)	2005	DBLP DOI BibTeX RDF
26	Jacek Mandziuk, Daniel Osman	Temporal Difference Approach to Playing Give-Away Checkers.	ICAISC	2004	DBLP DOI BibTeX RDF
26	Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao	Auto-generating Test Sequences Using Model Checkers: A Case Study.	FATES	2003	DBLP DOI BibTeX RDF
26	Rolf Drechsler	Synthesizing checkers for on-line verification of System-on-Chip designs.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
26	Dinghao Wu, Andrew W. Appel, Aaron Stump	Foundational proof checkers with small witnesses.	PPDP	2003	DBLP DOI BibTeX RDF	proof checker, proof-carrying code
26	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
26	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
26	Kartik Mohanram, Nur A. Touba	Input Ordering in Concurrent Checkers to Reduce Power Consumption.	DFT	2002	DBLP DOI BibTeX RDF