PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tasiran, Serdar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An annotation assistant for interactive debugging of programs with common synchronization idioms.

, , , und . PADTAD, ACM, (2009)

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.

Keine Personen gefunden für den Autorennamen Tasiran, Serdar
Eine Person hinzufügen mit dem Namen Tasiran, Serdar
 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Boot Code from AWS Data Centers., , , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 467-486. Springer, (2018)Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency., , , , und . ESOP, Volume 10201 von Lecture Notes in Computer Science, Seite 170-200. Springer, (2017)Towards verifying eventually consistent applications., , und . PaPEC@EuroSys, Seite 11:1-11:4. ACM, (2014)Fast Monte Carlo Estimation of Timing Yield With Importance Sampling and Transistor-Level Circuit Simulation., , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 29 (9): 1328-1341 (2010)Fast Monte Carlo Estimation of Timing Yield: Importance Sampling with Stochastic Logical Effort (ISLE), , und . CoRR, (2008)A Machine-Checked Proof of Security for AWS Key Management Service., , , , , , , , , und . CCS, Seite 63-78. ACM, (2019)Promising Directions in Hardware Design Verification (invited)., und . ISQED, Seite 381-387. IEEE Computer Society, (2002)Stochastic Modeling and Optimization for Energy Management in Multicore Systems: A Video Decoding Case Study., , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 27 (7): 1264-1277 (2008)TRADE: Precise Dynamic Race Detection for Scalable Transactional Memory Systems., , , und . TOPC, 2 (2): 11:1-11:23 (2015)Tressa: Claiming the Future., , und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 25-39. Springer, (2010)