Accéder directement au contenu

Anastasia Volkova

Chargée de recherche, Inria Lyon
19
Documents
Affiliations actuelles
Identifiants chercheurs
Contact

Publications

Image document

Towards Fixed-Point Formats Determination for Faust Programs

Agathe Herrou , Florent de Dinechin , Stéphane Letz , Yann Orlarey , Anastasia Volkova
Journées d'Informatique Musicale 2024, May 2024, Marseille, France
Communication dans un congrès hal-04489647v1
Image document

Hardware-optimal digital FIR filters: one ILP to rule them all and in faithfulness bind them

Anastasia Volkova , Florent de Dinechin , Martin Kumm
2023 Asilomar Conference on Signals, Systems, and Computers, Oct 2023, Asilomar, United States
Communication dans un congrès hal-04398268v1
Image document

Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs

Rémi Garcia , Anastasia Volkova
2023 33rd International Conference on Field-Programmable Logic and Applications (FPL), Sep 2023, Gothenburg, France. pp.137-143, ⟨10.1109/FPL60245.2023.00027⟩
Communication dans un congrès hal-03943273v1
Image document

Hardware-Aware Quantization for Multiplierless Neural Network Controllers

Tobias Habermann , Jonas Kühle , Martin Kumm , Anastasia Volkova
The IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), Nov 2022, Shenzhen, China
Communication dans un congrès hal-03908463v1
Image document

Truncated Multiple Constant Multiplication with Minimal Number of Full Adders

Rémi Garcia , Anastasia Volkova , Martin Kumm
ISCAS 2022, May 2022, Austin, Texas, United States. pp.263-267, ⟨10.1109/ISCAS48785.2022.9937441⟩
Communication dans un congrès hal-03582935v1
Image document

A New Model for the Multiple Constant Multiplication Problem

Rémi Garcia , Anastasia Volkova , Alexandre Goldsztejn
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Communication dans un congrès hal-03596159v1
Image document

Towards Arithmetic-Centered Filter Design

Florent de Dinechin , Silviu-Ioan Filip , Martin Kumm , Anastasia Volkova
ARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino, Italy. pp.1-4, ⟨10.1109/ARITH51176.2021.00032⟩
Communication dans un congrès hal-03220258v1
Image document

A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep Learning

Christoph Lauter , Anastasia Volkova
IEEE Symposium on Computer Arithmetic (ARITH), Jun 2020, Portland, United States
Communication dans un congrès hal-02473300v1
Image document

FiXiF toolbox : validated numerics for sound digital filter implementations

Anastasia Volkova
18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Sep 2018, Tokyo, Japan
Communication dans un congrès hal-02064338v1
Image document

Error analysis methods for the fixed-point implementation of linear systems

Thibault Hilaire , Anastasia Volkova
2017 IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2017, Lorient, France. ⟨10.1109/SiPS.2017.8109991⟩
Communication dans un congrès hal-02064330v1
Image document

Reliable verification of digital implemented filters against frequency specifications

Anastasia Volkova , Christoph Lauter , Thibault Hilaire
24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
Communication dans un congrès hal-01432000v3
Image document

Multiplierless Unified Architecture for Mixed Radix−2/3/4 FFTs

Fahad Qureshi , Jarmo Takala , Anastasia Volkova , Thibault Hilaire
25th European Signal Processing Conference, EUSIPCO 2017,, Aug 2017, Kos island, Greece
Communication dans un congrès hal-01528597v1
Image document

FIXED-POINT IMPLEMENTATION OF LATTICE WAVE DIGITAL FILTER: COMPARISON AND ERROR ANALYSIS

Anastasia Volkova , Thibault Hilaire
23rd European Signal Processing Conference, EUSIPCO 2015, Aug 2015, Nice, France
Communication dans un congrès hal-01175663v1