( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Inference of Bounds on Resource Consumption.

, , , , , , , , , , , и . FMCO, том 7866 из Lecture Notes in Computer Science, стр. 119-144. Springer, (2012)

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.

Alireza Samir

Kais al- Samir

Samer al- Samir

Samer al- Samir

Imad Samir

 

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

On Multiphase-Linear Ranking Functions., и . CAV (2), том 10427 из Lecture Notes in Computer Science, стр. 601-620. Springer, (2017)Detecting Determinacy in Prolog Programs., , и . ICLP, том 4079 из Lecture Notes in Computer Science, стр. 132-147. Springer, (2006)Termination and Cost Analysis of Loops with Concurrent Interleavings., , , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 349-364. Springer, (2013)Precise Cost Analysis via Local Reasoning., , и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 319-333. Springer, (2013)Combining Norms to Prove Termination., , , и . VMCAI, том 2294 из Lecture Notes in Computer Science, стр. 126-138. Springer, (2002)SACO: Static Analyzer for Concurrent Objects., , , , , , , и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 562-567. Springer, (2014)Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis., , , и . SAS, том 5079 из Lecture Notes in Computer Science, стр. 221-237. Springer, (2008)Task-level analysis for a language with async/finish parallelism., , , и . LCTES, стр. 21-30. ACM, (2011)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2015)May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects., , и . FMOODS/FORTE, том 7892 из Lecture Notes in Computer Science, стр. 273-288. Springer, (2013)