The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1961-1979 (15) 1981-1984 (16) 1985-1987 (16) 1988-1990 (27) 1991-1992 (24) 1993 (22) 1994 (16) 1995 (22) 1996 (26) 1997 (45) 1998 (57) 1999 (85) 2000 (76) 2001 (105) 2002 (145) 2003 (171) 2004 (214) 2005 (185) 2006 (207) 2007 (244) 2008 (241) 2009 (179) 2010 (52) 2011 (45) 2012 (26) 2013 (49) 2014 (47) 2015 (34) 2016 (57) 2017 (49) 2018 (45) 2019 (45) 2020 (48) 2021 (44) 2022 (56) 2023 (55) 2024 (8)
Publication types (Num. hits)
article(527) book(2) data(1) incollection(7) inproceedings(2251) phdthesis(10)
Venues (Conferences, Journals, ...)
CAV(98) CoRR(76) SPIN(71) TACAS(68) Int. J. Softw. Tools Technol. ...(44) ASE(39) IEEE Trans. Computers(39) ATVA(35) ICFEM(33) FMCAD(27) IEEE Trans. Software Eng.(26) DAC(24) FM(23) ISSTA(22) IOLTS(20) PLDI(20) More (+10 of total 956)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2371 occurrences of 1082 keywords

Results
Found 2804 publication records. Showing 2798 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Joonhyuk Yoo, Manoj Franklin The Filter Checker: An Active Verification Management Approach. Search on Bibsonomy DFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
72Joonhyuk Yoo, Manoj Franklin Hierarchical Verification for Increasing Performance in Reliable Processors. Search on Bibsonomy J. Electron. Test. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Active verification management, Filter checker, Correctness non-critically, Fault tolerance, Performance, Hierarchical verification
63Steven W. Burns, Niraj K. Jha A Totally Self-Checking Checker for a Parallel Unordered Coding Scheme. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF parallel unordered coding scheme, parallel encoding/decoding, information symbols, checkbits, TSC checker, parallel algorithms, built-in self test, logic design, error detection codes, error-detecting codes, concurrent error detection, transient faults, unidirectional errors, totally self-checking checker, unordered codes, self-checking checker
59Stanislaw J. Piestrak Comments on 'Novel Totally Self-Checking Berger Checker Designs Based on Generalized Berger Code Partitioning'. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF TSC Berger code checker, Berger code, totally self-checking circuit, self-testing checker, two-rail code
56Miklós Ajtai The invasiveness of off-line memory checking. Search on Bibsonomy STOC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Marcelo Lubaszewski, Salvador Mir, Vladimir Kolarik, C. Nielsen, Bernard Courtois Design of self-checking fully differential circuits and boards. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
55Axel Dold, Vincent Vialard Formal Verification of a Compiler Back-End Generic Checker Program. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 1999 DBLP  DOI  BibTeX  RDF checker-based program verification, generic specification, formal verification
51Martin 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
51Zhe Dang, Richard A. Kemmerer A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
51R. Suriya, K. Saravanan, Arunkumar Thangavelu An integrated approach to detect phishing mail attacks: a case study. Search on Bibsonomy SIN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF code script checker, domain name checker, linkguard, phishing
51Dimitris 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
49Young-Joo Kim, Daeyoung Kim 0001, Yong-Kee Jun An Empirical Analysis of Intel Thread Checker for Detecting Races in OpenMP Programs. Search on Bibsonomy ACIS-ICIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Thread Checker, Parallel section programs, Parallel loop programs, Verification, OpenMP, Race
47J. Q. Wang, Parag K. Lala Partially Strongly Fault Secure and Partially Strongly Code Disjoint I-out-of-3 Code Checker. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1994 DBLP  DOI  BibTeX  RDF strongly code disjoint, strongly fault secure, code checker, fault tolerance, logic testing, logic design, time delay, combinatorial circuits, circuit reliability, fault secure, self-checking checker
47T. R. N. Rao, Gui Liang Feng, Mahadev S. Kolluru, Jien-Chung Lo Novel Totally Self-Checking Berger Code Checker Designs Based on Generalized Berger Code Partitioning. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF totally self-checking Berger code checker designs, generalized Berger code partitioning, m-out-of-n checker, error correction codes, error detection codes
47Eiji Fujiwara, Nobuo Mutoh, Kohji Matsuoka A Self-Testing Group-Parity Prediction Checker and Its Use for Built-In Testing. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1984 DBLP  DOI  BibTeX  RDF self-verification, error-detection ability, group-parity prediction checker, self-testing, Built-in testing, duplication, self-checking checker, fault-detection ability
45Zhensong Liao, Hai Jin 0001 A RT0-Based Compliance Checker Model for Automated Trust Negotiation. Search on Bibsonomy PAISI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Martin Omaña 0001, Daniele Rossi 0001, Cecilia Metra High Speed and Highly Testable Parallel Two-Rail Code Checker. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Cecilia Metra, Michele Favalli, Bruno Riccò Highly testable and compact single output comparator. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF comparators (circuits), single output comparator, self-checking n-input comparator, n-variable two-rail checker, equality checker, strongly code-disjoint, input code words, embedded comparators, VLSI, fault detection, totally-self-checking
43Christopher T. Weaver, Todd M. Austin A Fault Tolerant Approach to Microprocessor Design. Search on Bibsonomy DSN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
43Adam J. Lee, Marianne Winslett Towards an efficient and language-agnostic compliance checker for trust negotiation systems. Search on Bibsonomy AsiaCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compliance checker, satisfying sets, policy, trust negotiation
43Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga A Trustworthy Proof Checker. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF proof checker, proof-carrying code
43Michele Favalli, Cecilia Metra Single Output Distributed Two-Rail Checker with Diagnosing Capabilities for Bus Based Self-Checking Architectures. Search on Bibsonomy J. Electron. Test. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF bus based systems, on-line testing, two-rail checker
43Gosta Pada Biswas, Idranil Sen Gupta Generalized modular design of testable m-out-of-n code checker. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF testable m-out-of-n code checker, combinational logic port, combinational logic cells, unidirectional faults, complementary outputs, VLSI, fault diagnosis, logic testing, cellular automata, combinational circuits, fault location, stuck-at faults, logic arrays, cellular automaton, modular design, iterative array, initial state
40Saksham Checker, Nikhil Churamani, Hatice Gunes Federated Learning of Socially Appropriate Agent Behaviours in Simulated Home Environments. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
40Siavash Khaksar, Luke Checker, Bita Borazjani, Iain Murray 0002 Design and Evaluation of an Alternative Control for a Quad-Rotor Drone Using Hand-Gesture Recognition. Search on Bibsonomy Sensors The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
40Ravish, Rahul Katarya, Deepak Dahiya, Saksham Checker Fake News Detection System Using Featured-Based Optimized MSVM Classification. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Glen D. Johnson, Melissa Checker, Scott Larson, Hanish Kodali A small area index of gentrification, applied to New York City. Search on Bibsonomy Int. J. Geogr. Inf. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
40Juhi Checker, Shaunak De, Varsha Turkar, Gulab Singh Performance Impact of $JP2$ Compression on Semantic Segmentation of PolSAR Images. Search on Bibsonomy IGARSS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
40A. K. Checker, R. Appavu Raj Database architecture for data mining to aid real-time range safety decision in a test range. Search on Bibsonomy Data Mining, Intrusion Detection, Information Assurance, and Data Networks Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Mike Mcfarland, Samer Salam, Ripin Checker Ethernet OAM: key enabler for carrier class metro ethernet services. Search on Bibsonomy IEEE Commun. Mag. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Benoît Boyer, Thomas Genet, Thomas P. Jensen Certifying a Tree Automata Completion Checker. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Gordon 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
39Haralampos-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
39Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan The Maude LTL Model Checker and Its Implementation. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Haralampos-G. D. Stratigopoulos, Yiorgos Makris An Analog Checker With Input-Relative Tolerance for Duplicate Signals. Search on Bibsonomy IOLTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Jimson Mathew, Elena Dubrova Self-Checking 1-out-of-n CMOS Current-Mode Checker. Search on Bibsonomy DFT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Marsha Chechik, Benet Devereux, Steve M. Easterbrook Implementing a Multi-valued Symbolic Model Checker. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Niraj K. Jha A totally self-checking checker for Borden's code. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
39Valery A. Vardanian Exact probabilistic analysis of error detection for parity checkers. Search on Bibsonomy VTS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF circuit under check, multi-output supergate, combinational CUC, restricted observability, restricted detectability, concurrent checker, latency, error detection, combinational circuits, probabilistic analysis, single stuck-at fault, parity checker
37Matthew Chu, Sampath Kannan, Andrew McGregor 0001 Checking and Spot-Checking the Correctness of Priority Queues. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Kartik 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
37Greg Nelson Extended Static Checking for Java. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Gerard J. Holzmann, Rajeev Joshi Model-Driven Software Verification. Search on Bibsonomy SPIN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Kedar S. Namjoshi Certifying Model Checkers. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Michael 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
37Mi-young Kang, Ae-sun Yoon, Hyuk-Chul Kwon Improving partial parsing based on error-pattern analysis for a Korean grammar-checker. Search on Bibsonomy ACM Trans. Asian Lang. Inf. Process. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Korean grammar checker, error-pattern analysis, parsing triggering condition, text preprocessing, language, parsing, linguistic analysis, partial parsing
37Pietro Iglio TrustedBox: A Kernel-Level Integrity Checker. Search on Bibsonomy ACSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF integrity checker
37Cecilia Metra, Michele Favalli, Bruno Riccò Highly Testable and Compact 1-out-of-n Code Checker with Single Output. Search on Bibsonomy DATE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF 1-out-of-n code, Self-checking circuit, checker
37Riccardo Focardi, Roberto Gorrieri, V. Panini The security checker: a semantics-based tool for the verification of security properties. Search on Bibsonomy CSFW The full citation details ... 1995 DBLP  DOI  BibTeX  RDF security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
35Aynur Abdurazik, Paul Ammann, Wei Ding 0003, A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF PROBSUBSUMES measure, specification-mutation coverage, full predicate coverage, transition-pair coverage, program testing, specification-based testing, testing criteria, model checker
33David Hopkins 0002, C.-H. Luke Ong Homer: A Higher-Order Observational Equivalence Model checkER. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Shang Ma, Jianhao Hu, Lin Zhang, Xiang Ling 0002 An efficient RNS parity checker for moduli set {2 n - 1, 2 n + 1, 22 n + 1} and its applications. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF number comparison, sign determination, overflow detection, VLSI, RNS, parity check
33Mayur Naik, Jens Palsberg A type system equivalent to a model checker. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model checking, type systems
33Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova ProbDiVinE: A Parallel Qualitative LTL Model Checker. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Marc Boule, Zeljko Zilic Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Lars-Åke Fredlund, Hans Svensson McErlang: a model checker for a distributed functional programming language. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Gordon Fraser 0001, Franz Wotawa Nondeterministic Testing with Linear Model-Checker Counterexamples. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Bo Wang, Cornelis Pronk Design and implementation of a GUI for the TLC model checker. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF GraphViz, TLC, model checking, GUI, temporal logic, SML, TLA+
33Thuan Quang Huynh, Abhik Roychoudhury A Memory Model Sensitive Checker for C#. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Pavel 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
33Steffen 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
33Kazuhiro Ogata 0001, Kokichi Futatsugi Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lockout freedom property, mutual exclusion property, model checking, rewriting logic, counterexample
33Mayur Naik, Jens Palsberg A Type System Equivalent to a Model Checker. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Haralampos-G. D. Stratigopoulos, Yiorgos Makris An Analog Checker with Dynamically Adjustable Error Threshold for Fully Differential Circuits. Search on Bibsonomy VTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia A Modular Checker for Multithreaded Programs. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Gafurov Davrondjon, Tomasz Janowski Developing a Spell-Checker for Tajik Using RAISE. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Javier Esparza, Stefan Schwoon A BDD-Based Model Checker for Recursive Programs. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Albrecht 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
33Victoria J. Hodge, Jim Austin A Comparison of Standard Spell Checking Algorithms and a Novel Binary Neural Approach. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Binary neural spell checker, integrated modular spell checker, associative matching
33Dimitris Nikolos Optimal Self-Testing Embedded Parity Checkers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Parity tree, embedded self-testing circuits, self-testing, two-rail checker, parity checker
31Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst Practical pluggable types for java. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
31Yunja Choi, Mats Per Erik Heimdahl Combination Model Checking: Approach and a Case Study. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata Extended Static Checking for Java. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF compile-time program checking
31Ping Gao, Robert Esser Polymorphic CSP Type Checking. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Todd M. Austin DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design. Search on Bibsonomy MICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Steffen 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
31Wen-Feng Chang, Cheng-Wen Wu Low-Cost Modular Totally Self-Checking Checker Design for m-out-of-n Code. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Fault tolerance, logic testing, on-line testing, totally-self-checking checker, m-out-of-n code
31Amir A. Khwaja Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF design rule checker, design rule checking systems, electronic design automation tools, semiconductor technology, DRC systems, DRC module, IC package design tool, object oriented modeling technique, abstraction, inheritance, extensibility, object oriented modeling, encapsulation, circuit CAD, dynamic binding, EDA tool
31Dali L. Tao, Carlos R. P. Hartmann, Parag K. Lala A General Technique for Designing Totally Self-Checking Checker for 1-out-of-N Code with Minimum Gate Delay. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF 1-out-of-N code, minimum gate delay, NOR array, NOR-NOR PLA, fault tolerant computing, logic testing, delays, logic design, translator, error detection codes, logic arrays, totally self-checking checker
31Antonis M. Paschalis, Costas Efstathiou, Constantine Halatsis An Efficient TSC 1-out-of-3 Code Checker. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF TSC 1-out-of-3 code checker, combinational totally self-checking, logic testing, logic design, automatic testing, integrated logic circuits
31James W. Watterson, Jill J. Hallenbeck Modulo 3 Residue Checker: New Results on Performance and Cost. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF modulo-3 residue code checker, pipelined serial multiplier, concurrent self-test, minimum error latency, multiplier input operands, 4- mu m NMOS, standard cell design, performance evaluation, integrated circuit testing, error detection, automatic testing, digital arithmetic, pipeline processing, multiplying circuits, built in test, field effect integrated circuits, error detection coverage
31Javad Khakbaz Totally Self-Checking Checker for 1-out-of-n Code Using Two-Rail Codes. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1982 DBLP  DOI  BibTeX  RDF code disjoint, 1-out-of-n code, programmable logic array (PLA) totally self-checking (TSC), Checker, two-rail code
29Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou A Formal Theory of Cooperative TU-Games. Search on Bibsonomy MDAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF automated proof checker, formalization, cooperative games
29Daniele 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
29Martin Mutz Metriken und Regeln für eine zustandsbasierte SW-Entwicklung im Automobilbereich. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Modelling guidelines, Rule checker, UML, Software metrics, Statecharts, Automotive
29Xinming Tan, Yingxu Wang 0001, Cyprian F. Ngolah Specification of the RTPA Grammar and Its Recognition. Search on Bibsonomy IEEE ICCI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF descriptive mathematics, grammar recognition, LL(k), type checker, software engineering, formal methods, Cognitive informatics, parser, system behaviors, human behaviors, RTPA
29Colin D. Walter Data Integrity in Hardware for Modular Arithmetic. Search on Bibsonomy CHES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF checker circuit, fault tolerance, testing, cryptography, data integrity, RSA, Computer arithmetic, correctness, error correction, soft errors, Montgomery multiplication, modular multiplication, modular exponentiation
29Colin D. Walter Montgomery's Multiplication Technique: How to Make It Smaller and Faster. Search on Bibsonomy CHES The full citation details ... 1999 DBLP  DOI  BibTeX  RDF higher radix methods, checker function, fault tolerance, testing, cryptography, RSA, Computer arithmetic, systolic arrays, error correction, differential power analysis, DPA, Montgomery modular multiplication
29Egor S. Sogomonyan, Michael Gössel Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF circuit feedback, concurrently self-testing embedded checker, ultra-reliable fault-tolerant system, parity codes, design, monitoring, built-in self test, integrated circuit testing, linear feedback shift register, error detection codes, error detection code, shift registers, arithmetic codes, Berger codes, duplication codes, integrated circuit reliability, corrector
28Md Abdullah Shahneous Bari, Ujjwal Arora, Varun Hegde, Tony Curtis, Barbara M. Chapman OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM. Search on Bibsonomy ISPDC The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker. Search on Bibsonomy ISSRE Workshops The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
28Flora Ramírez Bustamante, Alfredo Arnaiz, Mar Ginés A Spell Checker for a World Language: The New Microsoft's Spanish Spell Checker. Search on Bibsonomy LREC The full citation details ... 2006 DBLP  BibTeX  RDF
27Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan Line-up: a complete and automatic linearizability checker. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF thread safety, atomicity, linearizability
27Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001 A Lazy Unbounded Model Checker for Event-B. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27George O. M. Yee An Automatic Privacy Policy Agreement Checker for E-services. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto Verifying networked programs using a model checker extension. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Sebastian Mödersheim, Luca Viganò 0001 The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols. Search on Bibsonomy FOSAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Sotirios Matakias, Yiorgos Tsiatouhas, Themistoklis Haniotakis, Angela Arapoyanni A Current Mode, Parallel, Two-Rail Code Checker. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Luis Martinez-Gomez, Thierry Fraichard An efficient and generic 2D Inevitable Collision State-checker. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Barry Long, Jürgen Dingel, T. C. Nicholas Graham Experience applying the SPIN model checker to an industrial telecommunications system. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, formal methods, experience report
Displaying result #1 - #100 of 2798 (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