The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for checkers with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1984 (18) 1985-1988 (16) 1989-1990 (20) 1991-1993 (20) 1994-1995 (33) 1996 (21) 1997 (19) 1998 (29) 1999 (31) 2000 (45) 2001 (37) 2002 (66) 2003 (66) 2004 (88) 2005 (67) 2006 (77) 2007 (87) 2008 (85) 2009 (47) 2010 (19) 2011 (15) 2012-2013 (22) 2014-2015 (28) 2016-2017 (26) 2018 (16) 2019 (16) 2020 (28) 2021 (21) 2022 (21) 2023 (21) 2024 (6)
Publication types (Num. hits)
article(286) book(1) incollection(6) inproceedings(810) phdthesis(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 989 occurrences of 575 keywords

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