Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation
Συγγραφείς: Das, A., Tirpankar, T., Gopalakrishnan, G., Krishnamoorthy, S.
Πηγή: 2021 IEEE International Conference on Cluster Computing (CLUSTER) CLUSTER Cluster Computing (CLUSTER), 2021 IEEE International Conference on. :481-491 Sep, 2021
Relation: 2021 IEEE International Conference on Cluster Computing (CLUSTER)
Βάση Δεδομένων: IEEE Xplore Digital Library
Περιγραφή
ISBN:9781728196664
ISSN:21689253
DOI:10.1109/Cluster48925.2021.00055