FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401213703> ?p ?o ?g. }

• W2401213703 abstract "Currently, digital filters are employed in a wide range of signal processing applications, using fixed- and floating-point processors. Regarding the former, some filter implementations may be highly prone to errors, due to problems related to finite word-length. In particular, signal processing modules may produce overflows and unwanted noise, which are caused by quantization and round-off effects, during accumulative-addition and multiplication operations. As a consequence, the system output may overflow or even keep oscillating, which compromises the expected system performance. The present paper addresses this problem and proposes a new methodology for verifying digital filters, called digital systems verifier, which is based on state-of-the-art bounded model checkers that support full C and employ solvers for boolean satisfiability and satisfiability modulo theories. In addition to verifying overflow and limit-cycle occurrences, the present approach can also check output errors and time constraints, based on discrete-time models implemented in C. Experiments conducted during this work show that the proposed methodology is effective, when finding realistic design errors with respect to fixed-point implementations of digital filters. Going further than previous attempts, the present results suggest that the proposed method, in addition to helping designers in determining the number of bits for fixed-point representations, can also aid in defining details about filter realization and structure." @default.
• W2401213703 created "2016-06-24" @default.
• W2401213703 creator A5012858589 @default.
• W2401213703 creator A5057689302 @default.
• W2401213703 creator A5058282696 @default.
• W2401213703 creator A5058604794 @default.
• W2401213703 creator A5062523163 @default.
• W2401213703 date "2016-05-20" @default.
• W2401213703 modified "2023-10-06" @default.
• W2401213703 title "Bounded model checking for fixed-point digital filters" @default.
• W2401213703 cites W124815405 @default.
• W2401213703 cites W1517351977 @default.
• W2401213703 cites W1530339963 @default.
• W2401213703 cites W1982893663 @default.
• W2401213703 cites W1990702779 @default.
• W2401213703 cites W1994134378 @default.
• W2401213703 cites W1997458796 @default.
• W2401213703 cites W2010619525 @default.
• W2401213703 cites W2017379417 @default.
• W2401213703 cites W2021926350 @default.
• W2401213703 cites W2029320569 @default.
• W2401213703 cites W2036870239 @default.
• W2401213703 cites W2075202684 @default.
• W2401213703 cites W2083218415 @default.
• W2401213703 cites W2096445393 @default.
• W2401213703 cites W2107945774 @default.
• W2401213703 cites W2111620515 @default.
• W2401213703 cites W2133057837 @default.
• W2401213703 cites W2133553149 @default.
• W2401213703 cites W2133649162 @default.
• W2401213703 cites W2146081600 @default.
• W2401213703 cites W2149255175 @default.
• W2401213703 cites W2150755110 @default.
• W2401213703 cites W2161246680 @default.
• W2401213703 cites W2171319130 @default.
• W2401213703 cites W2178885914 @default.
• W2401213703 cites W2270904185 @default.
• W2401213703 cites W2583598962 @default.
• W2401213703 cites W2949558051 @default.
• W2401213703 cites W2963910610 @default.
• W2401213703 cites W4249484115 @default.
• W2401213703 doi "https://doi.org/10.1186/s13173-016-0041-8" @default.
• W2401213703 hasPublicationYear "2016" @default.
• W2401213703 type Work @default.
• W2401213703 sameAs 2401213703 @default.
• W2401213703 citedByCount "16" @default.
• W2401213703 countsByYear W24012137032016 @default.
• W2401213703 countsByYear W24012137032017 @default.
• W2401213703 countsByYear W24012137032018 @default.
• W2401213703 countsByYear W24012137032019 @default.
• W2401213703 countsByYear W24012137032020 @default.
• W2401213703 countsByYear W24012137032021 @default.
• W2401213703 countsByYear W24012137032022 @default.
• W2401213703 crossrefType "journal-article" @default.
• W2401213703 hasAuthorship W2401213703A5012858589 @default.
• W2401213703 hasAuthorship W2401213703A5057689302 @default.
• W2401213703 hasAuthorship W2401213703A5058282696 @default.
• W2401213703 hasAuthorship W2401213703A5058604794 @default.
• W2401213703 hasAuthorship W2401213703A5062523163 @default.
• W2401213703 hasBestOaLocation W24012137031 @default.
• W2401213703 hasConcept C106131492 @default.
• W2401213703 hasConcept C113775141 @default.
• W2401213703 hasConcept C11413529 @default.
• W2401213703 hasConcept C118615104 @default.
• W2401213703 hasConcept C134306372 @default.
• W2401213703 hasConcept C163973906 @default.
• W2401213703 hasConcept C199360897 @default.
• W2401213703 hasConcept C26713055 @default.
• W2401213703 hasConcept C28855332 @default.
• W2401213703 hasConcept C31972630 @default.
• W2401213703 hasConcept C33923547 @default.
• W2401213703 hasConcept C34388435 @default.
• W2401213703 hasConcept C36390408 @default.
• W2401213703 hasConcept C41008148 @default.
• W2401213703 hasConcept C54732982 @default.
• W2401213703 hasConcept C61445026 @default.
• W2401213703 hasConcept C80444323 @default.
• W2401213703 hasConcept C84211073 @default.
• W2401213703 hasConceptScore W2401213703C106131492 @default.
• W2401213703 hasConceptScore W2401213703C113775141 @default.
• W2401213703 hasConceptScore W2401213703C11413529 @default.
• W2401213703 hasConceptScore W2401213703C118615104 @default.
• W2401213703 hasConceptScore W2401213703C134306372 @default.
• W2401213703 hasConceptScore W2401213703C163973906 @default.
• W2401213703 hasConceptScore W2401213703C199360897 @default.
• W2401213703 hasConceptScore W2401213703C26713055 @default.
• W2401213703 hasConceptScore W2401213703C28855332 @default.
• W2401213703 hasConceptScore W2401213703C31972630 @default.
• W2401213703 hasConceptScore W2401213703C33923547 @default.
• W2401213703 hasConceptScore W2401213703C34388435 @default.
• W2401213703 hasConceptScore W2401213703C36390408 @default.
• W2401213703 hasConceptScore W2401213703C41008148 @default.
• W2401213703 hasConceptScore W2401213703C54732982 @default.
• W2401213703 hasConceptScore W2401213703C61445026 @default.
• W2401213703 hasConceptScore W2401213703C80444323 @default.
• W2401213703 hasConceptScore W2401213703C84211073 @default.
• W2401213703 hasFunder F4320322025 @default.
• W2401213703 hasFunder F4320322994 @default.
• W2401213703 hasIssue "1" @default.
• W2401213703 hasLocation W24012137031 @default.

• next