{"id":"https://openalex.org/W2055006439","doi":"https://doi.org/10.1016/s0096-0551(96)00010-0","title":"Improving the efficiency of nondeterministic independent and-parallel systems","display_name":"Improving the efficiency of nondeterministic independent and-parallel systems","publication_year":1996,"publication_date":"1996-07-01","ids":{"openalex":"https://openalex.org/W2055006439","doi":"https://doi.org/10.1016/s0096-0551(96)00010-0","mag":"2055006439"},"language":"en","primary_location":{"id":"doi:10.1016/s0096-0551(96)00010-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0096-0551(96)00010-0","pdf_url":null,"source":{"id":"https://openalex.org/S181974911","display_name":"Computer Languages","issn_l":"0096-0551","issn":["0096-0551","1873-6742"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Languages","raw_type":"journal-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/A5024528910","display_name":"Enrico Pontelli","orcid":"https://orcid.org/0000-0002-7753-1737"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Enrico Pontelli","raw_affiliation_strings":["Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067377863","display_name":"Gopal Gupta","orcid":"https://orcid.org/0000-0001-9727-0362"},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gopal Gupta","raw_affiliation_strings":["Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108276913","display_name":"Dongxing Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I10052268","display_name":"New Mexico State University","ror":"https://ror.org/00hpz7z43","country_code":"US","type":"education","lineage":["https://openalex.org/I10052268"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dongxing Tang","raw_affiliation_strings":["Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A","institution_ids":[]},{"raw_affiliation_string":"Laboratory for Logic and Databases, Dept of Computer Science, New Mexico State University. Las Cruces, NM, U.S.A.#TAB#","institution_ids":["https://openalex.org/I10052268"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030575094","display_name":"Manuel Carro","orcid":"https://orcid.org/0000-0001-5199-3135"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel Carro","raw_affiliation_strings":["Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain","Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain ("],"affiliations":[{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain (","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":["Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain","Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain ("],"affiliations":[{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Facultad de Inform\u00e1tica, Universidad Polit\u00e9cnica de Madrid, 28660 Boadilla del Monte, Madrid, Spain (","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024528910"],"corresponding_institution_ids":["https://openalex.org/I10052268"],"apc_list":null,"apc_paid":null,"fwci":1.5685,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.85470514,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":"2-3","first_page":"115","last_page":"142"},"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.9998000264167786,"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.9998000264167786,"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.9987999796867371,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.9032341241836548},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7393088340759277},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.7374453544616699},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.5932889580726624},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.5548353791236877},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5159857869148254},{"id":"https://openalex.org/keywords/instruction-level-parallelism","display_name":"Instruction-level parallelism","score":0.4805924594402313},{"id":"https://openalex.org/keywords/data-parallelism","display_name":"Data parallelism","score":0.44849395751953125},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1742083728313446}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9032341241836548},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7393088340759277},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.7374453544616699},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.5932889580726624},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.5548353791236877},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5159857869148254},{"id":"https://openalex.org/C140763907","wikidata":"https://www.wikidata.org/wiki/Q2714055","display_name":"Instruction-level parallelism","level":3,"score":0.4805924594402313},{"id":"https://openalex.org/C61483411","wikidata":"https://www.wikidata.org/wiki/Q3124522","display_name":"Data parallelism","level":3,"score":0.44849395751953125},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1742083728313446},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/s0096-0551(96)00010-0","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0096-0551(96)00010-0","pdf_url":null,"source":{"id":"https://openalex.org/S181974911","display_name":"Computer Languages","issn_l":"0096-0551","issn":["0096-0551","1873-6742"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Languages","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.37.6419","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.6419","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.nmsu.edu/~gupta/ace/complang.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.44.3273","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.3273","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.clip.dia.fi.upm.es/~clip/papers/effimp-journal.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W3259298","https://openalex.org/W29395856","https://openalex.org/W38760987","https://openalex.org/W49174893","https://openalex.org/W49830493","https://openalex.org/W136416057","https://openalex.org/W161327523","https://openalex.org/W171542336","https://openalex.org/W180996895","https://openalex.org/W191670929","https://openalex.org/W1485958431","https://openalex.org/W1504783514","https://openalex.org/W1507626698","https://openalex.org/W1516881256","https://openalex.org/W1531108889","https://openalex.org/W1533194915","https://openalex.org/W1549052193","https://openalex.org/W1551554715","https://openalex.org/W1552346801","https://openalex.org/W1585085979","https://openalex.org/W1590675204","https://openalex.org/W1593354502","https://openalex.org/W1603188321","https://openalex.org/W1604070206","https://openalex.org/W1766658279","https://openalex.org/W1807656840","https://openalex.org/W1892907565","https://openalex.org/W1975943297","https://openalex.org/W1999281702","https://openalex.org/W2058847156","https://openalex.org/W2063727779","https://openalex.org/W2073289131","https://openalex.org/W2077412182","https://openalex.org/W2089499361","https://openalex.org/W2097584421","https://openalex.org/W2111277910","https://openalex.org/W2127852846","https://openalex.org/W2150537182","https://openalex.org/W2163058466","https://openalex.org/W2173063752","https://openalex.org/W2476859540","https://openalex.org/W2592915588","https://openalex.org/W2805366091","https://openalex.org/W2912613826","https://openalex.org/W3022516193","https://openalex.org/W6600127430","https://openalex.org/W6601564141","https://openalex.org/W6601928067","https://openalex.org/W6602003625","https://openalex.org/W6605490968","https://openalex.org/W6607444877","https://openalex.org/W6607859099","https://openalex.org/W6631095865","https://openalex.org/W6631742415","https://openalex.org/W6632868082","https://openalex.org/W6632878740","https://openalex.org/W6634572607","https://openalex.org/W6634813020","https://openalex.org/W6635359611","https://openalex.org/W6636035491","https://openalex.org/W6636439048","https://openalex.org/W6638510226","https://openalex.org/W6644180660","https://openalex.org/W6669833839","https://openalex.org/W6684007496"],"related_works":["https://openalex.org/W2003935582","https://openalex.org/W1991844655","https://openalex.org/W2950520577","https://openalex.org/W1229628","https://openalex.org/W2526302199","https://openalex.org/W2009213655","https://openalex.org/W74409296","https://openalex.org/W2593878938","https://openalex.org/W2468095077","https://openalex.org/W1554644772"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}