{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:34:49Z","timestamp":1743068089984,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":36,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461475965"},{"type":"electronic","value":"9781461475972"}],"license":[{"start":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:00:00Z","timestamp":1371254400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,6,15]],"date-time":"2013-06-15T00:00:00Z","timestamp":1371254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7597-2_16","type":"book-chapter","created":{"date-parts":[[2013,6,14]],"date-time":"2013-06-14T13:27:30Z","timestamp":1371216450000},"page":"251-271","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Hardware Accelerated Mining of Domain Knowledge"],"prefix":"10.1007","author":[{"given":"Tanvir","family":"Atahary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Douglass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek M.","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,15]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0167-6423(99)00007-6","volume":"35","author":"A Aiken","year":"1999","unstructured":"A. Aiken, Introduction to set constraint-based program analysis. Sci. Comput. Program. 35, 79\u2013111 (1999)","journal-title":"Sci. Comput. Program."},{"key":"16_CR2","unstructured":"A.K. Mackworth, Constraint Satisfaction, in Encyclopedia of Artificial Intelligence, ed. by S.C. Shapiro, (John Wiley and Sons, New York, 1987)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"S.C. Brailsford, C.N. Potts, B.M. Smith, Constraint satisfaction problems: algorithms and applications. Eur. J. Oper. Res. 119, 557\u2013581 (1999)","journal-title":"Eur. J. Oper. Res."},{"key":"16_CR4","unstructured":"S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, 3rd edn. (Prentice Hall, 2009)"},{"key":"16_CR5","unstructured":"S. Douglass, C. Myers, Concurrent knowledge activation calculation in large declarative memories, in Proceedings of the 10th International Conference on Cognitive Modeling, 2010, pp. 55\u201360"},{"key":"16_CR6","unstructured":"S. Douglass, S. Mittal, Using domain specific languages to improve scale and integration of cognitive models, in Proceedings of the Behavior Representation in Modeling and Simulation Conference, Utah, USA, 2011"},{"key":"16_CR7","unstructured":"Z. Moln\u00e1r, D. Balasubramanian, A. L\u00e9deczi, An introduction to the GenericModeling Environment, in Proceedings of the TOOLS Europe 2007 Workshop on Model-Driven Development Tool Implementers Forum (Zurich, Switzerland, 2007)"},{"key":"16_CR8","unstructured":"A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, P. Volgyesi, \u201cThe generic modeling environment,\u201d Workshop on Intelligent Signal Processing, vol. 17, (Budapest, Hungary, 2001)"},{"key":"16_CR9","unstructured":"A. Ledeczi, P. Volgyesi, G. Karsai, Metamodel composition in the Generic Modeling Environment. Comm. at Workshop on Adaptive Object-Models and Metamodeling Techniques, Ecoop, vol. 1, 2001"},{"key":"16_CR10","unstructured":"Esper available: http:\/\/esper.codehaus.org\/"},{"key":"16_CR11","unstructured":"J.M. Siskind, Screaming Yellow Zonkers (MIT Articial Intelligence Laboratory, 1991)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"P. Sanders, Better Algorithm for Parallel Backtracking, in Workshop on Algorithms for Irregularly Structured Problems, number 980 in LNCS, 1995","DOI":"10.1007\/3-540-60321-2_27"},{"key":"16_CR13","unstructured":"E.C. Freuder, R. Dechter, M.L. Ginsberg, B. Selman, E.P.K. Tsang, Systematic versus stochastic constraint satisfaction, in Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 2 (Morgan-Kaufmann, 1995), pp. 2027\u20132032"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"M. Ginsberg, D. McAllester, GSAT and Dynamic Backtracking, in Proceedings of the Fourth Int\u2019l Conf. Principles of Knowledge Representation and Reasoning, 1994, pp. 226\u2013237","DOI":"10.1016\/B978-1-4832-1452-8.50117-2"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"I. Lynce, L. Baptista, J.P. Marques-Silva, Stochastic Systematic Search Algorithms for Satisfiability, in The LICS Workshop on Theory and Apps of Satisfiability Testing, 2001","DOI":"10.1007\/3-540-45329-6_35"},{"issue":"11","key":"16_CR16","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"JR Bitner","year":"1975","unstructured":"J.R. Bitner, E. Reingold, Backtracking programming techniques. Commun. ACM 18(11), 651\u2013656 (1975)","journal-title":"Commun. ACM"},{"key":"16_CR17","unstructured":"L.L. Wong, M.W.-M. Hwu, An effective GPU implementation of breadth-first search, Design Automation Conference (DAC), 2010, pp. 52\u201355"},{"key":"16_CR18","unstructured":"D. Sulewski, Large-Scale Parallel State Space Search Utilizing Graphics Processing Units and Solid State Disks, Dissertation, Dortmund University of Technology, 2011"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"J. Jenkins, I. Arkatkar, J.D. Owens, A. Choudhary, N.F. Samatova, Lessons learned from exploring the backtracking paradigm on the GPU, in Euro-Par 2011: Proceedings of the 17th International European Conference on Parallel and Distributed Computing, Lecture Notes in Computer Science, vol. 6853 (Springer, August\/September 2011), pp. 425\u2013437","DOI":"10.1007\/978-3-642-23397-5_42"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"A. Buluc, K. Madduri, Parallel Breadth First Search on Distributed Memory Systems, in The International Conference for High Performance Computing, Networking, Storage and Analysis, 2011","DOI":"10.1145\/2063384.2063471"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"D. Merrill, M. Garland, A. Grimshaw, Scalable GPU Graph Traversal, in Proceedings of PPoPP, February 2012","DOI":"10.1145\/2145816.2145832"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"P. Harish, P. Narayanan, Accelerating large graph algorithms on the GPU using CUDA, in High Performance Computing\u2014HiPC 2007: 14th International Conference, Proceedings, ed. by S. Aluru, M. Parashar, R. Badrinath, V. Prasanna. vol. 4873 (Springer-Verlag, Goa, India, 2007), pp. 197\u2013208","DOI":"10.1007\/978-3-540-77220-0_21"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"S. Hong, S. Kim, T. Oguntebi, K. Olukotun, Accelerating CUDA Graph Algorithms at Maximum Warp, in Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, 2011","DOI":"10.1145\/1941553.1941590"},{"issue":"10","key":"16_CR24","first-page":"10","volume":"10","author":"SD Joshi","year":"2010","unstructured":"S.D. Joshi, V.S. Inamdar, Performance improvement in large graph algorithms on GPU using CUDA: an overview. Int. J. Comp. Appl. 10(10), 10\u201314 (2010)","journal-title":"Int. J. Comp. Appl."},{"key":"16_CR25","unstructured":"Y. Wang, NVIDIA CUDA Architecture-based Parallel Incomplete SAT Solver, Master Project Final Report, Rochester Institute of Technology, 2010"},{"issue":"1","key":"16_CR26","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1109\/92.920833","volume":"9","author":"P Leong","year":"2001","unstructured":"P. Leong, C. Sham, W. Wong, W. Yuen, M. Leong, A bitstream reconfigurable FPGA implementation of the WSAT algorithm. IEEE Trans. VLSI Syst. 9(1), 197\u2013201 (2001)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"D. Diaz, S. Abreu, P. Codognet, Parallel constraint-based local search on the Cell\/BE multicore architecture, in Intelligent Distributed Computing IV. Studies in Computational Intelligence, vol. 315, ed. by M. Essaaidi, M. Malgeri, C. Badica (Springer, Heidelberg, 2010), pp. 265\u2013274","DOI":"10.1007\/978-3-642-15211-5_28"},{"key":"16_CR28","doi-asserted-by":"publisher","unstructured":"D. Diaz, S. Abreu, P. Codognet, Targeting the Cell Broadband Engine for Constraint-Based Local Search. (Published Online October 20, 2011). doi: 10.1002\/cpe.1855","DOI":"10.1002\/cpe.1855"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Y. Caniou, P. Codognet, D. Diaz, S. Abreu, Experiments in parallel constraint-based local search, in EvoCOP\u201911, 11th European Conference on Evolutionary Computation in Combinatorial Optimisation. Lecture Notes in Computer Science (Springer Verlag, Torino, Italy, 2011)","DOI":"10.1007\/978-3-642-20364-0_9"},{"key":"16_CR30","unstructured":"I.P. Gent, C. Jefferson, I. Miguel, N.C.A. Moore, P. Nightingale, P. Prosser, C. Unsworth, A Preliminary Review of Literature on Parallel Constraint Solving, Computing Science, Scotland Workshop on Parallel Methods for Constraint Solving (Glasgow and St. Andrews Universities, 2011)"},{"key":"16_CR31","unstructured":"C. Rolf, Parallelism in Constraint Programming, Ph.D. thesis, 2011"},{"key":"16_CR32","unstructured":"C. Rolf and K. Kuchinski, Parallel Consistency in Constraint Programming. The International Conference on Parallel and Distributed Processing Techniques and Applications: SDMAS Workshop, 2009"},{"key":"16_CR33","unstructured":"C. Rolf and K. Kuchinski, Parallel Search and Parallel Consistency in Constraint Programming. International Conference on Principles and Practices of Constraint Programming, 2010"},{"key":"16_CR34","unstructured":"GPU AI for Board Games, http:\/\/developer.nvidia.com\/gpu-ai-board-games, Accessed 10 July 2012"},{"key":"16_CR35","unstructured":"NVIDIA Tesla C2070. http:\/\/www.nvidia.com\/docs\/IO\/43395\/BD-04983-001_v05.pdf"},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"M. Barnell, Q. Wu, R. Luley, Integration and development of the 500 TFLOPS heterogeneous cluster (Condor). IEEE High Perform. Extreme Comput. Conf. 2012","DOI":"10.1115\/DETC2012-70083"}],"container-title":["Advances in Information Security","Network Science and Cybersecurity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7597-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T20:55:22Z","timestamp":1676321722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7597-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,15]]},"ISBN":["9781461475965","9781461475972"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7597-2_16","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2013,6,15]]},"assertion":[{"value":"15 June 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}