المؤلفون: Hückelheim, Jan, Hascoët, Laurent

المساهمون: Mathematics and Computer Science Division ANL (MCS), Argonne National Laboratory Lemont (ANL), Transformations et outils informatiques pour le calcul scientifique (Ecuador), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: ICPP 2022 - 51st International Conference on Parallel Processing ; https://inria.hal.science/hal-03923346 ; ICPP 2022 - 51st International Conference on Parallel Processing, Aug 2022, Bordeaux, France. ⟨10.1145/3545008.3545089⟩

مصطلحات موضوعية: Automatic Differentiation, OpenMP, Theorem Proving, Formal Methods, Data Flow Reversal, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

جغرافية الموضوع: Bordeaux, France

Relation: hal-03923346; https://inria.hal.science/hal-03923346; https://inria.hal.science/hal-03923346/document; https://inria.hal.science/hal-03923346/file/pap492s3-file1.pdf

الاتاحة: https://inria.hal.science/hal-03923346
https://inria.hal.science/hal-03923346/document
https://inria.hal.science/hal-03923346/file/pap492s3-file1.pdf
https://doi.org/10.1145/3545008.3545089

المؤلفون: Hascoet, Laurent

المساهمون: Transformations et outils informatiques pour le calcul scientifique (Ecuador), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria Sophia Antipolis - Méditerranée

المصدر: https://inria.hal.science/hal-03291836 ; [Research Report] RR-9416, Inria Sophia Antipolis - Méditerranée. 2021, pp.18.

مصطلحات موضوعية: Garbage Collection, Dynamic Memory, Data-Flow Reversal, Automatic Differentiation, Algorithmic Differentiation, Différentiation Algorithmique, Différentiation Automatique, Mémoire Dynamique, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: Report N°: RR-9416; hal-03291836; https://inria.hal.science/hal-03291836; https://inria.hal.science/hal-03291836/document; https://inria.hal.science/hal-03291836/file/RR-9416.pdf

الاتاحة: https://inria.hal.science/hal-03291836
https://inria.hal.science/hal-03291836/document
https://inria.hal.science/hal-03291836/file/RR-9416.pdf

المؤلفون: Hascoët, Laurent

المساهمون: Transformations et outils informatiques pour le calcul scientifique (Ecuador), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-04391758 ; ACM Transactions on Mathematical Software, 2023, ⟨10.1145/3627537⟩.

مصطلحات موضوعية: Automatic Differentiation, data-flow reversal, dynamic memory, garbage collection, [INFO]Computer Science [cs]

Relation: hal-04391758; https://inria.hal.science/hal-04391758

الاتاحة: https://inria.hal.science/hal-04391758
https://doi.org/10.1145/3627537

المؤلفون: Jan Hückelheim, Laurent Hascoët

المساهمون: Mathematics and Computer Science Division [ANL] (MCS), Argonne National Laboratory [Lemont] (ANL), Transformations et outils informatiques pour le calcul scientifique (Ecuador), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: PPoPP 2022 / 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
PPoPP 2022 / 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Apr 2022, Seoul, South Korea. ACM, pp.463-464, ⟨10.1145/3503221.3508442⟩
ICPP 2022-51st International Conference on Parallel Processing
ICPP 2022-51st International Conference on Parallel Processing, Aug 2022, Bordeaux, France. ⟨10.1145/3545008.3545089⟩

مصطلحات موضوعية: Data Flow Reversal, Automatic Differentiation, Theorem Proving, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], OpenMP, Formal Methods

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e2456f4e81d0d4f8cbe7566f2a860e7
https://inria.hal.science/hal-03923261

المؤلفون: Hascoet, Laurent

المساهمون: Transformations et outils informatiques pour le calcul scientifique (Ecuador), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria Sophia Antipolis - Méditerranée

المصدر: [Research Report] RR-9416, Inria Sophia Antipolis-Méditerranée. 2021, pp.18

مصطلحات موضوعية: Data-Flow Reversal, Mémoire Dynamique, Différentiation Algorithmique, Automatic Differentiation, Algorithmic Differentiation, Garbage Collection, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Différentiation Automatique, Dynamic Memory

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::22dbb98f7ce85b1c5758ef6edd4c030a
https://hal.inria.fr/hal-03291836

المؤلفون: Uwe Naumann

المصدر: Journal of Discrete Algorithms. 7(4):402-410

مصطلحات موضوعية: Discrete mathematics, business.industry, Automatic differentiation, Computation, Data-flow reversal, Adjoint code, Upper and lower bounds, NP-completeness, Theoretical Computer Science, Reverse order, Software, Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, Minification, NP-complete, business, Algorithm, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0db2d3d9f70a4e1812162458f17de177