Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Izycheva, Anastasiia
6  Ergebnisse:
Personensuche X
?
1

Regime Inference for Sound Floating-Point Optimizations:

Rabe, Robert ; Izycheva, Anastasiia ; Darulova, Eva
ACM Transactions on Embedded Computing Systems (TECS).  20 (2021)  5s - p. 1-23 , 2021
Link: https://dl.acm.org/doi/1..
 
?
2

Regime Inference for Sound Floating-Point Optimizations:

Rabe, Robert ; Izycheva, Anastasiia ; Darulova, Eva
ACM Transactions on Embedded Computing Systems.  20 (2021)  5s - p. 1-23 , 2021
Link: https://doi.org/10.1145/..
 
?
3

Counterexample- and Simulation-Guided Floating-Point Loop I..:

, In: Static Analysis; Lecture Notes in Computer Science,
Izycheva, Anastasiia ; Darulova, Eva ; Seidl, Helmut - p. 156-177 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Synthesizing Efficient Low-Precision Kernels:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Izycheva, Anastasiia ; Darulova, Eva ; Seidl, Helmut - p. 294-313 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Daisy - Framework for Analysis and Optimization of Numerica..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Darulova, Eva ; Izycheva, Anastasiia ; Nasir, Fariha... - p. 270-287 , 2018
Link: https://doi.org/10.1007/..
 
?
6

On Sound Relative Error Bounds for Floating-Point Arithmeti:

Izycheva, Anastasiia ; Darulova, Eva
http://arxiv.org/abs/1707.02121.  , 2017
Link: http://arxiv.org/abs/170..
 
1-6