乐胖代购免代理版

{"id":"https://openalex.org/W2073143859","doi":"https://doi.org/10.1109/ase.2013.6693075","title":"Ranger: Parallel analysis of alloy models by range partitioning","display_name":"Ranger: Parallel analysis of alloy models by range partitioning","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2073143859","doi":"https://doi.org/10.1109/ase.2013.6693075","mag":"2073143859"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693075","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5083103482","display_name":"Nicol\u00e1s Rosner","orcid":"https://orcid.org/0000-0002-0742-8101"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"University of Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nicolas Rosner","raw_affiliation_strings":["Dept. of Comput. Sci., UBA, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci., UBA, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I24354313"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038861217","display_name":"Junaid Haroon Siddiqui","orcid":"https://orcid.org/0000-0002-6674-7727"},"institutions":[{"id":"https://openalex.org/I207789805","display_name":"Lahore University of Management Sciences","ror":"https://ror.org/05b5x4a35","country_code":"PK","type":"education","lineage":["https://openalex.org/I207789805"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Junaid H. Siddiqui","raw_affiliation_strings":["Department of Computer Science, LUMS School of Science and Engineering, Pakistan#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, LUMS School of Science and Engineering, Pakistan#TAB#","institution_ids":["https://openalex.org/I207789805"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016401353","display_name":"Nazareno Aguirre","orcid":"https://orcid.org/0000-0003-0532-5296"},"institutions":[],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Nazareno Aguirre","raw_affiliation_strings":["Department of Computer Science, FCEFQyN, UNRC, Argentina"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, FCEFQyN, UNRC, Argentina","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":["Dept. of Electr. &, Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"Dept. of Electr. &, Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035707440","display_name":"Marcelo F. Frias","orcid":"https://orcid.org/0000-0002-5592-1355"},"institutions":[{"id":"https://openalex.org/I114772536","display_name":"Software Engineering Institute","ror":"https://ror.org/01xqjjn94","country_code":"US","type":"facility","lineage":["https://openalex.org/I114772536","https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marcelo F. Frias","raw_affiliation_strings":["Dept. of Software Eng., Inst. Tecnol. de Buenos Aires, Buenos Aires, Argentina"],"affiliations":[{"raw_affiliation_string":"Dept. of Software Eng., Inst. Tecnol. de Buenos Aires, Buenos Aires, Argentina","institution_ids":["https://openalex.org/I114772536"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.856,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":15,"citation_normalized_percentile":{"value":0.886827,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":"5238","issue":null,"first_page":"147","last_page":"157"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997,"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.9997,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9994,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993,"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":[],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.76087296},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.697732},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.680729},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5779165},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.51606625},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4862927},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.48294538},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44721532},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43114254},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35283783},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32421264},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2977652},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18208879},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17241281},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.09871814},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09783113},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2013.6693075","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":41,"referenced_works":["https://openalex.org/W1446570509","https://openalex.org/W1497788215","https://openalex.org/W1507360212","https://openalex.org/W1512709047","https://openalex.org/W1518705996","https://openalex.org/W1519503479","https://openalex.org/W1559870885","https://openalex.org/W1566044003","https://openalex.org/W1583826417","https://openalex.org/W1710734607","https://openalex.org/W1852929912","https://openalex.org/W1977666407","https://openalex.org/W1978679823","https://openalex.org/W1988537734","https://openalex.org/W2012997183","https://openalex.org/W2041209185","https://openalex.org/W2050886219","https://openalex.org/W2052602498","https://openalex.org/W2055164757","https://openalex.org/W2061081083","https://openalex.org/W2077503196","https://openalex.org/W2103406309","https://openalex.org/W2110988764","https://openalex.org/W2112447468","https://openalex.org/W2118428193","https://openalex.org/W2127046754","https://openalex.org/W2142857785","https://openalex.org/W2144973245","https://openalex.org/W2155024733","https://openalex.org/W2155102815","https://openalex.org/W2155621670","https://openalex.org/W2162120832","https://openalex.org/W2165413178","https://openalex.org/W2171480813","https://openalex.org/W2173679018","https://openalex.org/W2401903124","https://openalex.org/W3164587034","https://openalex.org/W4213079124","https://openalex.org/W4213179597","https://openalex.org/W4253606798","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W4313347705","https://openalex.org/W3022218857","https://openalex.org/W2933494595","https://openalex.org/W2370289839","https://openalex.org/W2369178846","https://openalex.org/W2082716031","https://openalex.org/W2075768550","https://openalex.org/W2023722467","https://openalex.org/W1590096425","https://openalex.org/W1568049691"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,13,82,127],"novel":[3],"approach":[4],"for":[5,126],"parallel":[6],"analysis":[7,139],"of":[8,16,62,68,75,92,129],"models":[9,35],"written":[10],"in":[11],"Alloy,":[12],"declarative":[14],"extension":[15],"first-order":[17],"logic":[18],"based":[19],"on":[20],"relations.":[21],"The":[22],"Alloy":[23,31,131],"language":[24],"is":[25,50],"supported":[26],"by":[27,65],"the":[28,52,73,86],"fully":[29],"automatic":[30],"Analyzer,":[32],"which":[33,71],"translates":[34],"into":[36,60,94],"propositional":[37],"formulas":[38],"and":[39,96,133],"uses":[40],"off-the-shelf":[41],"SAT":[42,99],"technology":[43],"to":[44],"solve":[45],"them.":[46],"Our":[47,107],"key":[48],"insight":[49],"that":[51,116,134],"underlying":[53],"constraint":[54],"satisfaction":[55],"problem":[56],"can":[57],"be":[58],"split":[59,89],"subproblems":[61],"lesser":[63],"complexity":[64],"using":[66],"ranges":[67],"candidate":[69,77,87],"solutions,":[70,88],"partition":[72],"space":[74,91],"all":[76],"solutions.":[78],"Conceptually,":[79],"we":[80],"define":[81],"total":[83],"ordering":[84],"among":[85],"this":[90],"candidates":[93],"ranges,":[95],"let":[97],"independent":[98],"searches":[100],"take":[101],"place":[102],"within":[103],"these":[104],"ranges'":[105],"endpoints.":[106],"tool,":[108],"Ranger,":[109],"embodies":[110],"our":[111],"insight.":[112],"Experimental":[113],"evaluation":[114],"shows":[115],"Ranger":[117],"provides":[118],"substantial":[119],"speedups":[120],"(in":[121],"several":[122],"cases,":[123],"superlinear":[124],"ones)":[125],"variety":[128],"hard-to-solve":[130],"models,":[132],"adding":[135],"more":[136],"hardware":[137],"reduces":[138],"costs":[140],"almost":[141],"linearly.":[142]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2073143859","counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-01-04T16:16:20.726775","created_date":"2016-06-24"}