Autor der Publikation

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers.

, , , und . LCPC, Volume 2958 von Lecture Notes in Computer Science, Seite 524-538. Springer, (2003)

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

Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations., und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 212-226. (2016)Topic Introduction., , , und . Euro-Par, Volume 2790 von Lecture Notes in Computer Science, Seite 241. Springer, (2003)Semantic-Driven Parallelization of Loops Operating on User-Defined Containers., , , und . LCPC, Volume 2958 von Lecture Notes in Computer Science, Seite 524-538. Springer, (2003)Beyond loop bounds: comparing annotation languages for worst-case execution time analysis., , , , und . Softw. Syst. Model., 10 (3): 411-437 (2011)HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis., , , , , , , und . IISWC, Seite 25-36. IEEE, (2020)Classification and Utilization of Abstractions for Optimization., , , und . ISoLA, Volume 4313 von Lecture Notes in Computer Science, Seite 57-73. Springer, (2004)Software Verification Tools (Track Introduction)., , und . ISoLA (4), Volume 12479 von Lecture Notes in Computer Science, Seite 177-181. Springer, (2020)A Semantics-Driven Approach to Improving DataRaceBench's OpenMP Standard Coverage., , , und . IWOMP, Volume 11128 von Lecture Notes in Computer Science, Seite 189-202. Springer, (2018)A Source-to-Source Architecture for User-Defined Optimizations., und . JMLC, Volume 2789 von Lecture Notes in Computer Science, Seite 214-223. Springer, (2003)Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application., , , , und . SIGSIM-PADS, Seite 111-122. ACM, (2016)