|
|
Venues (Conferences, Journals, ...)
|
|
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 |
21 | Jeff Orchard |
Efficient Least Squares Multimodal Registration With a Globally Exhaustive Alignment Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(10), pp. 2526-2534, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yang Wang 0001, Simon Lucey, Jeffrey F. Cohn |
Non-Rigid Object Alignment with a Mismatch Template Based on Exhaustive Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Masahiro Tomono |
Monocular SLAM Using a Rao-Blackwellised Particle Filter with Exhaustive Pose Space Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2421-2426, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | S. Y. Zhao, Kwok Yip Szeto |
Combining exhaustive search with evolutionary computation via computational resource allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 1878-1881, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jeff Leuschner, Shahram Yousefi |
On the ML decoding of quasi-orthogonal space-time block codes via sphere decoding and exhaustive search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing, IWCMC 2007, Honolulu, Hawaii, USA, August 12-16, 2007, pp. 343-348, 2007, ACM, 978-1-59593-695-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
maximum-likelihood decoding, maximum-likelihood metric, quasi-orthogonal space-time block codes, sphere decoding |
21 | Nan Yang, Songxiang Lin, Qiang Gao |
An Exhaustive and Edge-Removal Algorithm to Find Cores in Implicit Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM ![In: Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, pp. 273-280, 2007, Springer, 978-3-540-72483-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Complete Bipartite Graph, Link analysis, Web communities |
21 | Yasuaki Ito, Koji Nakano |
Cluster-dot Screening by Local Exhaustive Search with Hardware Accelaration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-8, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Kyoung Youn Cho, Edward J. McCluskey |
Test Set Reordering Using the Gate Exhaustive Test Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 25th IEEE VLSI Test Symposium (VTS 2007), 6-10 May 2007, Berkeley, California, USA, pp. 199-204, 2007, IEEE Computer Society, 0-7695-2812-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Martin Atzmüller, Frank Puppe |
SD-Map - A Fast Algorithm for Exhaustive Subgroup Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2006, 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings, pp. 6-17, 2006, Springer, 3-540-45374-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Fabian Mörchen, Ingo Mierswa, Alfred Ultsch |
Understandable models Of music collections based on exhaustive feature generation with temporal statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Twelfth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Philadelphia, PA, USA, August 20-23, 2006, pp. 882-891, 2006, ACM, 1-59593-339-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
music mining, logistic regression, meta learning, genre classification, feature generation |
21 | Sascha 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](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006, Proceedings, pp. 232-239, 2006, Springer, 3-540-36593-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Igor Radusinovic, Zoran Veljovic |
Performance analysis of Exhaustive Limited Service Round Robin Matching Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 33, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Baptiste Alcalde, Ana R. Cavalli |
Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN/ICONS/MCL ![In: Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius, pp. 42, 2006, IEEE Computer Society, 0-7695-2552-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | D. Richard Kuhn, Vadim Okun |
Pseudo-Exhaustive Testing for Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA, pp. 153-158, 2006, IEEE Computer Society, 0-7695-2624-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software testing, automated testing, combinatorial testing |
21 | David Lin, Paul Chau |
Human Vision System Aware Exhaustive Block-Matching Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2006 IEEE International Conference on Multimedia and Expo, ICME 2006, July 9-12 2006, Toronto, Ontario, Canada, pp. 237-240, 2006, IEEE Computer Society, 1-4244-0367-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Steve 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](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 2439-2444, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ruifeng 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](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 66-71, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan |
Software Assurance by Bounded Exhaustive Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 31(4), pp. 328-339, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, program verification, testing and debugging |
21 | Francisco 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](Pics/bibsonomy.png) |
IWANN ![In: Computational Intelligence and Bioinspired Systems, 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltrú, Barcelona, Spain, June 8-10, 2005, Proceedings, pp. 534-540, 2005, Springer, 3-540-26208-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Robert Fergus, Pietro Perona, Andrew Zisserman |
A Sparse Object Category Model for Efficient Learning and Exhaustive Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2005), 20-26 June 2005, San Diego, CA, USA, pp. 380-387, 2005, IEEE Computer Society, 0-7695-2372-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jin 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](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 205-213, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Joselíto J. Chua, Asha Rao |
An Image-Guided Heuristic for Planning an Exhaustive Enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 4th International Conference on Hybrid Intelligent Systems (HIS 2004), 5-8 December 2004, Kitakyushu, Japan, pp. 136-141, 2004, IEEE Computer Society, 0-7695-2291-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Luigi Di Stefano, Stefano Mattoccia, Federico Tombari |
An Algorithm for Efficient and Exhaustive Template Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (1) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 408-415, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Dimitri Kagaris, Spyros Tragoudas |
LFSR Characteristic Polynomials for Pseudo-Exhaustive TPG with Low Number of Seeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 19(3), pp. 233-244, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
built-in self-test (BIST), Linear Feedback Shift Registers (LFSR), test pattern generation (TPG) |
21 | Alberto Del Lungo, Andrea Frosini, Simone Rinaldi |
ECO Method and the Exhaustive Generation of Convex Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMTCS ![In: Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings, pp. 129-140, 2003, Springer, 3-540-40505-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Vicente 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](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 153, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Alistair John Fitch, Alexander Kadyrov, William J. Christmas, Josef Kittler |
Fast Exhaustive Robust Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 903-906, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Chang-Ki Kwon, Kwyro Lee |
Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 9(5), pp. 726-729, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Agassi Z. Melikov, Dervis Z. Deniz |
Non-Exhaustive Channel Access Strategy in Multi-Resource Communication Systems with Non-Homogeneous Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 432-437, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Channel access, reserves of channels, design and optimization algorithm |
21 | Anand Desai |
The Security of All-or-Nothing Encryption: Protecting against Exhaustive Key Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2000, 20th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2000, Proceedings, pp. 359-375, 2000, Springer, 3-540-67907-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Jürg Nievergelt |
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings, pp. 18-35, 2000, Springer, 3-540-41348-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Bassam Shaer, Sami A. Al-Arian, David L. Landis |
Pseudo-Exhaustive Testing of Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 4-6 March 1999, Ann Arbor, MI, USA, pp. 109-, 1999, IEEE Computer Society, 0-7695-0104-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Muhammed Z. Coban, Russell M. Mersereau |
A fast exhaustive search algorithm for rate-constrained motion estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 7(5), pp. 769-773, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Wen-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](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 1998, Washington, DC, USA, October 18-22, 1998, pp. 322-330, 1998, IEEE Computer Society, 0-7803-5093-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Joe Kilian, Phillip Rogaway |
How to Protect DES Against Exhaustive Key Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '96, 16th Annual International Cryptology Conference, Santa Barbara, California, USA, August 18-22, 1996, Proceedings, pp. 252-267, 1996, Springer, 3-540-61512-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Dimitrios Kagaris, Spyros Tragoudas, Dinesh Bhatia |
Pseudo-exhaustive built-in TPG for sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(9), pp. 1160-1171, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Ted Stanion, Debashis Bhattacharya, Carl Sechen |
An efficient method for generating exhaustive test sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(12), pp. 1516-1525, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Dimitrios Kagaris, Fillia Makedon, Spyros Tragoudas |
A method for pseudo-exhaustive test pattern generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(9), pp. 1170-1178, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Thyagaraju R. Damarla, Avinash Sathaye |
Applications of one-dimensional cellular automata and linear feedback shift registers for pseudo-exhaustive testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(10), pp. 1580-1591, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Wen-Ben Jone, Sunil R. Das |
Multiple-output parity bit signature for exhaustive testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 1(2), pp. 175-178, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
test response analyzer, Built-in self-test (BIST), design for testability |
21 | Michael G. Burke |
An Interval-Based Approach to Exhaustive and Incremental Interprocedural Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(3), pp. 341-395, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Eleanor Wu, Paul W. Rutkowski |
PEST: a tool for implementing pseudo-exhaustive self test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 639-643, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Masakazu Furuichi, Kazuo Taki, Nobuyuki Ichiyoshi |
A Multi-Level Load Balancing Scheme for OR-Parallel Exhaustive Search Programs on the Multi-PSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), Seattle, Washington, USA, March 14-16, 1990, pp. 50-59, 1990, ACM, 0-89791-350-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
21 | Sheldon B. Akers |
A parity bit signature for exhaustive testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(3), pp. 333-338, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | David W. Krumme, David H. Ackley |
A Practical Method for Code Generation Based on Exhaustive Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 185-196, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Robert Law |
Using student blogs for documentation in software development projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011, pp. 366, 2011, ACM, 978-1-4503-0697-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Matthew A. Addicoat, Zoe E. Brain |
Using a Meta-GA for parametric optimization of simple gas in the computational chemistry domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 823-824, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
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 |
18 | Shreeram Sigdel, Witold A. Krzymien |
Simplified user scheduling and mode selection algorithm for multiuser MIMO systems with limited-feedback CSIT linear precoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, IWCMC 2009, Leipzig, Germany, June 21-24, 2009, pp. 1375-1380, 2009, ACM, 978-1-60558-569-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
limited-feedback CSIT, linear precoding, multiuser MIMO wireless systems, user scheduling |
18 | Alberto 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](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings, pp. 523-534, 2009, Springer, 978-3-642-00381-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Todd R. Andel, Alec Yasinsac |
Automated Evaluation of Secure Route Discovery in MANET Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings, pp. 26-41, 2008, Springer, 978-3-540-85113-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin |
Efficient Genome Wide Tagging by Reduction to SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings, pp. 135-147, 2008, Springer, 978-3-540-87360-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Gil Zussman, Adrian Segall, Uri Yechiali |
On the Analysis of the Bluetooth Time Division Duplex Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(6), pp. 2149-2161, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Young Wook Sohn, Moon Gi Kang |
Block-Based Motion Vector Smoothing for Periodic Pattern Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 491-500, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Vo Ngoc Anh, Alistair Moffat |
Pruned query evaluation using pre-computed impacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2006: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, Washington, USA, August 6-11, 2006, pp. 372-379, 2006, ACM, 1-59593-369-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Shiyi Xu |
Pseudo-Parity Testing with Testable Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 354-359, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery |
Software performance testing using covering arrays: efficient screening designs with categorical factors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005, pp. 131-136, 2005, ACM, 1-59593-087-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
D-optimal designs, performance testing, covering arrays |
18 | Jens Chr. Godskesen |
Connectivity Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 25(1), pp. 5-38, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded systems, testing, fault models, automatic test generation |
18 | D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo |
Software Fault Interactions and Implications for Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(6), pp. 418-421, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Maneli Noorkami, Faramarz Fekri |
A Fast Correlation Attack via Unequal Error Correcting LDPC Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2004, The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings, pp. 54-66, 2004, Springer, 3-540-20996-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
cryptanalysis, Stream ciphers, linear feedback shift registers, fast correlation attacks, LDPC codes |
18 | Julián Dorado, Antonino Santos, Juan R. Rabuñal, Nieves Pedreira, Alejandro Pazos |
Hybrid Two-Population Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Days ![In: Computational Intelligence, Theory and Applications, International Conference, 7th Fuzzy Days, Dortmund, Germany, October 1-3, 2001, Proceedings, pp. 464-470, 2001, Springer, 3-540-42732-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Eli Biham, Vladimir Furman |
Improved Impossible Differentials on Twofish. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2000, First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000, Proceedings, pp. 80-92, 2000, Springer, 3-540-41452-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Twofish, cryptanalysis, impossible differential |
18 | Huan Liu 0001, Hiroshi Motoda, Manoranjan Dash |
A Monotonic Measure for Optimal Feature Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-98, 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings, pp. 101-106, 1998, Springer, 3-540-64417-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Bruce F. Cockburn |
Deterministic tests for detecting singleV-coupling faults in RAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 5(1), pp. 91-113, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
V-coupling faults, lower bounds, Functional tests, pattern-sensitive faults, RAM testing |
18 | Eli Biham, Alex Biryukov |
How to Strengthen DES Using Existing Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '94, 4th International Conference on the Theory and Applications of Cryptology, Wollongong, Australia, November 28 - December 1, 1994, Proceedings, pp. 398-412, 1994, Springer, 3-540-59339-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid |
Optimizing a Structural Constraint Solver for Efficient Software Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009, pp. 615-619, 2009, IEEE Computer Society, 978-0-7695-3891-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Software Testing, Bounded Exhaustive Testing |
17 | Wolfgang Stein, Oliver Straub, Jessica Ausborn, Wolfgang Mader 0003, Harald Wolf |
Motor pattern selection by combinatorial code of interneuronal pathways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 25(3), pp. 543-561, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Physiological simulations, Stick insect, Combinatorial code, Movement control, Sensory feedback, Exhaustive search, Neuronal network, Posture control |
17 | Tobias Kreisel, Sascha Kurz |
There Are Integral Heptagons, no Three Points on a Line, no Four on a Circle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(4), pp. 786-790, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Integral distances, Orderly generation, Solution to an Erd?s problem, Exhaustive search |
17 | Jonathan Billington, Smit Saboo |
An investigation of credit-based flow control protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, pp. 34, 2008, ICST/ACM, 978-963-9799-20-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
exhaustive simulation, flow control, coloured petri nets |
17 | Maher E. Rizkalla, Paul Salama, Mohamed El-Sharkawy 0001, Modukuri Sushmitha |
Hardware Implementation of Block-based Motion Estimation for Real Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 49(1), pp. 139-159, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fast search algorithms, exhaustive search algorithm, VHDL implementation, VLSI, motion estimation, finite state machine |
17 | Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov |
Automated testing of refactoring engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 185-194, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
imperative generators, refactoring engines, automated testing, test data generation, bounded-exhaustive testing |
17 | Claus Vielhauer, Maik Schott |
Nested object watermarking: from the rectangular con-straint to polygonal and private annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 9th workshop on Multimedia & Security, MM&Sec 2007, Dallas, Texas, USA, September 20-21, 2007, pp. 187-194, 2007, ACM, 978-1-59593-857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
hierarchical objects, image processing, access control, synchronization, watermarking, exhaustive search, hierarchical trees |
17 | Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson |
In search of near-optimal optimization phase orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006, pp. 83-92, 2006, ACM, 1-59593-362-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, exhaustive search, phase ordering |
17 | Fabio Fassetti, Gianluigi Greco, Giorgio Terracina |
Efficient discovery of loosely structured motifs in biological data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 151-155, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
exhaustive algorithms, frequent structured patterns, keyword trees |
17 | Sviatoslav 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](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 8th workshop on Multimedia & Security, MM&Sec 2006, Geneva, Switzerland, September 26-27, 2006, pp. 89-96, 2006, ACM, 1-59593-493-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
random binning, security leakage analysis, cryptography, information theory, data-hiding, reversibility, exhaustive search |
17 | Matej Crepinsek, Marjan Mernik, Viljem Zumer |
Extracting grammar from programs: brute force approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(4), pp. 29-38, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
learning from positive and negative examples, exhaustive search, grammar induction, grammar inference |
17 | David Coppit, Jiexin Lian |
yagg: an easy-to-use generator for structured test inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 356-359, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
grammar-based input generation, bounded exhaustive testing |
17 | Jelena V. Misic, Vojislav B. Misic |
Performance of Bluetooth Piconets with Finite Buffers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSHINE ![In: 1st International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks (QSHINE 2004), 18-20 October 2004, Dallas, TX, USA, pp. 282-289, 2004, IEEE Computer Society, 0-7695-2233-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Bluetooth piconet, queues with vacations, limited service scheduling, exhaustive service scheduling, Bluetooth, queueing analysis |
17 | Xiannong 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](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 145, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Dynamic channel assignment, cellular mobile communications, Philadelphia problem, frequency exhaustive assignment, genetic algorithms |
17 | Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee |
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(2), pp. 388-435, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
DJ graphs, Tarjan's interval, exhaustive and incremental data flow analysis, irreducible flowgraphs, reducible flowgraphs |
17 | Radovan Krtolica |
Learning Character Recognition by Localized Interpretation of Character-Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 292-295, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Kwame Osei Boateng, Hiroshi Takahashi, Yuzo Takamatsu |
Design of C-Testable Multipliers Based on the Modified Booth Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 6th Asian Test Symposium (ATS '97), 17-18 November 1997, Akita, Japan, pp. 42-47, 1997, IEEE Computer Society, 0-8186-8209-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
modified Booth Algorithm, c-testable design, design for testability, multiplier, exhaustive testing, cell fault model |
17 | Chih-Ang Chen, Sandeep K. Gupta 0001 |
BIST Test Pattern Generators for Two-Pattern Testing-Theory and Design Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 45(3), pp. 257-269, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Built-in self-test, cellular automata, linear feedback shift register, test pattern generator, two-pattern testing, pseudo-exhaustive testing |
17 | Daniel Jackson 0001, Craig Damon |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(7), pp. 484-495, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing |
17 | Moni Naor, Leonard J. Schulman, Aravind Srinivasan |
Splitters and Near-Optimal Derandomization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 182-191, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Irith Pomeranz, Sudhakar M. Reddy |
Testing of Fault-Tolerant Hardware Through Partial Control of Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(10), pp. 1267-1271, 1993. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Thomas Siegenthaler |
Decrypting a Class of Stream Ciphers Using Ciphertext Only. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 34(1), pp. 81-85, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
pseudonoise generator, exhaustive trials, cryptanalysis, Correlation |
17 | John Paul Shen, F. Joel Ferguson |
The Design of Easily Tastabel VLSI Array Multipliers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 33(6), pp. 554-560, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
design for testability, VLSI testing, Array multipliers, C-testability, exhaustive testing |
17 | Edward J. McCluskey, Saied Bozorgui-Nesbat |
Design for Autonomous Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(11), pp. 866-875, 1981. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Theodore F. Tabloski, Frederic J. Mowle |
A Numerical Expansion Technique and Its Application to Minimal Multiplexer Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(7), pp. 684-702, 1976. The full citation details ...](Pics/full.jpeg) |
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 |
17 | Manfred Kochen |
An experimental computer program for hypothesis selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 4(7), pp. 323, 1961. The full citation details ...](Pics/full.jpeg) |
1961 |
DBLP DOI BibTeX RDF |
cognitive mechanisms, computer programs for concept formation, minimization of switching circuits, non-exhaustive searching, pattern identification, automatic classification |
15 | Fernanda G. O. Passos, Vinod E. F. Rebello |
An autonomic parallel strategy for exhaustive search tree algorithms on shared or heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 36(6), March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | B. 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](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 83(13), pp. 39779-39821, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Kongze Li |
Improved RFID mutual authentication protocol against exhaustive attack in the context of big data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Inf. Secur. ![In: EURASIP J. Inf. Secur. 2024(1), pp. 3, December 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Shahaf Arica, Or Rubin, Sapir Gershov, Shlomi Laufer |
CuVLER: Enhanced Unsupervised Object Discoveries through Exhaustive Self-Supervised Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.07700, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Qingxiu Dong, Guangyan Zhou, Ke Xu 0001 |
Further Explanations on "SAT Requires Exhaustive Search". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.01193, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Pamela Zoghby, Bogdan Marinescu, Antoine Rossé, Grégoire Prime |
Exhaustive Classification and Quantification of Coupling Modes in Power Systems with Power Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.04701, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Wei Wu, Hongzhi Xie, Shuyang Zhang, Lixu Gu |
Exhaustive matching of 3D/2D coronary artery structure based on imperfect segmentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 19(1), pp. 109-117, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001 |
Exhaustive property oriented model-based testing with symbolic finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 231, pp. 103005, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Liming Nie, Kabir Sulaiman Said, Ming Hu |
SoK: An Exhaustive Taxonomy of Display Issues for Mobile Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 29th International Conference on Intelligent User Interfaces, IUI 2024, Greenville, SC, USA, March 18-21, 2024, pp. 537-548, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Atef Mosa |
An Exhaustive Literature Review of Hadith Text Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Low Resour. Lang. Inf. Process. ![In: ACM Trans. Asian Low Resour. Lang. Inf. Process. 22(7), pp. 187:1-187:16, 2023. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|