نتائج البحث

Distributing and Parallelizing Non-canonical Loops

• Authors : Aubert, Clément; Rubiano, Thomas; Rusch, Neea ...

Subjects: Analysis and Verification of Parallel Program; Automatic Parallelization; Loop TransformationBoston (MA); United StatesBoston (MA), United States

• Source: Verification, Model Checking, and Abstract Interpretation ; Verification, Model Checking, and Abstract Interpretation (VMCAI 2023) ; https://hal.science/hal-03669387 ; Verification, Model Checking,

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