{"id":"https://openalex.org/W1970535375","doi":"https://doi.org/10.1007/s10703-007-0039-0","title":"Finding optimal hardware/software partitions","display_name":"Finding optimal hardware/software partitions","publication_year":2007,"publication_date":"2007-10-04","ids":{"openalex":"https://openalex.org/W1970535375","doi":"https://doi.org/10.1007/s10703-007-0039-0","mag":"1970535375"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-007-0039-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-007-0039-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","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/A5013047474","display_name":"Zolt\u00e1n \u00c1d\u00e1m Mann","orcid":"https://orcid.org/0000-0001-5741-2709"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Zolt\u00e1n \u00c1d\u00e1m Mann","raw_affiliation_strings":["Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084342444","display_name":"Andr\u00e1s Orb\u00e1n","orcid":null},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Andr\u00e1s Orb\u00e1n","raw_affiliation_strings":["Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033477246","display_name":"P\u00e9ter Arat\u00f3","orcid":"https://orcid.org/0000-0003-2627-0511"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"P\u00e9ter Arat\u00f3","raw_affiliation_strings":["Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Magyar tud\u00f3sok k\u00f6r\u00fatja 2, 1117, Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]},{"raw_affiliation_string":"Department of Control Engineering and Information Technology, Budapest University of Technology and Economics, Budapest, Hungary 1117","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013047474"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.637,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.70002868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"31","issue":"3","first_page":"241","last_page":"263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":1.0,"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/T11032","display_name":"VLSI and Analog Circuit Testing","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"}}],"keywords":[{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.8054530620574951},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6996098756790161},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5897865295410156},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.5791142582893372},{"id":"https://openalex.org/keywords/branch-and-bound","display_name":"Branch and bound","score":0.5642621517181396},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5431496500968933},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.5398757457733154},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4427788555622101},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4403954744338989},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43381446599960327},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19538721442222595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11555644869804382},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10421761870384216}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.8054530620574951},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6996098756790161},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5897865295410156},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5791142582893372},{"id":"https://openalex.org/C93693863","wikidata":"https://www.wikidata.org/wiki/Q897659","display_name":"Branch and bound","level":2,"score":0.5642621517181396},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5431496500968933},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.5398757457733154},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4427788555622101},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4403954744338989},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43381446599960327},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19538721442222595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11555644869804382},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10421761870384216},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10703-007-0039-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-007-0039-0","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.154.5524","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.5524","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bme.hu/~manusz/publications/FMSD-2007/Mann_Orban_Arato_FMSD_2007.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W137599421","https://openalex.org/W1485947231","https://openalex.org/W1513656191","https://openalex.org/W1531850176","https://openalex.org/W1554845651","https://openalex.org/W1557957421","https://openalex.org/W1582450315","https://openalex.org/W1583432580","https://openalex.org/W1605801541","https://openalex.org/W1686420892","https://openalex.org/W1838888085","https://openalex.org/W1884976128","https://openalex.org/W1963547452","https://openalex.org/W1972513740","https://openalex.org/W1988527831","https://openalex.org/W1993696446","https://openalex.org/W2004068104","https://openalex.org/W2012429438","https://openalex.org/W2021326945","https://openalex.org/W2026000735","https://openalex.org/W2028922196","https://openalex.org/W2057653765","https://openalex.org/W2060793708","https://openalex.org/W2076442503","https://openalex.org/W2083630998","https://openalex.org/W2089897849","https://openalex.org/W2095117703","https://openalex.org/W2095817555","https://openalex.org/W2103351993","https://openalex.org/W2108716731","https://openalex.org/W2114053529","https://openalex.org/W2118203017","https://openalex.org/W2124719332","https://openalex.org/W2128286183","https://openalex.org/W2128583835","https://openalex.org/W2130056416","https://openalex.org/W2132756815","https://openalex.org/W2140156318","https://openalex.org/W2143914155","https://openalex.org/W2144733783","https://openalex.org/W2145023843","https://openalex.org/W2146073767","https://openalex.org/W2146263738","https://openalex.org/W2147680600","https://openalex.org/W2150889942","https://openalex.org/W2161455936","https://openalex.org/W2162548825","https://openalex.org/W2279125092","https://openalex.org/W2538878704","https://openalex.org/W2745045259","https://openalex.org/W4213255380","https://openalex.org/W4234522271","https://openalex.org/W4236269389","https://openalex.org/W4255669370","https://openalex.org/W4256502652"],"related_works":["https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W4352977312","https://openalex.org/W2067280619","https://openalex.org/W2041180560","https://openalex.org/W2084616826","https://openalex.org/W2941986668"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}