Publications

PhD thesis

International journals

  • A. Volkova, M. Istoan, F. de Dinechin and T. Hilaire, “Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study”. IEEE Transactions on Computers [preprint] [ieeexplore]

International peer-reviewed conferences

  • F. Qureshi, A. Volkova, J. Takala and T. Hilaire. Multiplierless Unified Architecture for Mixed Radix-2/3/4 FFTs. In 25th European Signal Processing Conference, Aug 2017  [preprint]
  • A. Volkova, C. Lauter and T. Hilaire. Reliable verification of digital implemented filters against frequency specifications. In Computer Arithmetic (ARITH), 2017 IEEE 24th Symposium on 2017, Jul 2017 [long version]
  • A. Volkova, T. Hilaire and C. Lauter, “Determining Fixed-Point Formats for a Digital Filter Implementation using the Worst-Case Peak Gain Measure,” in 49th Asilomar Conference on Signals, Systems and Computers, pages 737-741, 8-11 November 2015 [ieeexplore], [preprint]
  • A.Volkova,  T. Hilaire and C. Lauter, “Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision,” in Computer Arithmetic (ARITH), 2015 IEEE 22nd Symposium on , pp.96-103, 22-24 June 2015 [ieeexplore], [preprint]
  • A. Volkova andT. Hilaire, “Fixed-Point Implementation of Lattice Wave Digital Filter: Comparison and Error Analysis“, in 23rd European Signal Processing Conference, EUSIPCO 2015, pp.1123 – 1127, 31 August – 4 September, 2015 [ieeexplore], [preprint]

International peer-reviewed workshops

  • T. Hilaire and A. Volkova Error analysis methods for the fixed-point implementation of linear systems In IEEE Workshop on Signal Processing Systems (SiPS) 2017, October 2017 [ieeexplore]
  • T. Hilaire, A. Volkova and M. Ravoson. Reliable fixed-point implementation of linear data-flows. In IEEE Workshop on Signal Processing Systems (SiPS) 2016, Oct 2016 [ieeexplore], [preprint]

Abstracts and reports

  • A. Volkova “FiXiF toolbox: numerically reliable digital filters”. Abstract in 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN), 2018
  • F. Qureshi, A. Volkova, T. Hilaire, and J. Takala “Multiplierless Processing Element for Non-Power-of-Two FFTs”. Research report [HAL]
  • A. Volkova, C. Lauter and T. Hilaire. Computing the Worst-Case Peak Gain of Digital Filter in Interval Arithmetic. Abstract In 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN), Sep 2016  [abstract]
  • Anastasia Volkova “Mid-term thesis report: Towards unified code generation for libms and filters.” 2014. [pdf]
  • Anastasia Volkova, Thibault Hilaire, Christoph Lauter. “Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision”.(Long version) 2014. [preprint]

Submitted

  • Eva Darulova, Anastasia Volkova “Sound approximation of programs with elementary functions”. Submitted to the VMCAI conference, 2018. [preprint]
  • Anastasia Volkova, Thibault Hilaire, Christoph Lauter. “Arithmetic approaches for rigorous design of reliable fixed-point LTI filters”. Submitted to the IEEE Transactions on Computers, 2018. [preprint]

 

chart

Advertisements