Search results for "exhaustive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Debaleena Das, Mark G. Karpovsky	Exhaustive and Near-Exhaustive Memory Testing Techniques and their BIST Implementations.	J. Electron. Test.	1997	DBLP DOI BibTeX RDF	exhaustive codes, near-exhaustive codes, built-in self-test, memory testing, pattern sensitive faults
45	Byung Cheol Song, Myung Jun Kim, Jong Beom Ra	A Fast Descriptor Matching Algorithm for Exhaustive Search in Large Databases.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
44	Yuanjin Xu, Guangdao Hu, Zhijun Chen	Application of Spectral Exhaustive Method for Object Identification and Mapping Using EO-1 Hyperion Data.	FSKD (2)	2007	DBLP DOI BibTeX RDF	The spectral exhaustive method (SEM), Object identification, Hyperspectral image
44	Tsuyoshi Katayama	Priority queues with semi-exhaustive service.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	semi-exhaustive service, multiple/single vacation, delay cycle analysis, Priority queue
44	Samir Lejmi, Bozena Kaminska, Bechir Ayari	Retiming, resynthesis, and partitioning for the pseudo-exhaustive testing of sequential circuits.	VTS	1995	DBLP DOI BibTeX RDF	segmentation cells, segmentation edges, logic testing, partitioning, timing, sequential circuits, sequential circuits, iterative methods, circuit analysis computing, retiming, iterative algorithm, circuit optimisation, logic partitioning, logic optimization, resynthesis, synchronous circuits, pseudo-exhaustive testing
39	Jiann-Chyi Rau, Kuo-Chun Kuo	An Enhanced Tree-Structured Scan Chain for Pseudo-Exhaustive Testing of VLSI Circuits.	IWSOC	2003	DBLP DOI BibTeX RDF
39	David A. Rosenblueth	An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
39	Hou-Mei Chang	Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
38	Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson	Practical exhaustive optimization phase order exploration and evaluation.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	exhaustive search, Phase ordering, iterative compilation
38	S. S. Siwpersad, Bamba Gueye, Steve Uhlig	Assessing the Geographic Resolution of Exhaustive Tabulation for Geolocating Internet Hosts.	PAM	2008	DBLP DOI BibTeX RDF	exhaustive tabulation, geolocation, active measurements
38	Wesley W. Terpstra, Jussi Kangasharju, Christof Leng, Alejandro P. Buchmann	Bubblestorm: resilient, probabilistic, and exhaustive peer-to-peer search.	SIGCOMM	2007	DBLP DOI BibTeX RDF	simulation, peer-to-peer, resilience, exhaustive search
38	Robert van Rooij, Katrin Schulz	Exhaustive Interpretation of Complex Sentences.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription
38	Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001	Software assurance by bounded exhaustive testing.	ISSTA	2004	DBLP DOI BibTeX RDF	TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing
38	Jelena V. Misic, Vojislav B. Misic	Performance of Bluetooth Bridges in Scatternets With Exhaustive Service Scheduling.	HICSS	2003	DBLP DOI BibTeX RDF	Bluetooth Bluetooth scatternet Master/Slave bridge Slave/Slave bridge queues with vacations exhaustive service scheduling
38	Muhammed Z. Coban, Russell M. Mersereau	Computationally Efficient Exhaustive Search Algorithm for Rate-Constrained Motion Estimation.	ICIP (1)	1997	DBLP DOI BibTeX RDF	exhaustive search algorithm, rate-constrained motion estimation, search window, rate-distortion criterion, rate constraint, block matching calculations, motion estimation, video coding, motion vectors, computationally efficient algorithm
38	Günter Kemnitz	Synthesis of locally exhaustive test pattern generators.	VTS	1995	DBLP DOI BibTeX RDF	locally exhaustive TPG, linear sum computation, TPG synthesis, logic testing, integrated circuit testing, automatic testing, test pattern generators
36	Dimitrios Kagaris, Spyros Tragoudas	Pseudoexhaustive TPG with a Provably Low Number of LFSR Seeds.	ICCD	2000	DBLP DOI BibTeX RDF
35	Jelena V. Misic, Vojislav B. Misic	On Delay Times in a Bluetooth Piconet: The Impact of Different Scheduling Policies.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF	Bluetooth piconet, queues with vacations, limited service scheduling, exhaustive service scheduling, Bluetooth, queueing analysis
35	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
33	Vilas Jagannath, Yun Young Lee, Brett Daniel, Darko Marinov	Reducing the Costs of Bounded-Exhaustive Testing.	FASE	2009	DBLP DOI BibTeX RDF
33	Martín Hötzel Escardó	Infinite sets that admit fast exhaustive search.	LICS	2007	DBLP DOI BibTeX RDF	Higher-type computability and complexity, Kleene-Kreisel functionals, topology, Haskell, PCF
33	Yasuaki Ito, Koji Nakano	FM Screening by the Local Exhaustive Search, with Hardware Acceleration.	IPDPS	2004	DBLP DOI BibTeX RDF
33	Dimitrios Kagaris, Spyros Tragoudas	LFSR/SR Pseudo-Exhaustive TPG in Fewer Test Cycles.	DFT	1999	DBLP DOI BibTeX RDF
33	Wen-Ben Jone, Christos A. Papachristou	A coordinated circuit partitioning and test generation method for pseudo-exhaustive testing of VLSI circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
33	Chien-In Henry Chen, Joel T. Yuen	Automated synthesis of pseudo-exhaustive test generator in VLSI BIST design.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
33	Thomas Wood 0002, Keith W. Miller 0001, Robert E. Noonan	Local exhaustive testing: a software reliability tool.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
32	Colin Runciman, Matthew Naylor, Fredrik Lindblad	Smallcheck and lazy smallcheck: automatic exhaustive testing for small values.	Haskell	2008	DBLP DOI BibTeX RDF	lazy evaluation, type classes, exhaustive search, embedded language, property-based testing
32	Sanjay Gupta, Janusz Rajski, Jerzy Tyszer	Arithmetic Additive Generators of Pseudo-Exhaustive Test Patterns.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	arithmetic generators, data-path architectures, pseudo-exhaustive generators, built-in self-test, Accumulators, state coverage
32	Sybille Hellebrand, Hans-Joachim Wunderlich	Tools and devices supporting the pseudo-exhaustive test.	EURO-DAC	1990	DBLP DOI BibTeX RDF	automatic design for testability, Pseudo-exhaustive test
32	C. L. Chen	Exhaustive Test Pattern Generation Using Cyclic Codes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	exhaustive test pattern generation, punctured cyclic codes, VLSI, logic testing, built-in self testing, automatic testing, codes, linear feedback shift registers, VLSI circuits
32	Donald T. Tang, Lin S. Woo	Exhaustive Test Pattern Generation with Constant Weight Vectors.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	fault testing, multilevel logic, logic testing, test pattern generation, self-testing, VLSI testing, scan path, Constant weight codes, exhaustive testing
30	Momona Mizota, Toshinori Hosokawa, Masayoshi Yoshimura, Masayuki Arai	A Block Partitioning Method for Region Exhaustive Test to Reduce the Number of Test Patterns and Improve Gate Exhaustive Fault Coverage.	DFT	2023	DBLP DOI BibTeX RDF
30	Nathan R. Sturtevant, Matheus Jun Ota	Exhaustive and Semi-Exhaustive Procedural Content Generation.	AIIDE	2018	DBLP BibTeX RDF
30	Ahmad Sabri, Vincent Vajnovszki	Exhaustive generation for ballot sequences in lexicographic and Gray code order.	GASCom	2018	DBLP BibTeX RDF
30	Elena Barcucci, Antonio Bernini, Renzo Pinzani	Exhaustive generation of positive lattice paths.	GASCom	2018	DBLP BibTeX RDF
30	Ahmad Sabri	Gray codes and efficient exhaustive generation for several classes of restricted words. (Codes de gray et génération exhaustive pour certaines classes de mots sous contrainte).		2015	RDF
29	Hung-Min Sun, Mu-En Wu, Huaxiong Wang, Jian Guo 0001	On the Improvement of the BDF Attack on LSBS-RSA.	ACISP	2008	DBLP DOI BibTeX RDF	partial key exposure (PKE), the BDF attack, LSBS-RSA, RSA, exhaustive search, least significant bit (LSB)
29	Jared Davis	Reasoning about ACL2 file input.	ACL2	2006	DBLP DOI BibTeX RDF	UTF-8, file input, ACL2, unicode, exhaustive testing
29	Claus Vielhauer, Maik Schott	Image annotation watermarking: nested object embedding using hypergraph model.	MM&Sec	2006	DBLP DOI BibTeX RDF	hierarchical objects, image processing, protocol, synchronization, compression, watermarking, exhaustive search, hierarchical trees
29	Shiyi Xu	High-Order Syndrome Testing for VLSI Circuits.	PRDC	2005	DBLP DOI BibTeX RDF	Syndrome Testing Minterms, Syndrome, Exhaustive Testing
29	Karen Panetta Lentz, Elias S. Manolakos, Edward C. Czeck	A multiple domain environment for efficient simulation.	Annual Simulation Symposium	1997	DBLP DOI BibTeX RDF	multiple domain environment, efficient simulation, concurrent simulation methodology, digital logic experimentation, multiple experiment environment, independent experiments, parallel hardware, digital logic simulators, signature paths, multiple experiment algorithms, function list, dynamic interactions, exhaustive simulation problem, Multiple Stuck-at Fault simulations, logic CAD, coverage analysis, digital logic
29	Sunil R. Das, Nishith Goel, Wen-Ben Jone, Amiya R. Nayak	Syndrome signature in output compaction for VLSI BIST.	VLSI Design	1996	DBLP DOI BibTeX RDF	syndrome signature, output compaction, VLSI BIST, input patterns, n-input combinational circuit, primary syndrome, subsyndromes, subfunctions, single-output circuit, multiple output, VLSI, logic testing, data compression, built-in self test, integrated circuit testing, combinational circuits, switching functions, exhaustive testing
27	Marko A. A. Boon, Ivo J. B. F. Adan	Mixed gated/exhaustive service in a polling model with priorities.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 60K25, 90B22
27	Patrick Ediger, Rolf Hoffmann, Mathias Halbach	Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search.	EUROCAST	2009	DBLP DOI BibTeX RDF
27	Jeff Leuschner, Shahram Yousefi	On the ML Decoding of Quasi-Orthogonal Space-Time Block Codes via Sphere Decoding and Exhaustive Search.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
27	Xingyi Zhang 0001, Xiangxiang Zeng, Linqiang Pan	On string languages generated by spiking neural P systems with exhaustive use of rules.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	SN P systems, Membrane computing, Register machine
27	Susumu Katayama	Efficient Exhaustive Generation of Functional Programs Using Monte-Carlo Search with Iterative Deepening.	PRICAI	2008	DBLP DOI BibTeX RDF
27	Mande Xie, Yun Ling, Guiyi Wei	An Exhaustive Resource Search Algorithm Based on Ping-Pang Mapping.	CSSE (3)	2008	DBLP DOI BibTeX RDF
27	Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki	Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning.	PADL	2007	DBLP DOI BibTeX RDF	intermediate results, purely functional data structures, improving sequences, lazy evaluation
27	Jianxun Liu, Wen-Ben Jone	An efficient routing method for pseudo-exhaustive built-in self-testing of high-speed interconnects.	ICCD	2007	DBLP DOI BibTeX RDF
27	Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001	Calculating Cocyclic Hadamard Matrices in Mathematica: Exhaustive and Heuristic Searches.	ICMS	2006	DBLP DOI BibTeX RDF
27	Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson	Exhaustive Optimization Phase Order Space Exploration.	CGO	2006	DBLP DOI BibTeX RDF
27	Sourav Mukhopadhyay, Palash Sarkar 0001	On the Effectiveness of TMTO and Exhaustive Search Attacks.	IWSEC	2006	DBLP DOI BibTeX RDF	cryptanalysis, one-way function
27	Silvia Bacchelli, Elena Barcucci, Elisabetta Grazzini, Elisa Pergola	Exhaustive generation of combinatorial objects by ECO.	Acta Informatica	2004	DBLP DOI BibTeX RDF
27	Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer	Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.	DSN	2004	DBLP DOI BibTeX RDF
27	Benjamin Piwowarski, Mounia Lalmas	Providing consistent and exhaustive relevance assessments for XML retrieval evaluation.	CIKM	2004	DBLP DOI BibTeX RDF	relevance assessment process, XML, evaluation, INEX
27	Bassam Shaer	Concurrent Pseudo-Exhaustive Testing of Combinational VLSI Circuits.	ISVLSI	2004	DBLP DOI BibTeX RDF
27	Wu Woan Kim	Parallel Testing Method by Partitioning Circuit Based on the Exhaustive Test.	ICCSA (2)	2004	DBLP DOI BibTeX RDF
27	Byung Cheol Song, Kang Wook Chun	Clustering-Based Image Retrieval Using Fast Exhaustive Multi-resolution Search Algorithm.	PCM (3)	2004	DBLP DOI BibTeX RDF
27	Luigi Di Stefano, Stefano Mattoccia, Martino Mola	An efficient algorithm for exhaustive template matching based on normalized cross correlation.	ICIAP	2003	DBLP DOI BibTeX RDF
27	Shiyi Xu	Non-exhaustive Parity Testing.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF
27	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.	PLDI	1996	DBLP DOI BibTeX RDF
27	Vidyadhar G. Kulkarni, Lindsey C. Puryear	Stability and queueing time analysis of a reader-writer queue with alternating exhaustive priorities.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	Reader-writer queue, alternating priority, M/G/ queue, concurrency control, locking, semi-Markov process, M/G/1 queue
27	Jürg Nievergelt, Ralph Gasser, Fabian Mäser, Christoph Wirth	All the Needles in a Haystack: Can Exhaustive Search Overcome Combinatorial Chaos?	Computer Science Today	1995	DBLP DOI BibTeX RDF
27	Daniel Brand	Exhaustive simulation need not require an exponential number of tests.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
24	Taiga Takata, Yusuke Matsunaga	An efficient cut enumeration for depth-optimum technology mapping for LUT-based FPGAs.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	FPGA, logic synthesis, technology mapping
24	Mahshid Sedghi, Elnaz Koopahi, Armin Alaghi, Mahmood Fathy, Zainalabedin Navabi	An NoC Test Strategy Based on Flooding with Power, Test Time and Coverage Considerations.	VLSI Design	2008	DBLP DOI BibTeX RDF
24	Amit Goyal 0003, Laurentiu Vasiliu, Brahmananda Sapkota	Use of AI in Query Optimization of Relational Databases.	ICTAI	2006	DBLP DOI BibTeX RDF
24	Anne Aula, Päivi Majaranta, Kari-Jouko Räihä	Eye-Tracking Reveals the Personal Styles for Search Result Evaluation.	INTERACT	2005	DBLP DOI BibTeX RDF
24	Gagan Agrawal, Jinqian Li, Qi Su	Evaluating a Demand Driven Technique for Call Graph Construction.	CC	2002	DBLP DOI BibTeX RDF
24	Barry K. Rosen	Linear Cost is Sometimes Quadratic.	POPL	1981	DBLP DOI BibTeX RDF
23	Takehiro Yamamoto, Satoshi Nakamura 0002, Katsumi Tanaka	Reranking and Classifying Search Results Exhaustively Based on Edit-and-Propagate Operations.	DEXA	2009	DBLP DOI BibTeX RDF	term-based-feedback, exhaustive search, Reranking
23	David J. Howden	Continuous Swarm Surveillance via Distributed Priority Maps.	ACAL	2009	DBLP DOI BibTeX RDF	priority map, swarm intelligence, UAV, pheromone, exhaustive search
23	Pablo Moisset de Espanés, Ashish Goel	Toward minimum size self-assembled counters.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Algorithmic self-assembly, Complexity, Nanotechnology, Exhaustive search, Counters
23	Taewan Kim, Daijin Kim 0001	Example based learning for object detection in images.	VNBA	2008	DBLP DOI BibTeX RDF	maximizing mutual information, dimensionality reduction, object detection, exhaustive search
23	Radu Mateescu 0001, Sylvain Rampacek	Formal Modeling and Discrete-Time Analysis of BPEL Web Services.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	exhaustive simulation, Web services, model checking, formal specification, process algebra
23	Bamba Gueye, Steve Uhlig, Serge Fdida	Investigating the Imprecision of IP Block-Based Geolocation.	PAM	2007	DBLP DOI BibTeX RDF	exhaustive tabulation, geolocation, active measurements
23	Hung-Min Sun, Mu-En Wu, Yao-Hsin Chen	Estimating the Prime-Factors of an RSA Modulus and an Extension of the Wiener Attack.	ACNS	2007	DBLP DOI BibTeX RDF	the Wiener attack, most significant bit, RSA, exhaustive-searching, continued fraction
23	Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov	Parallel test generation and execution with Korat.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	Korat, test data generation, parallel testing, bounded-exhaustive testing
23	Erik M. M. Winands, Ivo J. B. F. Adan, Geert-Jan van Houtum	Mean value analysis for polling systems.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Exhaustive service, Gated service, Polling systems, Mean value analysis
23	H. D. Phaneendra, C. Vidya Raj, M. S. Shivakumar	Applying Quantum Search to a Known-Plaintext Attack on Two-Key Triple Encryption.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Quantum algorithm, exhaustive search, Quantum mechanics, qubits, Quantum search, 3DES
23	Nele Mentens, Lejla Batina, Bart Preneel, Ingrid Verbauwhede	Time-Memory Trade-Off Attack on FPGA Platforms: UNIX Password Cracking.	ARC	2006	DBLP DOI BibTeX RDF	exhaustive key search, cryptanalysis, hash-functions, FPGA implementation, time-memory trade-off, rainbow table
23	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
23	Onno J. Boxma, Sabine Schlegel, Uri Yechiali	Two-Queue Polling Models with a Patient Server.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	two queues, alternating service, 1-limited, patient server, polling, timer, exhaustive
23	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
23	Sujit Dey, Surendra Bommu	Performance analysis of a system of communicating processes.	ICCAD	1997	DBLP DOI BibTeX RDF	PERC, accurate worst case performance analysis technique, concurrent communicating processes, exhaustive simulation, multiple communicating processes, single process descriptions, system design space, system of communicating processes, worst case performance analysis, worst case performance estimate, performance analysis, system performance, performance estimation, communicating sequential processes, system implementation, synchronization overhead, inter process communication
23	Catherine Meadows 0001	Language generation and verification in the NRL protocol analyzer.	CSFW	1996	DBLP DOI BibTeX RDF	language verification, NRL protocol analyzer, infinite classes of states, cryptography, formal verification, cryptographic protocols, formal languages, formal languages, access protocols, security properties, exhaustive search, language generation
23	Margrit Betke, Nicholas C. Makris	Fast Object Recognition in Noisy Images Using Simulated Annealing.	ICCV	1995	DBLP DOI BibTeX RDF	fast object recognition, hypothesized object, normalized correlation coefficient, search time, navigating robot, complicated scenes, false positive matches, robust object recognition, object recognition, simulated annealing, simulated annealing, noise, image matching, image match, search problems, robot vision, noisy images, exhaustive search, traffic signs, real-world images
23	Samy Makar, Edward J. McCluskey	Checking experiments to test latches.	VTS	1995	DBLP DOI BibTeX RDF	exhaustive functional tests, 2-state latches, minimum-length checking, D-latch, HSpice implementation, transmission gate latch, detectable shorted interconnects, open interconnects, short-to-power faults, short-to-ground faults, pin fault test set, multiplexer-based test set, sequential elements, 2-state state machines, simulation, fault diagnosis, logic testing, finite state machines, integrated circuit testing, sequential circuits, CMOS, circuit analysis computing, CMOS logic circuits, SPICE, stuck open faults, checking experiments, stuck-on faults
23	Hideaki Takagi	M/G/1/K queues withN-policy and setup times.	Queueing Syst. Theory Appl.	1993	DBLP DOI BibTeX RDF	M/G/1/K queue, exhaustive service, limited service, setup times, vacation models, N-policy
23	Sungju Park, Sheldon B. Akers	Parity bit calculation and test signal compaction for BIST applications.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	parity bit, test response compression, Built-in self-test, pseudo-exhaustive tests
23	Santosh S. Venkatesh, Demetri Psaltis	On Reliable Computation With Formal Neurons.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	computing capabilities, formal McCulloch-Pitts neurons, decision errors, random error protocol, exhaustive error protocol, protocols, neural nets, neural nets, error tolerance
23	Abhijit Chatterjee, Jacob A. Abraham	Test generation, design-for-testability and built-in self-test for arithmetic units based on graph labeling.	J. Electron. Test.	1991	DBLP DOI BibTeX RDF	Built-in self-test, test generation, design-for-testability, iterative logic array, pseudo-exhaustive test
23	Carlos Urias Munoz	An Approach to Software Product Testing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing
23	Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham	PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation
21	Juan Julián Merelo Guervós, Antonio Miguel Mora, Thomas Philip Runarsson	Beating exhaustive search at its own game: revisiting evolutionary mastermind.	GECCO	2010	DBLP DOI BibTeX RDF	evolutionary algorithms, games, heuristics, hybrid algorithms
21	Murat Dundar, E. Daniel Hirleman, Arun K. Bhunia, J. Paul Robinson, Bartek Rajwa	Learning with a non-exhaustive training dataset: a case study: detection of bacteria cultures using optical-scattering technology.	KDD	2009	DBLP DOI BibTeX RDF	bacteria detection, nonexhaustive learning, anomaly detection, novelty detection, bayes classifier
21	Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk	Smart Enumeration: A Systematic Approach to Exhaustive Search.	PATMOS	2008	DBLP DOI BibTeX RDF
21	Xucheng Luo, Zhiguang Qin, Jinsong Han, Hanhua Chen	DHT-assisted probabilistic exhaustive search in unstructured P2P networks.	IPDPS	2008	DBLP DOI BibTeX RDF
21	Christian Hochberger, Alexander Weiss	Acquiring an exhaustive, continuous and real-time trace from SoCs.	ICCD	2008	DBLP DOI BibTeX RDF