Autor der Publikation

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

, , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Embracing heterogeneity with dynamic core boosting., und . Conf. Computing Frontiers, Seite 10:1-10:10. ACM, (2014)Practical lock/unlock pairing for concurrent programs., , , , , und . CGO, Seite 6:1-6:12. IEEE Computer Society, (2013)Composable Reliability for Asynchronous Systems., , , , und . USENIX Annual Technical Conference, Seite 27-40. USENIX Association, (2012)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)Dynamic acceleration of multithreaded program critical paths in near-threshold systems., und . MICRO Workshops, Seite 63-67. IEEE Computer Society, (2012)AsmDB: understanding and mitigating front-end stalls in warehouse-scale computers., , , , , , , , , und . ISCA, Seite 462-473. ACM, (2019)SIMD defragmenter: efficient ILP realization on data-parallel architectures., , , , und . ASPLOS, Seite 363-374. ACM, (2012)Instant profiling: Instrumentation sampling for profiling datacenter applications., , , , und . CGO, Seite 15:1-15:10. IEEE Computer Society, (2013)Supervisory control of software execution for failure avoidance: Experience from the Gadara project., , , , , , , und . WODES, Seite 259-266. International Federation of Automatic Control, (2010)