메뉴 건너뛰기
Lecture Notes in Computer Science
Volumn 3576, Issue , 2005, Pages 199-212
Compositional analysis of floating-point linear numerical filters
Author keywords

[No Author keywords available]
Indexed keywords

ACCIDENT PREVENTION; COMPUTER HARDWARE; COMPUTER SOFTWARE; NUMERICAL METHODS;
EID: 26444602364     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_21     Document Type: Conference Paper
Times cited : (19)
References (12)
  • 2
    • 0031273351 scopus 로고    scopus 로고
    • Roundoff noise analysis of state-space digital filters implemented on floating-point digital signal processors
    • Bruce W. Bomar et al. Roundoff noise analysis of state-space digital filters implemented on floating-point digital signal processors. IEEE Trans. on Circuits and Systems II, 44(11):952-955, 1997.
    • (1997) IEEE Trans. on Circuits and Systems II , vol.44 , Issue.11 , pp. 952-955
    • Bomar, B.W.1
  • 3
    • 24644450827 scopus 로고    scopus 로고
    • The ASTRÉE analyzer
    • number 3444 in LNCS
    • P. Cousot et al. The ASTRÉE analyzer. In ESOP, number 3444 in LNCS, pages 21-30, 2005.
    • (2005) ESOP , pp. 21-30
    • Cousot, P.1
  • 4
    • 33748988364 scopus 로고    scopus 로고
    • Static analysis of digital filters
    • number 2986 in Lecture Notes in Computer Science. Springer-Verlag
    • Jérôme Feret. Static analysis of digital filters. In ESOP'04, number 2986 in Lecture Notes in Computer Science. Springer-Verlag, 2004.
    • (2004) ESOP'04
    • Feret, J.1
  • 6
    • 84990442907 scopus 로고
    • On the interaction of roundoff noise and dynamic range in digital filters
    • February
    • Leland B. Jackson. On the interaction of roundoff noise and dynamic range in digital filters. The Bell System Technical J., 49(2): 159-184, February 1970.
    • (1970) The Bell System Technical J. , vol.49 , Issue.2 , pp. 159-184
    • Jackson, L.B.1
  • 8
    • 0038039932 scopus 로고    scopus 로고
    • Linear analysis and optimization of stream programs
    • ACM
    • Andrew A. Lamb, William Thies, and Saman Amarasinghe. Linear analysis and optimization of stream programs. In PLDI'03, pages 12-25. ACM, 2003.
    • (2003) PLDI'03 , pp. 12-25
    • Lamb, A.A.1    Thies, W.2    Amarasinghe, S.3
  • 9
    • 35048893340 scopus 로고    scopus 로고
    • Relational abstract domains for the detection of floating-point run-time errors
    • ESOP'04, Springer
    • A. Miné. Relational abstract domains for the detection of floating-point run-time errors. In ESOP'04, volume 2986 of LNCS, pages 3-17. Springer, 2004.
    • (2004) LNCS , vol.2986 , pp. 3-17
    • Miné, A.1
  • 10
    • 0026622170 scopus 로고
    • Floating point arithmetic and digital filters
    • January
    • Bhaskar D. Rao. Floating point arithmetic and digital filters. IEEE Trans. on Signal Processing, 40(1):85-95, January 1992.
    • (1992) IEEE Trans. on Signal Processing , vol.40 , Issue.1 , pp. 85-95
    • Rao, B.D.1
  • 11
    • 24344460541 scopus 로고    scopus 로고
    • Modeling, optimization and computation for software verification
    • number 3414 in Lecture Notes in Computer Science, Springer Verlag
    • M. Roozbehani, E. Feron, and A. Megretski. Modeling, optimization and computation for software verification. In HSCC, number 3414 in Lecture Notes in Computer Science, page 606. Springer Verlag, 2005.
    • (2005) HSCC , pp. 606
    • Roozbehani, M.1    Feron, E.2    Megretski, A.3
  • 12
    • 0041841198 scopus 로고    scopus 로고
    • Ten methods to bound multiple roots of polynomials
    • Siegfried M. Rump. Ten methods to bound multiple roots of polynomials. J. of Computational and Applied Math., 156(2):403-432, 2003.
    • (2003) J. of Computational and Applied Math. , vol.156 , Issue.2 , pp. 403-432
    • Rump, S.M.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.