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

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/..
 
?
2

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/..
 
?
3

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/..
 
1-3