Anastasia Volkova

32 papers B 2C 7Misc 2Journal 14Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoMa: Contextual Massing Generation with Vision-Language Models.
CoRR
Evgenii Maslov, Valentin Khrulkov, Anastasia Volkova, Anton Gusarov, Andrey Kuznetsov, Ivan V. Oseledets
2025 J jnl
Multi-Agent GraphRAG: A Text-to-Cypher Framework for Labeled Property Graphs.
CoRR
Anton Gusarov, Anastasia Volkova, Valentin Khrulkov, Andrey Kuznetsov, Evgenii Maslov, Ivan V. Oseledets
2025 C conf
Towards optimal reconfigurable constant multipliers.
DSD
Bastien Barbe, Xiao Peng, Anastasia Volkova, Florent de Dinechin
2024 J jnl
Towards Fixed-Point Formats Determination for Faust Programs.
CoRR
Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey, Anastasia Volkova
2023 J jnl
Design of Optimal Multiplierless FIR Filters With Minimal Number of Adders.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Martin Kumm, Anastasia Volkova, Silviu-Ioan Filip
2023 Misc conf
Hardware-Optimal Digital FIR Filters: One ILP to Rule Them all and in Faithfulness Bind Them.
ACSSC
Anastasia Volkova, Rémi Garcia, Florent de Dinechin, Martin Kumm
2023 B conf
Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs.
FPL
Rémi Garcia, Anastasia Volkova
2023 J jnl
Sound Mixed Fixed-Point Quantization of Neural Networks.
ACM Trans. Embed. Comput. Syst.
Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, Eva Darulova
2023 J jnl
Toward the Multiple Constant Multiplication at Minimal Hardware Cost.
IEEE Trans. Circuits Syst. I Regul. Pap.
Rémi Garcia, Anastasia Volkova
2022 B conf
Dandelion: Certified Approximations of Elementary Functions.
ITP
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Dandelion: Certified Approximations of Elementary Functions.
CoRR
Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
2022 J jnl
Hardware-Aware Design of Multiplierless Second-Order IIR Filters With Minimum Adders.
IEEE Trans. Signal Process.
Rémi Garcia, Anastasia Volkova, Martin Kumm, Alexandre Goldsztejn, Jonas Kühle
2022 — conf
Hardware-Aware Quantization for Multiplierless Neural Network Controllers.
APCCAS
Tobias Habermann, Jonas Kühle, Martin Kumm, Anastasia Volkova
2022 J jnl
Towards the Multiple Constant Multiplication at Minimal Hardware Cost.
CoRR
Rémi Garcia, Anastasia Volkova
2022 C conf
Truncated Multiple Constant Multiplication with Minimal Number of Full Adders.
ISCAS
Rémi Garcia, Anastasia Volkova, Martin Kumm
2021 J jnl
Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum Adders.
CoRR
Rémi Garcia, Anastasia Volkova, Martin Kumm, Alexandre Goldsztejn, Jonas Kühle
2021 C conf
Towards Arithmetic-Centered Filter Design.
ARITH
Florent de Dinechin, Silviu-Ioan Filip, Martin Kumm, Anastasia Volkova
2020 C conf
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning.
ARITH
Christoph Quirin Lauter, Anastasia Volkova
2020 J jnl
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning.
CoRR
Christoph Quirin Lauter, Anastasia Volkova
2020 J jnl
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters.
IEEE Trans. Computers
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
2019 C conf
Semi-Automatic Implementation of the Complementary Error Function.
ARITH
Anastasia Volkova, Jean-Michel Muller
2019 — conf
Sound Approximation of Programs with Elementary Functions.
CAV (2)
Eva Darulova, Anastasia Volkova
2019 J jnl
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study.
IEEE Trans. Computers
Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire
2018 J jnl
Sound Approximation of Programs with Elementary Functions.
CoRR
Eva Darulova, Anastasia Volkova
2017 — conf
Error analysis methods for the fixed-point implementation of linear systems.
SiPS
Thibault Hilaire, Anastasia Volkova
2017 — conf
Multiplierless unified architecture for mixed radix-2/3/4 FFTs.
EUSIPCO
Fahad Qureshi, Jarmo Takala, Anastasia Volkova, Thibault Hilaire
2017 C conf
Reliable Verification of Digital Implemented Filters Against Frequency Specifications.
ARITH
Anastasia Volkova, Christoph Quirin Lauter, Thibault Hilaire
2017 — —
Towards reliable implementation of digital filters. (Vers une implémentation fiable des filtres numériques).
Anastasia Volkova
2016 — conf
Reliable Fixed-Point Implementation of Linear Data-Flows.
SiPS
Thibault Hilaire, Anastasia Volkova, Maminionja Ravoson
2015 Misc conf
Determining fixed-point formats for a digital filter implementation using the worst-case peak gain measure.
ACSSC
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter
2015 — conf
Fixed-point implementation of Lattice Wave Digital Filter: Comparison and error analysis.
EUSIPCO
Anastasia Volkova, Thibault Hilaire
2015 C conf
Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision.
ARITH
Anastasia Volkova, Thibault Hilaire, Christoph Quirin Lauter