{"id":"https://openalex.org/W2143382158","doi":"https://doi.org/10.1109/hldvt.2011.6113988","title":"Utilizing GPGPUs for design validation with a modified Ant Colony Optimization","display_name":"Utilizing GPGPUs for design validation with a modified Ant Colony Optimization","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2143382158","doi":"https://doi.org/10.1109/hldvt.2011.6113988","mag":"2143382158"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2011.6113988","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6113988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100400722","display_name":"Min Li","orcid":"https://orcid.org/0000-0002-1054-2255"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Min Li","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA"],"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008936808","display_name":"Kelson Gent","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kelson Gent","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA"],"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108516165","display_name":"Michael S. Hsiao","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael S. Hsiao","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA"],"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]},{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Tech, Blacksburg VA 24061, USA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100400722"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.9415,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.7651994,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":null,"first_page":"128","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.9223025441169739},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.844872772693634},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7309961318969727},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.6833332180976868},{"id":"https://openalex.org/keywords/general-purpose-computing-on-graphics-processing-units","display_name":"General-purpose computing on graphics processing units","score":0.6328531503677368},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.6020286679267883},{"id":"https://openalex.org/keywords/graphics-processing-unit","display_name":"Graphics processing unit","score":0.5955479145050049},{"id":"https://openalex.org/keywords/ant-colony-optimization-algorithms","display_name":"Ant colony optimization algorithms","score":0.5941677093505859},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5243080854415894},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5241941809654236},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5152795314788818},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2313409149646759},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17827996611595154},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.14378193020820618}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.9223025441169739},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.844872772693634},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7309961318969727},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.6833332180976868},{"id":"https://openalex.org/C50630238","wikidata":"https://www.wikidata.org/wiki/Q971505","display_name":"General-purpose computing on graphics processing units","level":3,"score":0.6328531503677368},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.6020286679267883},{"id":"https://openalex.org/C2779851693","wikidata":"https://www.wikidata.org/wiki/Q183484","display_name":"Graphics processing unit","level":2,"score":0.5955479145050049},{"id":"https://openalex.org/C40128228","wikidata":"https://www.wikidata.org/wiki/Q460851","display_name":"Ant colony optimization algorithms","level":2,"score":0.5941677093505859},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5243080854415894},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5241941809654236},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5152795314788818},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2313409149646759},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17827996611595154},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.14378193020820618}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2011.6113988","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2011.6113988","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1555280138","https://openalex.org/W1573676079","https://openalex.org/W1975112016","https://openalex.org/W2008424443","https://openalex.org/W2061438988","https://openalex.org/W2062716389","https://openalex.org/W2105233041","https://openalex.org/W2123868339","https://openalex.org/W2132673604","https://openalex.org/W2133250872","https://openalex.org/W2133862387","https://openalex.org/W2134856947","https://openalex.org/W2142785340","https://openalex.org/W2143208164","https://openalex.org/W2152406824","https://openalex.org/W2155298431","https://openalex.org/W2155503253","https://openalex.org/W2167375935","https://openalex.org/W2171106218","https://openalex.org/W4292083457","https://openalex.org/W6633364034","https://openalex.org/W6665773200","https://openalex.org/W6679923517","https://openalex.org/W6683036265"],"related_works":["https://openalex.org/W2983282793","https://openalex.org/W1973046741","https://openalex.org/W1963859303","https://openalex.org/W2364044215","https://openalex.org/W2389600408","https://openalex.org/W240129890","https://openalex.org/W3048701459","https://openalex.org/W2149078538","https://openalex.org/W2080146221","https://openalex.org/W2370314112"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"propose":[4],"a":[5,37,79,92,103],"novel":[6,50],"parallel":[7,51],"state":[8,72],"justification":[9],"tool,":[10],"GACO,":[11],"utilizing":[12,54],"Ant":[13],"Colony":[14],"Optimization":[15],"(ACO)":[16],"on":[17,78],"Graphical":[18],"Processing":[19],"Units":[20],"(GPU).":[21],"With":[22],"the":[23,30,46,61,76],"high":[24,68],"degree":[25],"of":[26,35,40,94,105],"parallelism":[27],"supported":[28],"by":[29],"GPU,":[31],"GACO":[32],"is":[33,63],"capable":[34],"launching":[36],"large":[38],"number":[39],"artificial":[41],"ants":[42],"to":[43,65,96,99,107],"search":[44],"for":[45,71],"target":[47],"state.":[48],"A":[49],"simulation":[52],"technique,":[53],"partitioned":[55],"navigation":[56],"tracks":[57],"as":[58],"guides":[59],"during":[60],"search,":[62],"proposed":[64],"achieve":[66],"extremely":[67],"computation":[69],"efficiency":[70],"justification.":[73],"We":[74],"present":[75],"results":[77],"GPU":[80],"platform":[81],"from":[82],"NVIDIA":[83],"(a":[84],"GeForce":[85],"GTX":[86],"285":[87],"graphics":[88],"card)":[89],"that":[90],"demonstrate":[91],"speedup":[93,104],"up":[95,106],"228\u00d7":[97],"compared":[98],"deterministic":[100],"methods":[101],"and":[102],"40\u00d7":[108],"over":[109],"previous":[110],"state-of-the-art":[111],"heuristic":[112],"based":[113],"serial":[114],"tools.":[115]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}