{"id":"https://openalex.org/W6929260574","doi":"https://doi.org/10.4230/oasics.parma-ditam.2025.2","title":"Custom Floating-Point Computations for the Optimization of ODE Solvers on FPGA","display_name":"Custom Floating-Point Computations for the Optimization of ODE Solvers on FPGA","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W6929260574","doi":"https://doi.org/10.4230/oasics.parma-ditam.2025.2"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:22906","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2025.2","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol127-parma-ditam2025/OASIcs.PARMA-DITAM.2025.2/OASIcs.PARMA-DITAM.2025.2.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol127-parma-ditam2025/OASIcs.PARMA-DITAM.2025.2/OASIcs.PARMA-DITAM.2025.2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Curzel, Serena","orcid":"https://orcid.org/0000-0002-8202-1627"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Curzel, Serena","raw_affiliation_strings":["Politecnico di Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8202-1627","affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"last","author":{"id":null,"display_name":"Gribaudo, Marco","orcid":"https://orcid.org/0000-0002-1415-5287"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gribaudo, Marco","raw_affiliation_strings":["Politecnico di Milano, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1415-5287","affiliations":[{"raw_affiliation_string":"Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I93860229"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4425239,"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":true,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.37869998812675476,"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"}},"topics":[{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.37869998812675476,"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.25360000133514404,"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/T10142","display_name":"Formal Methods in Verification","score":0.09549999982118607,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.8349999785423279},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.633400022983551},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6140000224113464},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5853999853134155},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5852000117301941},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.48739999532699585},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.47929999232292175}],"concepts":[{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.8349999785423279},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7003999948501587},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.633400022983551},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6140000224113464},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5853999853134155},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5852000117301941},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.48739999532699585},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.47929999232292175},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.4059999883174896},{"id":"https://openalex.org/C87186988","wikidata":"https://www.wikidata.org/wiki/Q452197","display_name":"SBML","level":4,"score":0.38960000872612},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3864000141620636},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.35019999742507935},{"id":"https://openalex.org/C183003079","wikidata":"https://www.wikidata.org/wiki/Q1000371","display_name":"Personalization","level":2,"score":0.34310001134872437},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2987000048160553},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.2775000035762787},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.26910001039505005},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C48753275","wikidata":"https://www.wikidata.org/wiki/Q11216","display_name":"Numerical analysis","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25929999351501465},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:22906","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2025.2","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol127-parma-ditam2025/OASIcs.PARMA-DITAM.2025.2/OASIcs.PARMA-DITAM.2025.2.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"pmh:oai:re.public.polimi.it:11311/1285808","is_oa":true,"landing_page_url":"https://hdl.handle.net/11311/1285808","pdf_url":null,"source":{"id":"https://openalex.org/S4306400312","display_name":"Virtual Community of Pathological Anatomy (University of Castilla La Mancha)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79189158","host_organization_name":"University of Castilla-La Mancha","host_organization_lineage":["https://openalex.org/I79189158"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.4230/oasics.parma-ditam.2025.2","is_oa":true,"landing_page_url":"https://doi.org/10.4230/oasics.parma-ditam.2025.2","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:22906","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2025.2","pdf_url":"https://drops.dagstuhl.de/storage/01oasics/oasics-vol127-parma-ditam2025/OASIcs.PARMA-DITAM.2025.2/OASIcs.PARMA-DITAM.2025.2.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},"sustainable_development_goals":[{"score":0.9039613604545593,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G507880695","display_name":null,"funder_award_id":"PE00000014","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W6929260574.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Mean":[0],"Field":[1,41],"Analysis":[2],"and":[3,21,53,73,107,158],"Markovian":[4],"Agents":[5],"are":[6,67],"powerful":[7],"techniques":[8],"for":[9,17,99],"modeling":[10],"complex":[11],"systems":[12,30,39],"of":[13,31,59,86,92,105,120],"distributed":[14],"interacting":[15],"objects,":[16],"which":[18],"efficient":[19],"analytical":[20],"numerical":[22],"solution":[23],"algorithms":[24],"can":[25],"be":[26,71],"implemented":[27,76],"through":[28,135],"linear":[29],"ordinary":[32],"differential":[33],"equations":[34],"(ODEs).":[35],"Solving":[36],"such":[37],"ODE":[38,100],"on":[40,77],"Programmable":[42],"Gate":[43],"Arrays":[44],"(FPGAs)":[45],"is":[46],"a":[47],"promising":[48,153],"alternative":[49],"to":[50,70,129,151],"traditional":[51],"CPU-":[52],"GPU-based":[54],"approaches,":[55],"especially":[56],"in":[57,138],"terms":[58],"energy":[60],"consumption;":[61],"however,":[62],"the":[63,84,121,139],"floating-point":[64,94,133],"computations":[65],"required":[66],"generally":[68],"thought":[69],"slow":[72,128],"inefficient":[74],"when":[75],"FPGA.":[78],"In":[79],"this":[80],"paper,":[81],"we":[82,141],"demonstrate":[83],"use":[85],"High-Level":[87],"Synthesis":[88],"with":[89,102],"automated":[90,145],"customization":[91],"low-precision":[93],"calculations,":[95],"obtaining":[96],"hardware":[97],"accelerators":[98],"solvers":[101],"improved":[103],"quality":[104],"results":[106],"minimal":[108],"output":[109],"error.":[110],"The":[111],"proposed":[112],"methodology":[113],"does":[114],"not":[115],"require":[116],"any":[117,131],"manual":[118],"rewriting":[119],"solver":[122],"code,":[123],"but":[124],"it":[125],"remains":[126],"prohibitively":[127],"evaluate":[130],"possible":[132],"configuration":[134],"logic":[136],"synthesis;":[137],"future,":[140],"will":[142],"thus":[143],"implement":[144],"design":[146],"space":[147],"exploration":[148],"methods":[149],"able":[150],"suggest":[152],"configurations":[154],"under":[155],"user-defined":[156],"accuracy":[157],"performance":[159],"constraints.":[160]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}