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