The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1961-1977 (15) 1978-1983 (19) 1984-1985 (17) 1986-1987 (23) 1988 (25) 1989-1990 (42) 1991-1992 (43) 1993 (28) 1994 (38) 1995 (41) 1996 (35) 1997 (39) 1998 (51) 1999 (48) 2000 (65) 2001 (75) 2002 (91) 2003 (120) 2004 (167) 2005 (200) 2006 (249) 2007 (291) 2008 (295) 2009 (164) 2010 (47) 2011 (32) 2012 (37) 2013 (38) 2014 (33) 2015 (32) 2016 (54) 2017 (45) 2018 (76) 2019 (50) 2020 (41) 2021 (48) 2022 (37) 2023 (32) 2024 (9)
Publication types (Num. hits)
article(837) incollection(16) inproceedings(1927) phdthesis(11) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2153 occurrences of 1457 keywords

Results
Found 2792 publication records. Showing 2792 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
21Jeff Orchard Efficient Least Squares Multimodal Registration With a Globally Exhaustive Alignment Search. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Yang Wang 0001, Simon Lucey, Jeffrey F. Cohn Non-Rigid Object Alignment with a Mismatch Template Based on Exhaustive Local Search. Search on Bibsonomy ICCV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Masahiro Tomono Monocular SLAM Using a Rao-Blackwellised Particle Filter with Exhaustive Pose Space Search. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21S. Y. Zhao, Kwok Yip Szeto Combining exhaustive search with evolutionary computation via computational resource allocation. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Jeff Leuschner, Shahram Yousefi On the ML decoding of quasi-orthogonal space-time block codes via sphere decoding and exhaustive search. Search on Bibsonomy IWCMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF maximum-likelihood decoding, maximum-likelihood metric, quasi-orthogonal space-time block codes, sphere decoding
21Nan Yang, Songxiang Lin, Qiang Gao An Exhaustive and Edge-Removal Algorithm to Find Cores in Implicit Communities. Search on Bibsonomy APWeb/WAIM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Complete Bipartite Graph, Link analysis, Web communities
21Yasuaki Ito, Koji Nakano Cluster-dot Screening by Local Exhaustive Search with Hardware Accelaration. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Kyoung Youn Cho, Edward J. McCluskey Test Set Reordering Using the Gate Exhaustive Test Metric. Search on Bibsonomy VTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Martin Atzmüller, Frank Puppe SD-Map - A Fast Algorithm for Exhaustive Subgroup Discovery. Search on Bibsonomy PKDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Fabian Mörchen, Ingo Mierswa, Alfred Ultsch Understandable models Of music collections based on exhaustive feature generation with temporal statistics. Search on Bibsonomy KDD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF music mining, logistic regression, meta learning, genre classification, feature generation
21Sascha Losko, Karsten Wenger, Wenzel Kalus, Andrea Ramge, Jens Wiehler, Klaus Heumann Knowledge Networks of Biological and Medical Data: An Exhaustive and Flexible Solution to Model Life Science Domains. Search on Bibsonomy DILS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Igor Radusinovic, Zoran Veljovic Performance analysis of Exhaustive Limited Service Round Robin Matching Algorithm. Search on Bibsonomy ICN/ICONS/MCL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Baptiste Alcalde, Ana R. Cavalli Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. Search on Bibsonomy ICN/ICONS/MCL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21D. Richard Kuhn, Vadim Okun Pseudo-Exhaustive Testing for Software. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software testing, automated testing, combinatorial testing
21David Lin, Paul Chau Human Vision System Aware Exhaustive Block-Matching Algorithm. Search on Bibsonomy ICME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Steve Green, Michael Blumenstein An Exhaustive Search Strategy for Detecting Persons in Beach Scenes using Digital Video Imagery and Neural Network-based Classification. Search on Bibsonomy IJCNN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Ruifeng Guo, Subhasish Mitra, M. Enamul Amyeen, Jinkyu Lee, Srihari Sivaraj, Srikanth Venkataraman Evaluation of Test Metrics: Stuck-at, Bridge Coverage Estimate and Gate Exhaustive. Search on Bibsonomy VTS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan Software Assurance by Bounded Exhaustive Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Formal methods, program verification, testing and debugging
21Francisco Gomez-Rodriguez, Rafael Paz, Lourdes Miro-Amarante, Alejandro Linares-Barranco, Gabriel Jiménez, Antón Civit Two Hardware Implementations of the Exhaustive Synthetic AER Generation Method. Search on Bibsonomy IWANN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Robert Fergus, Pietro Perona, Andrew Zisserman A Sparse Object Category Model for Efficient Learning and Exhaustive Recognition. Search on Bibsonomy CVPR (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Jin Soo Noh, Chang Gyun Park, Kang Hyeon Rhee Path Sensitization and Sub-circuit Partition of CUT Using t-Distribution for Pseudo-exhaustive Testing. Search on Bibsonomy AsiaSim The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Joselíto J. Chua, Asha Rao An Image-Guided Heuristic for Planning an Exhaustive Enumeration. Search on Bibsonomy HIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Luigi Di Stefano, Stefano Mattoccia, Federico Tombari An Algorithm for Efficient and Exhaustive Template Matching. Search on Bibsonomy ICIAR (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Dimitri Kagaris, Spyros Tragoudas LFSR Characteristic Polynomials for Pseudo-Exhaustive TPG with Low Number of Seeds. Search on Bibsonomy J. Electron. Test. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF built-in self-test (BIST), Linear Feedback Shift Registers (LFSR), test pattern generation (TPG)
21Alberto Del Lungo, Andrea Frosini, Simone Rinaldi ECO Method and the Exhaustive Generation of Convex Polyominoes. Search on Bibsonomy DMTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Vicente Arnau, Ignacio Marín 0001 A Fast Algorithm for the Exhaustive Analysis of 12-Nucleotide-Long DNA Sequences. Applications to Human Genomics. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
21Alistair John Fitch, Alexander Kadyrov, William J. Christmas, Josef Kittler Fast Exhaustive Robust Matching. Search on Bibsonomy ICPR (3) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Chang-Ki Kwon, Kwyro Lee Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Agassi Z. Melikov, Dervis Z. Deniz Non-Exhaustive Channel Access Strategy in Multi-Resource Communication Systems with Non-Homogeneous Traffic. Search on Bibsonomy ISCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Channel access, reserves of channels, design and optimization algorithm
21Anand Desai The Security of All-or-Nothing Encryption: Protecting against Exhaustive Key Search. Search on Bibsonomy CRYPTO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Jürg Nievergelt Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. Search on Bibsonomy SOFSEM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Bassam Shaer, Sami A. Al-Arian, David L. Landis Pseudo-Exhaustive Testing of Sequential Circuits. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Muhammed Z. Coban, Russell M. Mersereau A fast exhaustive search algorithm for rate-constrained motion estimation. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Wen-Ben Jone, Jiann-Chyi Rau, Shih-Chieh Chang, Yu-Liang Wu A tree-structured LFSR synthesis scheme for pseudo-exhaustive testing of VLSI circuits. Search on Bibsonomy ITC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
21Joe Kilian, Phillip Rogaway How to Protect DES Against Exhaustive Key Search. Search on Bibsonomy CRYPTO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Dimitrios Kagaris, Spyros Tragoudas, Dinesh Bhatia Pseudo-exhaustive built-in TPG for sequential circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
21Ted Stanion, Debashis Bhattacharya, Carl Sechen An efficient method for generating exhaustive test sets. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
21Dimitrios Kagaris, Fillia Makedon, Spyros Tragoudas A method for pseudo-exhaustive test pattern generation. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
21Thyagaraju R. Damarla, Avinash Sathaye Applications of one-dimensional cellular automata and linear feedback shift registers for pseudo-exhaustive testing. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Wen-Ben Jone, Sunil R. Das Multiple-output parity bit signature for exhaustive testing. Search on Bibsonomy J. Electron. Test. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF test response analyzer, Built-in self-test (BIST), design for testability
21Michael G. Burke An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21Eleanor Wu, Paul W. Rutkowski PEST: a tool for implementing pseudo-exhaustive self test. Search on Bibsonomy EURO-DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21Sheldon B. Akers A parity bit signature for exhaustive testing. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
21David W. Krumme, David H. Ackley A Practical Method for Code Generation Based on Exhaustive Search. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
18Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
18Matthew A. Addicoat, Zoe E. Brain Using a Meta-GA for parametric optimization of simple gas in the computational chemistry domain. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF carnosine, genetic algorithm parameter optimization, meta-genetic algorithms, potential energy surface, pyevolve, genetic algorithms, evolutionary computation, conformers, parameter tuning, agile programming, peptides
18Shreeram Sigdel, Witold A. Krzymien Simplified user scheduling and mode selection algorithm for multiuser MIMO systems with limited-feedback CSIT linear precoding. Search on Bibsonomy IWCMC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF limited-feedback CSIT, linear precoding, multiuser MIMO wireless systems, user scheduling
18Alberto Barrón-Cedeño, Paolo Rosso, José-Miguel Benedí Reducing the Plagiarism Detection Search Space on the Basis of the Kullback-Leibler Distance. Search on Bibsonomy CICLing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Todd R. Andel, Alec Yasinsac Automated Evaluation of Secure Route Discovery in MANET Protocols. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin Efficient Genome Wide Tagging by Reduction to SAT. Search on Bibsonomy WABI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Gil Zussman, Adrian Segall, Uri Yechiali On the Analysis of the Bluetooth Time Division Duplex Mechanism. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Young Wook Sohn, Moon Gi Kang Block-Based Motion Vector Smoothing for Periodic Pattern Region. Search on Bibsonomy ICIAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Vo Ngoc Anh, Alistair Moffat Pruned query evaluation using pre-computed impacts. Search on Bibsonomy SIGIR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Shiyi Xu Pseudo-Parity Testing with Testable Design. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery Software performance testing using covering arrays: efficient screening designs with categorical factors. Search on Bibsonomy WOSP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF D-optimal designs, performance testing, covering arrays
18Jens Chr. Godskesen Connectivity Testing. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded systems, testing, fault models, automatic test generation
18D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo Software Fault Interactions and Implications for Software Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Maneli Noorkami, Faramarz Fekri A Fast Correlation Attack via Unequal Error Correcting LDPC Codes. Search on Bibsonomy CT-RSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF cryptanalysis, Stream ciphers, linear feedback shift registers, fast correlation attacks, LDPC codes
18Julián Dorado, Antonino Santos, Juan R. Rabuñal, Nieves Pedreira, Alejandro Pazos Hybrid Two-Population Genetic Algorithm. Search on Bibsonomy Fuzzy Days The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Eli Biham, Vladimir Furman Improved Impossible Differentials on Twofish. Search on Bibsonomy INDOCRYPT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Twofish, cryptanalysis, impossible differential
18Huan Liu 0001, Hiroshi Motoda, Manoranjan Dash A Monotonic Measure for Optimal Feature Selection. Search on Bibsonomy ECML The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
18Bruce F. Cockburn Deterministic tests for detecting singleV-coupling faults in RAMs. Search on Bibsonomy J. Electron. Test. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF V-coupling faults, lower bounds, Functional tests, pattern-sensitive faults, RAM testing
18Eli Biham, Alex Biryukov How to Strengthen DES Using Existing Hardware. Search on Bibsonomy ASIACRYPT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
17Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid Optimizing a Structural Constraint Solver for Efficient Software Checking. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Software Testing, Bounded Exhaustive Testing
17Wolfgang Stein, Oliver Straub, Jessica Ausborn, Wolfgang Mader 0003, Harald Wolf Motor pattern selection by combinatorial code of interneuronal pathways. Search on Bibsonomy J. Comput. Neurosci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Physiological simulations, Stick insect, Combinatorial code, Movement control, Sensory feedback, Exhaustive search, Neuronal network, Posture control
17Tobias Kreisel, Sascha Kurz There Are Integral Heptagons, no Three Points on a Line, no Four on a Circle. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Integral distances, Orderly generation, Solution to an Erd?s problem, Exhaustive search
17Jonathan Billington, Smit Saboo An investigation of credit-based flow control protocols. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exhaustive simulation, flow control, coloured petri nets
17Maher E. Rizkalla, Paul Salama, Mohamed El-Sharkawy 0001, Modukuri Sushmitha Hardware Implementation of Block-based Motion Estimation for Real Time Applications. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fast search algorithms, exhaustive search algorithm, VHDL implementation, VLSI, motion estimation, finite state machine
17Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov Automated testing of refactoring engines. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF imperative generators, refactoring engines, automated testing, test data generation, bounded-exhaustive testing
17Claus Vielhauer, Maik Schott Nested object watermarking: from the rectangular con-straint to polygonal and private annotations. Search on Bibsonomy MM&Sec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hierarchical objects, image processing, access control, synchronization, watermarking, exhaustive search, hierarchical trees
17Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson In search of near-optimal optimization phase orderings. Search on Bibsonomy LCTES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF genetic algorithms, exhaustive search, phase ordering
17Fabio Fassetti, Gianluigi Greco, Giorgio Terracina Efficient discovery of loosely structured motifs in biological data. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF exhaustive algorithms, frequent structured patterns, keyword trees
17Sviatoslav Voloshynovskiy, Oleksiy J. Koval, Emre Topak, José-Emilio Vila-Forcén, Thierry Pun On reversibility of random binning based data-hiding techniques: security perspectives. Search on Bibsonomy MM&Sec The full citation details ... 2006 DBLP  DOI  BibTeX  RDF random binning, security leakage analysis, cryptography, information theory, data-hiding, reversibility, exhaustive search
17Matej Crepinsek, Marjan Mernik, Viljem Zumer Extracting grammar from programs: brute force approach. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2005 DBLP  DOI  BibTeX  RDF learning from positive and negative examples, exhaustive search, grammar induction, grammar inference
17David Coppit, Jiexin Lian yagg: an easy-to-use generator for structured test inputs. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF grammar-based input generation, bounded exhaustive testing
17Jelena V. Misic, Vojislav B. Misic Performance of Bluetooth Piconets with Finite Buffers. Search on Bibsonomy QSHINE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Bluetooth piconet, queues with vacations, limited service scheduling, exhaustive service scheduling, Bluetooth, queueing analysis
17Xiannong Fu, Yi Pan 0001, Anu G. Bourgeois, Pingzhi Fan A Three-Stage Heuristic Combined Genetic Algorithm Strategy to the Channel-Assignment Problem. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Dynamic channel assignment, cellular mobile communications, Philadelphia problem, frequency exhaustive assignment, genetic algorithms
17Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF DJ graphs, Tarjan's interval, exhaustive and incremental data flow analysis, irreducible flowgraphs, reducible flowgraphs
17Radovan Krtolica Learning Character Recognition by Localized Interpretation of Character-Images. Search on Bibsonomy ICIP (3) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF icr, instance-based machine learning, localized interpretation, box connectivity approach, lossless encoding of bilevel character-images, exhaustive comparison algorithm, feature extraction, look-up tables
17Kwame Osei Boateng, Hiroshi Takahashi, Yuzo Takamatsu Design of C-Testable Multipliers Based on the Modified Booth Algorithm. Search on Bibsonomy Asian Test Symposium The full citation details ... 1997 DBLP  DOI  BibTeX  RDF modified Booth Algorithm, c-testable design, design for testability, multiplier, exhaustive testing, cell fault model
17Chih-Ang Chen, Sandeep K. Gupta 0001 BIST Test Pattern Generators for Two-Pattern Testing-Theory and Design Algorithms. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Built-in self-test, cellular automata, linear feedback shift register, test pattern generator, two-pattern testing, pseudo-exhaustive testing
17Daniel Jackson 0001, Craig Damon Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing
17Moni Naor, Leonard J. Schulman, Aravind Srinivasan Splitters and Near-Optimal Derandomization. Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF splitters, near-optimal derandomization, fairly general method, k-restrictions, probabilistic bound, near-optimal constructions, fixed-subgraph finding algorithms, deterministic constructions, local-coloring protocol, computational complexity, learning, probability, computational linguistics, hardness of approximation, set cover, derandomization, randomised algorithms, exhaustive testing
17Irith Pomeranz, Sudhakar M. Reddy Testing of Fault-Tolerant Hardware Through Partial Control of Inputs. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fault-tolerant hardware, redundant digital systems, critical input set problem, circuit description, fault tolerant computing, testing strategies, computer testing, deterministic testing, exhaustive testing
17Thomas Siegenthaler Decrypting a Class of Stream Ciphers Using Ciphertext Only. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1985 DBLP  DOI  BibTeX  RDF pseudonoise generator, exhaustive trials, cryptanalysis, Correlation
17John Paul Shen, F. Joel Ferguson The Design of Easily Tastabel VLSI Array Multipliers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1984 DBLP  DOI  BibTeX  RDF design for testability, VLSI testing, Array multipliers, C-testability, exhaustive testing
17Edward J. McCluskey, Saied Bozorgui-Nesbat Design for Autonomous Test. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1981 DBLP  DOI  BibTeX  RDF CMOS testing, partitioning, design for testability, test pattern generation, self-test, Built-in test, signature analysis, VLSI testing, stuck- open faults, exhaustive testing
17Theodore F. Tabloski, Frederic J. Mowle A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1976 DBLP  DOI  BibTeX  RDF Implicitly exhaustive search, logic design automation, minimization algorithm, modular logic arrays, multiplexer universal logic module (MULM), Shannon's expansion, universal logic module (ULM), multiplexer, numerical technique
17Manfred Kochen An experimental computer program for hypothesis selection. Search on Bibsonomy Commun. ACM The full citation details ... 1961 DBLP  DOI  BibTeX  RDF cognitive mechanisms, computer programs for concept formation, minimization of switching circuits, non-exhaustive searching, pattern identification, automatic classification
15Fernanda G. O. Passos, Vinod E. F. Rebello An autonomic parallel strategy for exhaustive search tree algorithms on shared or heterogeneous systems. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15B. Madhushree, Halaguru Basavarajappa Basanth Kumar, H. R. Chennamma An exhaustive review of authentication, tamper detection with localization and recovery techniques for medical images. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Kongze Li Improved RFID mutual authentication protocol against exhaustive attack in the context of big data. Search on Bibsonomy EURASIP J. Inf. Secur. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Shahaf Arica, Or Rubin, Sapir Gershov, Shlomi Laufer CuVLER: Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Qingxiu Dong, Guangyan Zhou, Ke Xu 0001 Further Explanations on "SAT Requires Exhaustive Search". Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Pamela Zoghby, Bogdan Marinescu, Antoine Rossé, Grégoire Prime Exhaustive Classification and Quantification of Coupling Modes in Power Systems with Power Electronics. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Wei Wu, Hongzhi Xie, Shuyang Zhang, Lixu Gu Exhaustive matching of 3D/2D coronary artery structure based on imperfect segmentations. Search on Bibsonomy Int. J. Comput. Assist. Radiol. Surg. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001 Exhaustive property oriented model-based testing with symbolic finite state machines. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Liming Nie, Kabir Sulaiman Said, Ming Hu SoK: An Exhaustive Taxonomy of Display Issues for Mobile Applications. Search on Bibsonomy IUI The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
15Mohamed Atef Mosa An Exhaustive Literature Review of Hadith Text Mining. Search on Bibsonomy ACM Trans. Asian Low Resour. Lang. Inf. Process. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 2792 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][>>]
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