( en | de | ru )

 

Disambiguierung von "Genaim, Samir"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automatic Inference of Resource Consumption Bounds.

, , , , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alireza Samir

Kais al- Samir

Samer al- Samir

Samer al- Samir

Imad Samir

 

Weitere Publikationen von Autoren mit dem selben Namen

Termination and Cost Analysis of Loops with Concurrent Interleavings., , , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 349-364. Springer, (2013)Precise Cost Analysis via Local Reasoning., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 319-333. Springer, (2013)Combining Norms to Prove Termination., , , und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 126-138. Springer, (2002)Detecting Determinacy in Prolog Programs., , und . ICLP, Volume 4079 von Lecture Notes in Computer Science, Seite 132-147. Springer, (2006)SACO: Static Analyzer for Concurrent Objects., , , , , , , und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 562-567. Springer, (2014)On Multiphase-Linear Ranking Functions., und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 601-620. Springer, (2017)Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis., , , und . SAS, Volume 5079 von Lecture Notes in Computer Science, Seite 221-237. Springer, (2008)Task-level analysis for a language with async/finish parallelism., , , und . LCTES, Seite 21-30. ACM, (2011)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2015)Resource Usage Analysis and Its Application to Resource Certification., , , , und . FOSAD, Volume 5705 von Lecture Notes in Computer Science, Seite 258-288. Springer, (2009)