Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Memory Simulations, Security and Optimization in a Verified Compiler

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]London; United Kingdom

  • Source: Certified Programs and Proofs 2024 ; https://hal.science/hal-04336347 ; Certified Programs and Proofs 2024, Brigitte Pientka; Sandrine Blazy; Amin Timany; Dmitriy Traytel, Jan 2024, London,

تفاصيل العنوان

×
Academic Journal

Historical Simulations With HadGEM3‐GC3.1 for CMIP6.

  • Source: Journal of Advances in Modeling Earth Systems. Jun2020, Vol. 12 Issue 6, p1-34. 34p.

تفاصيل العنوان

×
Conference

Improving Simulations of Task-Based Applications on Complex NUMA Architectures

Subjects: NUMA architectures; Modeling; OpenMP tasksBristol; United KingdomBristol, United Kingdom

  • Source: IWOMP 2023 - 19th International Workshop on OpenMP ; https://inria.hal.science/hal-04201317 ; IWOMP 2023 - 19th International Workshop on OpenMP, Sep 2023, Bristol, United

تفاصيل العنوان

×
  • 1-10 ل  1,859 نتائج ل ""Simulations""