Anastasia Volkova
Chargée de recherche, Inria Lyon
20
Documents
Publications
|
Towards Fixed-Point Formats Determination for Faust ProgramsJournées d'Informatique Musicale 2024, May 2024, Marseille, France
Conference papers
hal-04489647v1
|
|
Hardware-optimal digital FIR filters: one ILP to rule them all and in faithfulness bind them2023 Asilomar Conference on Signals, Systems, and Computers, Oct 2023, Asilomar, United States
Conference papers
hal-04398268v1
|
|
Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs2023 33rd International Conference on Field-Programmable Logic and Applications (FPL), Sep 2023, Gothenburg, France. pp.137-143, ⟨10.1109/FPL60245.2023.00027⟩
Conference papers
hal-03943273v2
|
|
Hardware-Aware Quantization for Multiplierless Neural Network ControllersThe IEEE Asia Pacific Conference on Circuits and Systems (APCCAS), Nov 2022, Shenzhen, China. ⟨10.1109/APCCAS55924.2022.10090271⟩
Conference papers
hal-03908463v1
|
|
A New Model for the Multiple Constant Multiplication Problem23è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
Conference papers
hal-03596159v1
|
|
Truncated Multiple Constant Multiplication with Minimal Number of Full AddersISCAS 2022, May 2022, Austin, Texas, United States. pp.263-267, ⟨10.1109/ISCAS48785.2022.9937441⟩
Conference papers
hal-03582935v1
|
|
Towards Arithmetic-Centered Filter DesignARITH 2021 - 28th IEEE Symposium on Computer Arithmetic, Jun 2021, Torino, Italy. pp.1-4, ⟨10.1109/ARITH51176.2021.00032⟩
Conference papers
hal-03220258v1
|
|
A Framework for Semi-Automatic Precision and Accuracy Analysis for Fast and Rigorous Deep LearningIEEE Symposium on Computer Arithmetic (ARITH), Jun 2020, Portland, United States. ⟨10.1109/arith48897.2020.00023⟩
Conference papers
hal-02473300v1
|
|
FiXiF toolbox : validated numerics for sound digital filter implementations18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics., Sep 2018, Tokyo, Japan
Conference papers
hal-02064338v1
|
|
Reliable verification of digital implemented filters against frequency specifications24th IEEE Symposium on Computer Arithmetic (ARITH 24), Jul 2017, London, United Kingdom
Conference papers
hal-01432000v3
|
|
Error analysis methods for the fixed-point implementation of linear systems2017 IEEE International Workshop on Signal Processing Systems (SiPS), Oct 2017, Lorient, France. ⟨10.1109/SiPS.2017.8109991⟩
Conference papers
hal-02064330v1
|
|
Multiplierless Unified Architecture for Mixed Radix−2/3/4 FFTs25th European Signal Processing Conference, EUSIPCO 2017,, Aug 2017, Kos island, Greece
Conference papers
hal-01528597v1
|
|
FIXED-POINT IMPLEMENTATION OF LATTICE WAVE DIGITAL FILTER: COMPARISON AND ERROR ANALYSIS23rd European Signal Processing Conference, EUSIPCO 2015, Aug 2015, Nice, France
Conference papers
hal-01175663v1
|
|
Toward the Multiple Constant Multiplication at Minimal Hardware CostIEEE Transactions on Circuits and Systems I: Regular Papers, 2023, pp.1-13. ⟨10.1109/TCSI.2023.3241859⟩
Journal articles
hal-03784625v3
|
|
Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum AddersIEEE Transactions on Signal Processing, 2022, 70, pp.1673-1686. ⟨10.1109/tsp.2022.3161158⟩
Journal articles
hal-03208221v3
|
|
Arithmetic approaches for rigorous design of reliable Fixed-Point LTI filtersIEEE Transactions on Computers, 2020, 69 (4), pp.489 - 504. ⟨10.1109/TC.2019.2950658⟩
Journal articles
hal-01918650v2
|
|
Towards Hardware IIR Filters Computing Just Right: Direct Form I Case StudyIEEE Transactions on Computers, 2019, 68 (4), pp.597 - 608. ⟨10.1109/TC.2018.2879432⟩
Journal articles
hal-01561052v3
|
|
Entre performance et frugalité en TAL : Approches pour la réduction de la taille des (L)LMs2024
Preprints, Working Papers, ...
hal-04576377v1
|
|
Multiplierless Processing Element for Non-Power-of-Two FFTs2018
Preprints, Working Papers, ...
hal-01690832v1
|
|
Design of optimal multiplierless digital filtersUniversité de Nantes. 2020
Reports
hal-03940617v1
|