Anastasia Volkova

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 28

Top Venues

CoRR

ARITH

IEEE Trans. Computers

SiPS

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey, Anastasia Volkova
Towards Fixed-Point Formats Determination for Faust Programs. CoRR (2024)
Rémi Garcia, Anastasia Volkova
Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs. FPL (2023)
Rémi Garcia, Anastasia Volkova
Toward the Multiple Constant Multiplication at Minimal Hardware Cost. IEEE Trans. Circuits Syst. I Regul. Pap. 70 (5) (2023)
Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Martin Kumm, Anastasia Volkova, Silviu-Ioan Filip
Design of Optimal Multiplierless FIR Filters With Minimal Number of Adders. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (2) (2023)
Anastasia Volkova, Rémi Garcia, Florent de Dinechin, Martin Kumm
Hardware-Optimal Digital FIR Filters: One ILP to Rule Them all and in Faithfulness Bind Them. ACSSC (2023)
Tobias Habermann, Jonas Kühle, Martin Kumm, Anastasia Volkova
Hardware-Aware Quantization for Multiplierless Neural Network Controllers. APCCAS (2022)
Rémi Garcia, Anastasia Volkova, Martin Kumm
Truncated Multiple Constant Multiplication with Minimal Number of Full Adders. ISCAS (2022)
Rémi Garcia, Anastasia Volkova, Martin Kumm, Alexandre Goldsztejn, Jonas Kühle
Hardware-Aware Design of Multiplierless Second-Order IIR Filters With Minimum Adders. IEEE Trans. Signal Process. 70 (2022)
Rémi Garcia, Anastasia Volkova
Towards the Multiple Constant Multiplication at Minimal Hardware Cost. CoRR (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. ITP (2022)
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
Dandelion: Certified Approximations of Elementary Functions. CoRR (2022)
Rémi Garcia, Anastasia Volkova, Martin Kumm, Alexandre Goldsztejn, Jonas Kühle
Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum Adders. CoRR (2021)
Florent de Dinechin, Silviu-Ioan Filip, Martin Kumm, Anastasia Volkova
Towards Arithmetic-Centered Filter Design. ARITH (2021)
Christoph Quirin Lauter, Anastasia Volkova
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. CoRR (2020)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters. IEEE Trans. Computers 69 (4) (2020)
Christoph Quirin Lauter, Anastasia Volkova
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning. ARITH (2020)
Anastasia Volkova, Jean-Michel Muller
Semi-Automatic Implementation of the Complementary Error Function. ARITH (2019)
Eva Darulova, Anastasia Volkova
Sound Approximation of Programs with Elementary Functions. CAV (2) (2019)
Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. IEEE Trans. Computers 68 (4) (2019)
Eva Darulova, Anastasia Volkova
Sound Approximation of Programs with Elementary Functions. CoRR (2018)
Thibault Hilaire, Anastasia Volkova
Error analysis methods for the fixed-point implementation of linear systems. SiPS (2017)
Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire
Reliable Verification of Digital Implemented Filters Against Frequency Specifications. ARITH (2017)
Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire
Multiplierless unified architecture for mixed radix-2/3/4 FFTs. EUSIPCO (2017)
Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson
Reliable Fixed-Point Implementation of Linear Data-Flows. SiPS (2016)
Anastasia Volkova, Thibault Hilaire
Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis. EUSIPCO (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision. ARITH (2015)
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure. ACSSC (2015)

Anastasia Volkova.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anastasia Volkova