{"id":"https://openalex.org/W76356789","doi":null,"title":"Specialization and optimization of constraint programs with dynamic scheduling","display_name":"Specialization and optimization of constraint programs with dynamic scheduling","publication_year":1995,"publication_date":"1995-09-01","ids":{"openalex":"https://openalex.org/W76356789","mag":"76356789"},"language":"en","primary_location":{"id":"pmh:oai:hispana.mcu.es:61095389","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/15060/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/acceptedVersion"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://oa.upm.es/15060/","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023712857","display_name":"Alvaro Germ\u00e1n Puebla S\u00e1nchez","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alvaro Germ\u00e1n Puebla S\u00e1nchez","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X","observed_orcids":["https://orcid.org/0000-0002-7583-323X"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Manuel V. Hermenegildo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3851,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83505155,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9599999785423279,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9599999785423279,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.00930000003427267,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.005400000140070915,"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/constraint-logic-programming","display_name":"constraint logic programming","score":0.8339999914169312},{"id":"https://openalex.org/keywords/dynamic-scheduling","display_name":"dynamic scheduling","score":0.9110000133514404},{"id":"https://openalex.org/keywords/program-specialization","display_name":"program specialization","score":0.925000011920929},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.9810000061988831},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.7059999704360962},{"id":"https://openalex.org/keywords/global-analysis","display_name":"global analysis","score":0.9710000157356262},{"id":"https://openalex.org/keywords/runtime-overhead","display_name":"runtime overhead","score":0.8399999737739563},{"id":"https://openalex.org/keywords/concurrency","display_name":"concurrency","score":0.7559999823570251},{"id":"https://openalex.org/keywords/compiler-implementation","display_name":"compiler implementation","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8091099262237549},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6375283002853394},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5944377183914185},{"id":"https://openalex.org/C107568181","wikidata":"https://www.wikidata.org/wiki/Q5319000","display_name":"Dynamic priority scheduling","level":3,"score":0.511310338973999},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.49317067861557007},{"id":"https://openalex.org/C53833338","wikidata":"https://www.wikidata.org/wiki/Q1061424","display_name":"Context switch","level":2,"score":0.4623182415962219},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.45723849534988403},{"id":"https://openalex.org/C204306468","wikidata":"https://www.wikidata.org/wiki/Q5159106","display_name":"Concurrent constraint logic programming","level":5,"score":0.4494287371635437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4293045997619629},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.42690759897232056},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.41412651538848877},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4104064106941223},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4091622233390808},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3851194381713867},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.31452327966690063},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.27316808700561523},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10483205318450928},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.1020529568195343},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08895644545555115},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:hispana.mcu.es:61095389","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/15060/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/acceptedVersion"},{"id":"pmh:oai:oa.upm.es:15060","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/15060/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196323","display_name":"UPM Digital Archive (Technical University of Madrid)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I88060688","host_organization_name":"Universidad Polit\u00e9cnica de Madrid","host_organization_lineage":["https://openalex.org/I88060688"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"PeerReviewed"},{"id":"mag:76356789","doi":null,"is_oa":false,"landing_page_url":"http://oa.upm.es/15060/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:hispana.mcu.es:61095389","doi":null,"is_oa":true,"landing_page_url":"https://oa.upm.es/15060/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196108","display_name":"Hispana","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/acceptedVersion"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W207722629","https://openalex.org/W1584053602","https://openalex.org/W1853495215","https://openalex.org/W1965377774","https://openalex.org/W2017860618","https://openalex.org/W2026398929","https://openalex.org/W2043100293","https://openalex.org/W2074516823"],"related_works":["https://openalex.org/W1490311862","https://openalex.org/W2026398929","https://openalex.org/W1520856818","https://openalex.org/W2036315030","https://openalex.org/W7099638301","https://openalex.org/W2548072053","https://openalex.org/W2081103684","https://openalex.org/W7098440275","https://openalex.org/W7099243349","https://openalex.org/W2081484419"],"abstract_inverted_index":{"In":[0],"this":[1,83],"report":[2,86],"we":[3],"discuss":[4],"some":[5],"of":[6,15,28,34,45,64,94,100],"the":[7,11,31,46,62,65,95,98,101],"issues":[8],"involved":[9],"in":[10,97],"specialization":[12,47],"and":[13,48,85],"optimization":[14,49],"constraint":[16,35],"logic":[17,36],"programs":[18],"with":[19],"dynamic":[20],"scheduling.":[21],"Dynamic":[22],"scheduling,":[23],"as":[24,53,55],"any":[25],"other":[26],"form":[27],"concurrency,":[29],"increases":[30],"expressive":[32],"power":[33],"programs,":[37],"but":[38],"also":[39],"introduces":[40],"run-time":[41],"overhead.":[42],"The":[43],"objective":[44],"is":[50,69],"to":[51],"reduce":[52],"much":[54],"possible":[56],"such":[57],"overhead":[58],"automatically,":[59],"while":[60],"preserving":[61],"semantics":[63],"original":[66],"programs.":[67],"This":[68],"done":[70],"by":[71],"program":[72],"transformation":[73],"based":[74],"on":[75,87],"global":[76],"analysis.":[77],"We":[78],"present":[79],"implementation":[80,93],"techniques":[81,96],"for":[82],"purpose":[84],"experimental":[88],"results":[89],"obtained":[90],"from":[91],"an":[92],"context":[99],"CIAO":[102],"compiler.":[103]},"counts_by_year":[],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2016-06-24T00:00:00"}