Matches in SemOpenAlex for { <https://semopenalex.org/work/W1951267707> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1951267707 abstract "Digital linear filters are used in a variety of applications (sound treatment, control/command, etc.), implemented in software, in hardware, or a combination thereof. For safety-critical applications, it is necessary to bound all variables and outputs of all filters. We give a compositional, effective abstraction for digital linear filters expressed as block diagrams, yielding sound, precise bounds for fixed-point or floating-point implementations of the filters." @default.
- W1951267707 created "2016-06-24" @default.
- W1951267707 creator A5067069157 @default.
- W1951267707 date "2005-10-22" @default.
- W1951267707 modified "2023-09-28" @default.
- W1951267707 title "Applying the Z-transform for the static analysis of floating-point numerical filters" @default.
- W1951267707 cites W1543301896 @default.
- W1951267707 cites W1565496780 @default.
- W1951267707 cites W1608230613 @default.
- W1951267707 cites W1755257908 @default.
- W1951267707 cites W1863722042 @default.
- W1951267707 cites W1924349676 @default.
- W1951267707 cites W1995969393 @default.
- W1951267707 cites W2034914989 @default.
- W1951267707 cites W2040237604 @default.
- W1951267707 cites W2107253903 @default.
- W1951267707 cites W2126516404 @default.
- W1951267707 cites W2129019158 @default.
- W1951267707 cites W2170736936 @default.
- W1951267707 cites W2350974888 @default.
- W1951267707 cites W2979730858 @default.
- W1951267707 hasPublicationYear "2005" @default.
- W1951267707 type Work @default.
- W1951267707 sameAs 1951267707 @default.
- W1951267707 citedByCount "0" @default.
- W1951267707 crossrefType "posted-content" @default.
- W1951267707 hasAuthorship W1951267707A5067069157 @default.
- W1951267707 hasBestOaLocation W19512677071 @default.
- W1951267707 hasConcept C11413529 @default.
- W1951267707 hasConcept C2524010 @default.
- W1951267707 hasConcept C28719098 @default.
- W1951267707 hasConcept C28826006 @default.
- W1951267707 hasConcept C33923547 @default.
- W1951267707 hasConcept C41008148 @default.
- W1951267707 hasConceptScore W1951267707C11413529 @default.
- W1951267707 hasConceptScore W1951267707C2524010 @default.
- W1951267707 hasConceptScore W1951267707C28719098 @default.
- W1951267707 hasConceptScore W1951267707C28826006 @default.
- W1951267707 hasConceptScore W1951267707C33923547 @default.
- W1951267707 hasConceptScore W1951267707C41008148 @default.
- W1951267707 hasLocation W19512677071 @default.
- W1951267707 hasLocation W19512677072 @default.
- W1951267707 hasOpenAccess W1951267707 @default.
- W1951267707 hasPrimaryLocation W19512677071 @default.
- W1951267707 hasRelatedWork W1987371472 @default.
- W1951267707 hasRelatedWork W1994109492 @default.
- W1951267707 hasRelatedWork W2089811522 @default.
- W1951267707 hasRelatedWork W2092244978 @default.
- W1951267707 hasRelatedWork W2094362282 @default.
- W1951267707 hasRelatedWork W2235062249 @default.
- W1951267707 hasRelatedWork W2351859806 @default.
- W1951267707 hasRelatedWork W2386767533 @default.
- W1951267707 hasRelatedWork W2387048280 @default.
- W1951267707 hasRelatedWork W4239376463 @default.
- W1951267707 isParatext "false" @default.
- W1951267707 isRetracted "false" @default.
- W1951267707 magId "1951267707" @default.
- W1951267707 workType "article" @default.