Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Diane Gallois-Wong"'
Publikováno v:
ARITH 2020-IEEE 27th Symposium on Computer Arithmetic
ARITH 2020-IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
ARITH
ARITH 2020-IEEE 27th Symposium on Computer Arithmetic, Jun 2020, Portland, United States. pp.9-16, ⟨10.1109/ARITH48897.2020.00011⟩
ARITH
International audience; Dot products (also called sums of products) are ubiquitous in matrix computations, for instance in signal processing. We are especially interested in digital filters, where they are the core operation. We therefore focus on fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63458dd5b967b2dfc71632b02a2cfc4a
https://hal.inria.fr/hal-02982017
https://hal.inria.fr/hal-02982017
Publikováno v:
Numerical Algorithms
Numerical Algorithms, Springer Verlag, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Numerical Algorithms, inPress, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Numerical Algorithms, Springer Verlag, In press, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
Numerical Algorithms, inPress, 83 (3), pp.957--986. ⟨10.1007/s11075-019-00711-z⟩
International audience; In a setting where we have intervals for the values of floating-point variables x, a, and b, we are interested in improving these intervals when the floating-point equality $x ⊕ a = $b holds. This problem is common in constr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4c0e75cd128d9bd43b6802ebd839f4d
https://hal.inria.fr/hal-01939097/document
https://hal.inria.fr/hal-01939097/document
Publikováno v:
CICM 2018-11th Conference on Intelligent Computer Mathematics
CICM 2018-11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Lecture Notes in Computer Science ISBN: 9783319968117
CICM
The 11th Conference on Intelligent Computer Mathematics
The 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. 〈https://www.cicm-conference.org/2018/cicm.php〉
CICM 2018-11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. pp.87--103, ⟨10.1007/978-3-319-96812-4_8⟩
Lecture Notes in Computer Science ISBN: 9783319968117
CICM
The 11th Conference on Intelligent Computer Mathematics
The 11th Conference on Intelligent Computer Mathematics, Aug 2018, Hagenberg, Austria. 〈https://www.cicm-conference.org/2018/cicm.php〉
International audience; Digital filters are small iterative algorithms, used as basic bricks in signal processing (filters) and control theory (controllers). They receive as input a stream of values, and output another stream of values, computed from
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1de7bd967ab6853f81ac84828e0ea9db
https://inria.hal.science/hal-01728828v2/file/CICM18.pdf
https://inria.hal.science/hal-01728828v2/file/CICM18.pdf
Autor:
Diane Gallois-Wong, John Hughes, Cătălin Hriţcu, Li-yao Xia, Leonidas Lampropoulos, Benjamin C. Pierce
Publikováno v:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
POPL
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages-POPL 2017
POPL
Property-based random testing a la QuickCheck requires building efficient generators for well-distributed random data satisfying complex logical predicates, but writing these generators can be difficult and error prone. We propose a domain-specific l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f6ad507fce2da951ecc95b6be7b6dd2