Towards Fixed-Point Formats Determination for Faust Programs

Autor: Herrou, Agathe, de Dinechin, Florent, Letz, Stéphane, Orlarey, Yann, Volkova, Anastasia

Publikováno v: Journ{\'e}es d'Informatique Musicale 2024, May 2024, Marseille, France

Modern programmable digital signal processing relies on floating-point numbers for their ease of use. Fixed-point number formats have the potential to save resources and improve execution time, but realising this potential burdens the programmer with

Externí odkaz: http://arxiv.org/abs/2403.06527

On Higher-Order Probabilistic Subrecursion

Autor: Breuvart, Flavien, Lago, Ugo Dal, Herrou, Agathe

Publikováno v: Logical Methods in Computer Science, Volume 17, Issue 4 (December 23, 2021) lmcs:4226

We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice operators may r

Externí odkaz: http://arxiv.org/abs/1701.04786

On Higher-Order Probabilistic Subrecursion

Autor: Ugo Dal Lago, Flavien Breuvart, Agathe Herrou

Publikováno v: FoSSaCS 2017-20th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS 2017-20th International Conference on Foundations of Software Science and Computation Structures, Apr 2017, Uppsala, Sweden. pp.370-386, ⟨10.1007/978-3-662-54458-7_22⟩
Lecture Notes in Computer Science ISBN: 9783662544570
FoSSaCS

We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice operators may r

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ee865ab4d299187779118ffcf7b5e26
http://arxiv.org/abs/1701.04786