Matches in SemOpenAlex for { <https://semopenalex.org/work/W768858010> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W768858010 abstract "Several problems in the implementations of control systems, signal-processing systems, and scientific computing systems reduce to compiling a polynomial expression over the reals into an imperative program using fixed-point arithmetic. Fixed-point arithmetic only approximates real values, and its operators do not have the fundamental properties of real arithmetic, such as associativity. Consequently, a naive compilation process can yield a program that significantly deviates from the real polynomial, whereas a different order of evaluation can result in a program that is close to the real value on all inputs in its domain. We present a compilation scheme for real-valued arithmetic expressions to fixed-point arithmetic programs. Given a real-valued polynomial expression t, we find an expression t' that is equivalent to t over the reals, but whose implementation as a series of fixed-point operations minimizes the error between the fixed-point value and the value of t over the space of all inputs. We show that the corresponding decision problem, checking whether there is an implementation t' of t whose error is less than a given constant, is NP-hard. We then propose a solution technique based on genetic programming. Our technique evaluates the fitness of each candidate program using a static analysis based on affine arithmetic. We show that our tool can significantly reduce the error in the fixed-point implementation on a set of linear control system benchmarks. For example, our tool found implementations whose errors are only one half of the errors in the original fixed-point expressions." @default.
- W768858010 created "2016-06-24" @default.
- W768858010 creator A5008699657 @default.
- W768858010 creator A5011191138 @default.
- W768858010 creator A5053069388 @default.
- W768858010 creator A5081010207 @default.
- W768858010 date "2013-01-01" @default.
- W768858010 modified "2023-10-03" @default.
- W768858010 title "On the Generation of Precise Fixed-Point Expressions" @default.
- W768858010 cites W116303975 @default.
- W768858010 cites W1483736078 @default.
- W768858010 cites W1484879843 @default.
- W768858010 cites W1505506151 @default.
- W768858010 cites W1585803290 @default.
- W768858010 cites W1589421353 @default.
- W768858010 cites W1634557639 @default.
- W768858010 cites W1967994588 @default.
- W768858010 cites W1994417982 @default.
- W768858010 cites W1999888009 @default.
- W768858010 cites W2017301246 @default.
- W768858010 cites W2020209480 @default.
- W768858010 cites W2072118759 @default.
- W768858010 cites W2074109325 @default.
- W768858010 cites W2076810005 @default.
- W768858010 cites W2109443454 @default.
- W768858010 cites W2111990577 @default.
- W768858010 cites W2121050107 @default.
- W768858010 cites W2137856552 @default.
- W768858010 cites W2146471606 @default.
- W768858010 cites W2151625871 @default.
- W768858010 cites W2152195021 @default.
- W768858010 cites W2153316377 @default.
- W768858010 cites W2161871086 @default.
- W768858010 cites W2162087782 @default.
- W768858010 cites W258782345 @default.
- W768858010 cites W287703190 @default.
- W768858010 cites W2970507676 @default.
- W768858010 hasPublicationYear "2013" @default.
- W768858010 type Work @default.
- W768858010 sameAs 768858010 @default.
- W768858010 citedByCount "0" @default.
- W768858010 crossrefType "journal-article" @default.
- W768858010 hasAuthorship W768858010A5008699657 @default.
- W768858010 hasAuthorship W768858010A5011191138 @default.
- W768858010 hasAuthorship W768858010A5053069388 @default.
- W768858010 hasAuthorship W768858010A5081010207 @default.
- W768858010 hasConcept C11413529 @default.
- W768858010 hasConcept C118615104 @default.
- W768858010 hasConcept C134306372 @default.
- W768858010 hasConcept C167315692 @default.
- W768858010 hasConcept C202444582 @default.
- W768858010 hasConcept C33923547 @default.
- W768858010 hasConcept C41008148 @default.
- W768858010 hasConcept C61445026 @default.
- W768858010 hasConcept C90119067 @default.
- W768858010 hasConcept C92757383 @default.
- W768858010 hasConcept C94375191 @default.
- W768858010 hasConceptScore W768858010C11413529 @default.
- W768858010 hasConceptScore W768858010C118615104 @default.
- W768858010 hasConceptScore W768858010C134306372 @default.
- W768858010 hasConceptScore W768858010C167315692 @default.
- W768858010 hasConceptScore W768858010C202444582 @default.
- W768858010 hasConceptScore W768858010C33923547 @default.
- W768858010 hasConceptScore W768858010C41008148 @default.
- W768858010 hasConceptScore W768858010C61445026 @default.
- W768858010 hasConceptScore W768858010C90119067 @default.
- W768858010 hasConceptScore W768858010C92757383 @default.
- W768858010 hasConceptScore W768858010C94375191 @default.
- W768858010 hasLocation W7688580101 @default.
- W768858010 hasOpenAccess W768858010 @default.
- W768858010 hasPrimaryLocation W7688580101 @default.
- W768858010 hasRelatedWork W1272899506 @default.
- W768858010 hasRelatedWork W1493450895 @default.
- W768858010 hasRelatedWork W1600266026 @default.
- W768858010 hasRelatedWork W1649902542 @default.
- W768858010 hasRelatedWork W173700453 @default.
- W768858010 hasRelatedWork W1810520346 @default.
- W768858010 hasRelatedWork W1966562425 @default.
- W768858010 hasRelatedWork W1997618322 @default.
- W768858010 hasRelatedWork W2003858108 @default.
- W768858010 hasRelatedWork W2041091076 @default.
- W768858010 hasRelatedWork W2055215545 @default.
- W768858010 hasRelatedWork W2117675066 @default.
- W768858010 hasRelatedWork W2144832424 @default.
- W768858010 hasRelatedWork W2208919638 @default.
- W768858010 hasRelatedWork W2230531192 @default.
- W768858010 hasRelatedWork W2387624607 @default.
- W768858010 hasRelatedWork W2908171364 @default.
- W768858010 hasRelatedWork W2999129029 @default.
- W768858010 hasRelatedWork W303323397 @default.
- W768858010 hasRelatedWork W49576723 @default.
- W768858010 isParatext "false" @default.
- W768858010 isRetracted "false" @default.
- W768858010 magId "768858010" @default.
- W768858010 workType "article" @default.