{"id":"https://openalex.org/W2005459796","doi":"https://doi.org/10.1049/iet-sen.2012.0142","title":"QP test: a dependence test for quadratic array subscripts","display_name":"QP test: a dependence test for quadratic array subscripts","publication_year":2013,"publication_date":"2013-08-19","ids":{"openalex":"https://openalex.org/W2005459796","doi":"https://doi.org/10.1049/iet-sen.2012.0142","mag":"2005459796"},"language":"en","primary_location":{"id":"doi:10.1049/iet-sen.2012.0142","doi":"https://doi.org/10.1049/iet-sen.2012.0142","is_oa":false,"landing_page_url":"https://doi.org/10.1049/iet-sen.2012.0142","pdf_url":null,"source":{"id":"https://openalex.org/S164201770","display_name":"IET Software","issn_l":"1751-8806","issn":["1751-8806","1751-8814"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["ccf-b","cwts-core","doaj","dongbi-c","jufo-1","norway-1","oarl","poland-70","russia-white-list-2"],"host_organization":"https://openalex.org/P4310311714","host_organization_name":"Institution of Engineering and Technology","host_organization_lineage":["https://openalex.org/P4310311714"],"host_organization_lineage_names":["Institution of Engineering and Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IET Software","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5000546902","display_name":"Jie Zhao","orcid":"https://orcid.org/0000-0003-2303-9736","observed_orcids":["https://orcid.org/0000-0003-2303-9736"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jie Zhao","raw_affiliation_strings":["State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113746674","display_name":"Rongcai Zhao","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rongcai Zhao","raw_affiliation_strings":["State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065923090","display_name":"Lin Han","orcid":"https://orcid.org/0000-0002-9962-3245","observed_orcids":["https://orcid.org/0000-0002-9962-3245"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin Han","raw_affiliation_strings":["State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101431784","display_name":"Jinlong Xu","orcid":"https://orcid.org/0000-0002-6261-8186","observed_orcids":["https://orcid.org/0000-0002-6261-8186"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jinlong Xu","raw_affiliation_strings":["State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214125 People's Republic of China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2210,"currency":"USD","value_usd":2210},"apc_paid":null,"fwci":0.4327,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64051306,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":93},"biblio":{"volume":"7","issue":"5","first_page":"271","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.0015999999595806003,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/dependence-testing","display_name":"dependence testing","score":0.9169999957084656},{"id":"https://openalex.org/keywords/nonlinear-dependence","display_name":"nonlinear dependence","score":0.8029999732971191},{"id":"https://openalex.org/keywords/quadratic-programming","display_name":"quadratic programming","score":0.8410000205039978},{"id":"https://openalex.org/keywords/parallelism","display_name":"parallelism","score":0.42500001192092896},{"id":"https://openalex.org/keywords/optimizing-compilers","display_name":"optimizing compilers","score":0.8579999804496765}],"concepts":[{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6737421751022339},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.5913082361221313},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4476364254951477},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37775719165802},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3159900903701782},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11566352844238281},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.08054578304290771},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1049/iet-sen.2012.0142","doi":"https://doi.org/10.1049/iet-sen.2012.0142","is_oa":false,"landing_page_url":"https://doi.org/10.1049/iet-sen.2012.0142","pdf_url":null,"source":{"id":"https://openalex.org/S164201770","display_name":"IET Software","issn_l":"1751-8806","issn":["1751-8806","1751-8814"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["ccf-b","cwts-core","doaj","dongbi-c","jufo-1","norway-1","oarl","poland-70","russia-white-list-2"],"host_organization":"https://openalex.org/P4310311714","host_organization_name":"Institution of Engineering and Technology","host_organization_lineage":["https://openalex.org/P4310311714"],"host_organization_lineage_names":["Institution of Engineering and Technology"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IET Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1494930385","https://openalex.org/W1550371161","https://openalex.org/W1963949959","https://openalex.org/W1966670013","https://openalex.org/W1976009582","https://openalex.org/W1986300886","https://openalex.org/W1994034234","https://openalex.org/W2001674741","https://openalex.org/W2009973164","https://openalex.org/W2018931757","https://openalex.org/W2019410896","https://openalex.org/W2033700683","https://openalex.org/W2037690395","https://openalex.org/W2037929850","https://openalex.org/W2042242454","https://openalex.org/W2046947981","https://openalex.org/W2049919809","https://openalex.org/W2059725404","https://openalex.org/W2061206458","https://openalex.org/W2061305782","https://openalex.org/W2074743336","https://openalex.org/W2078113878","https://openalex.org/W2079235644","https://openalex.org/W2088310270","https://openalex.org/W2095840200","https://openalex.org/W2106472852","https://openalex.org/W2112482891","https://openalex.org/W2114006602","https://openalex.org/W2118134309","https://openalex.org/W2118908878","https://openalex.org/W2123790465","https://openalex.org/W2127691752","https://openalex.org/W2129370612","https://openalex.org/W2132331020","https://openalex.org/W2147801215","https://openalex.org/W2148597203","https://openalex.org/W2149783797","https://openalex.org/W2156680804","https://openalex.org/W2163713361","https://openalex.org/W2167390822","https://openalex.org/W2171262795","https://openalex.org/W2997748120","https://openalex.org/W3022074680","https://openalex.org/W4244934939"],"related_works":["https://openalex.org/W2061206458","https://openalex.org/W7100143234","https://openalex.org/W1967382945","https://openalex.org/W2059725404","https://openalex.org/W3081428923","https://openalex.org/W2042242454","https://openalex.org/W2065559267","https://openalex.org/W2078113878","https://openalex.org/W2511761996","https://openalex.org/W2042612464"],"abstract_inverted_index":{"Traditional":[0],"dependence":[1,52,64,110],"tests":[2],"detect":[3],"dependences":[4,41,86],"with":[5,16,75,133],"linear":[6],"array":[7],"subscripts,":[8,89],"but":[9],"only":[10],"give":[11],"passive":[12],"results":[13,155],"to":[14,48,54,103,159],"those":[15],"non\u2010linear":[17,51,63,85,109],"expressions.":[18],"It":[19],"may":[20],"result":[21],"in":[22,94],"a":[23,50,61,108,127],"multitude":[24],"of":[25,31,39,71,97,119,130],"pseudo\u2010dependences.":[26,57],"To":[27],"maximise":[28],"the":[29,68,72,76,84,95,131,134,163],"parallelism":[30],"applications":[32,144],"and":[33,106,137,149],"improve":[34],"an":[35],"optimising":[36],"compiler's":[37],"ability":[38],"detecting":[40],"between":[42],"program":[43],"statements,":[44],"it":[45,139],"is":[46,122,168],"necessary":[47],"develop":[49],"test":[53,65,132,167],"eliminate":[55],"these":[56],"This":[58],"study":[59],"presents":[60],"new":[62],"by":[66,88],"analysing":[67],"optimal":[69],"solution":[70],"quadratic":[73,98,115,164,172],"subscripts":[74],"index":[77],"bounds":[78],"constraints.":[79],"The":[80,117,124,153],"authors":[81,125],"prove":[82],"that":[83],"caused":[87],"which":[90],"can":[91],"be":[92,104],"written":[93],"form":[96],"programming":[99,165],"model,":[100],"are":[101],"able":[102],"detected,":[105],"introduce":[107],"testing":[111,161],"algorithm":[112,121],"based":[113],"on":[114],"programming.":[116],"effectiveness":[118],"this":[120],"verified.":[123],"developed":[126],"prototype":[128],"implementation":[129],"Open64":[135],"compiler":[136],"evaluated":[138],"using":[140],"some":[141],"real":[142],"world":[143],"from":[145],"Perfect":[146],"Club":[147],"benchmarks":[148],"Spec2006":[150],"benchmark":[151],"suites.":[152],"experimental":[154],"indicate":[156],"that,":[157],"compared":[158],"existing":[160],"methods,":[162],"(QP)":[166],"more":[169],"efficient":[170],"for":[171],"cases.":[173]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2016-06-24T00:00:00"}