{"id":"https://openalex.org/W1769631451","doi":"https://doi.org/10.1007/978-3-642-13568-2_9","title":"Rewriting Logic Based Performance Estimation of Embedded Systems","display_name":"Rewriting Logic Based Performance Estimation of Embedded Systems","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1769631451","doi":"https://doi.org/10.1007/978-3-642-13568-2_9","mag":"1769631451"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-13568-2_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13568-2_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","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/A5013302177","display_name":"Fateh Boutekkouk","orcid":"https://orcid.org/0000-0003-0398-4597"},"institutions":[{"id":"https://openalex.org/I3132180716","display_name":"Larbi Ben M'hidi University of Oum El Bouaghi","ror":"https://ror.org/0034tbg85","country_code":"DZ","type":"education","lineage":["https://openalex.org/I3132180716"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Fateh Boutekkouk","raw_affiliation_strings":["Department of Computer Science, University of Larbi Ben M\u2019hedi, Route de Constantine, BP 358, Oum El Bouaghi, 04000, Algeria","Department of Computer Science, University of Larbi Ben M'hedi, Route de Constantine, BP 358, Oum El Bouaghi, 04000, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Larbi Ben M\u2019hedi, Route de Constantine, BP 358, Oum El Bouaghi, 04000, Algeria","institution_ids":["https://openalex.org/I3132180716"]},{"raw_affiliation_string":"Department of Computer Science, University of Larbi Ben M'hedi, Route de Constantine, BP 358, Oum El Bouaghi, 04000, Algeria","institution_ids":["https://openalex.org/I3132180716"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013302177"],"corresponding_institution_ids":["https://openalex.org/I3132180716"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02864051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"129"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9983000159263611,"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/rewriting","display_name":"Rewriting","score":0.9390121698379517},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8644931316375732},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5994638204574585},{"id":"https://openalex.org/keywords/chart","display_name":"Chart","score":0.5862787961959839},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4494372308254242},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3454461395740509},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07691097259521484}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9390121698379517},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8644931316375732},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5994638204574585},{"id":"https://openalex.org/C190812933","wikidata":"https://www.wikidata.org/wiki/Q28923","display_name":"Chart","level":2,"score":0.5862787961959839},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4494372308254242},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3454461395740509},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07691097259521484},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-642-13568-2_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-13568-2_9","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.8199999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1492631919","https://openalex.org/W1539211093","https://openalex.org/W1551441969","https://openalex.org/W1606313114","https://openalex.org/W2038904603","https://openalex.org/W2100103720","https://openalex.org/W2127595607","https://openalex.org/W2134287022","https://openalex.org/W2137262315","https://openalex.org/W2138612658","https://openalex.org/W2732051504"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W174435416","https://openalex.org/W1796293478","https://openalex.org/W2168276503","https://openalex.org/W2139396251","https://openalex.org/W1577544887","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W4205908955","https://openalex.org/W2132239740"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}