( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards verifying eventually consistent applications.

, , и . PaPEC@EuroSys, стр. 11:1-11:4. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mutlu Kartal

Kenan Erdal

Hayrettin Erdal

Marcel Erdal

Erdal Arikan

 

Другие публикации лиц с тем же именем

Towards verifying eventually consistent applications., , и . PaPEC@EuroSys, стр. 11:1-11:4. ACM, (2014)HPC Software Verification in Action: A Case Study with Tensor Transposition., , и . CORRECTNESS@SC, стр. 9-16. IEEE, (2018)Race detection techniques for applications using asynchronous programming models (Asenkron programlama modellerini kullanan uygulamalar için yarış durumu yakalama teknikleri). Koç University, Turkey, (2016)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , и . LCPC, том 13149 из Lecture Notes in Computer Science, стр. 87-103. Springer, (2020)I Know It When I See It: Observable Races in JavaScript Applications., , и . Dyla@PLDI, стр. 1:1-1:7. ACM, (2014)Consistency-Aware Scheduling for Weakly Consistent Programs., , , , и . ACM SIGSOFT Softw. Eng. Notes, 42 (4): 1-5 (2017)Toward generalized tensor algebra for ab initio quantum chemistry methods., , и . ARRAY@PLDI, стр. 46-56. ACM, (2019)TAMM: Tensor Algebra for Many-body Methods., , , , , , и . CoRR, (2022)COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry., , , , , , и . CoRR, (2021)Dynamic Verification for Hybrid Concurrent Programming Models., , , , и . RV, том 8734 из Lecture Notes in Computer Science, стр. 156-161. Springer, (2014)