Autor der Publikation

Symbolic Testing of OpenCL Code.

, , und . Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 203-218. Springer, (2011)

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

Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs., und . AADEBUG, Volume 2 von Linköping Electronic Articles in Computer and Information Science, Seite 13-26. Linköping University Electronic Press, (1997)Adaptive-Resolution Octree-Based Volumetric SLAM., , , und . 3DV, Seite 654-662. IEEE, (2019)GiMMiK - Generating bespoke matrix multiplication kernels for accelerators: Application to high-order Computational Fluid Dynamics., , , , und . Comput. Phys. Commun., (2016)Performance Analysis and Optimization of the OP2 Framework on Many-Core Architectures., , , , und . Comput. J., 55 (2): 168-180 (2012)Loop-Directed Mothballing: Power-gating execution units using fast analysis of inner loops., und . COOL Chips, Seite 1-3. IEEE Computer Society, (2011)Loop Chaining: A Programming Abstraction for Balancing Locality and Parallelism., , , , , , , , , und 1 andere Autor(en). IPDPS Workshops, Seite 375-384. IEEE, (2013)Angel: Resource Unification in a.64-bit Microkernel., , , und . HICSS (2), Seite 106-116. IEEE Computer Society, (1994)A Lazy, Self-optimizing Parallel Matrix Library., und . Functional Programming, Seite 5. Springer, (1995)COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer., , , , und . PARLE (1), Volume 258 von Lecture Notes in Computer Science, Seite 51-67. Springer, (1987)Symbolic Testing of OpenCL Code., , und . Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 203-218. Springer, (2011)