{"id":"https://openalex.org/W2168206590","doi":"https://doi.org/10.1145/996821.996827","title":"Validation of assembler programs for DSPs","display_name":"Validation of assembler programs for DSPs","publication_year":2004,"publication_date":"2004-06-07","ids":{"openalex":"https://openalex.org/W2168206590","doi":"https://doi.org/10.1145/996821.996827","mag":"2168206590"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996827","pdf_url":null,"source":null,"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/A5057608137","display_name":"Matthieu Martel","orcid":"https://orcid.org/0000-0002-6238-9651"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Matthieu Martel","raw_affiliation_strings":["Commissariat \u00e0 l'Energie Atomique, Cedex, France"],"affiliations":[{"raw_affiliation_string":"Commissariat \u00e0 l'Energie Atomique, Cedex, France","institution_ids":["https://openalex.org/I2738703131"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057608137"],"corresponding_institution_ids":["https://openalex.org/I2738703131"],"apc_list":null,"apc_paid":null,"fwci":0.351,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":6,"citation_normalized_percentile":{"value":0.618352,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":77,"max":78},"biblio":{"volume":null,"issue":null,"first_page":"8","last_page":"13"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998,"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.9998,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9993,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9985,"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/abstract-interpretation","display_name":"Abstract Interpretation","score":0.61501515},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.45327935},{"id":"https://openalex.org/keywords/assembly-language","display_name":"Assembly language","score":0.43324932}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8501977},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.61501515},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.569894},{"id":"https://openalex.org/C84462506","wikidata":"https://www.wikidata.org/wiki/Q173142","display_name":"Digital signal processing","level":2,"score":0.55668765},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.5130107},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.48812613},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.45327935},{"id":"https://openalex.org/C50831359","wikidata":"https://www.wikidata.org/wiki/Q165436","display_name":"Assembly language","level":3,"score":0.43324932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38394195},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3704422},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.29722705},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.23160324},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/996821.996827","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.59,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":17,"referenced_works":["https://openalex.org/W1507495123","https://openalex.org/W1526045365","https://openalex.org/W1533318258","https://openalex.org/W1552628726","https://openalex.org/W1567692042","https://openalex.org/W1822341686","https://openalex.org/W2036940390","https://openalex.org/W2043100293","https://openalex.org/W2084875723","https://openalex.org/W2088514859","https://openalex.org/W2107324699","https://openalex.org/W2131243669","https://openalex.org/W2160255280","https://openalex.org/W2169004268","https://openalex.org/W2170736936","https://openalex.org/W2581716308","https://openalex.org/W3100198463"],"related_works":["https://openalex.org/W4390398728","https://openalex.org/W4232090216","https://openalex.org/W3184046748","https://openalex.org/W3099266052","https://openalex.org/W2968467529","https://openalex.org/W2966015578","https://openalex.org/W2020973245","https://openalex.org/W1508927144","https://openalex.org/W1480767630","https://openalex.org/W111020846"],"abstract_inverted_index":{"Digital":[0],"Signal":[1],"Processors":[2],"are":[3],"widely":[4],"used":[5],"in":[6],"critical":[7,14],"embedded":[8],"systems":[9],"to":[10,27,74,96],"pilot":[11],"low-level,":[12],"often":[13],"functionalities.":[15],"We":[16],"describe":[17],"a":[18,33,65],"static":[19,67],"analyzer":[20,86],"based":[21],"on":[22],"abstract":[23],"interpretation":[24],"and":[25,50,88],"designed":[26],"validate":[28],"industrial":[29],"assembler":[30,71],"programs":[31,72],"for":[32,69],"DSP.":[34],"The":[35],"validation":[36],"consists":[37],"of":[38,42,51,55],"guaranteeing":[39],"the":[40,53,85,94,98],"absence":[41],"runtime":[43],"errors":[44],"such":[45],"as":[46],"incorrect":[47],"memory":[48],"accesses":[49],"tracking":[52],"sources":[54],"inaccuracies":[56],"introduced":[57],"by":[58],"floating-point":[59],"computations.":[60],"Our":[61,81],"first":[62],"contribution":[63,83],"is":[64,84],"new":[66],"analysis":[68],"relocatable":[70],"able":[73],"cope":[75],"with":[76],"dynamically":[77],"computed":[78],"branching":[79],"addresses.":[80],"second":[82],"itself":[87],"its":[89],"graphical":[90],"interface":[91],"which":[92],"helps":[93],"user":[95],"understand":[97],"numerical":[99],"inaccuracies.":[100]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2168206590","counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2024-12-08T21:19:55.411916","created_date":"2016-06-24"}