From post

The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications.

, , , и . LCPC, том 2624 из Lecture Notes in Computer Science, стр. 383-394. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis., , , , и . Softw. Syst. Model., 10 (3): 411-437 (2011)HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis., , , , , , , и . IISWC, стр. 25-36. IEEE, (2020)Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations., и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 212-226. (2016)Topic Introduction., , , и . Euro-Par, том 2790 из Lecture Notes in Computer Science, стр. 241. Springer, (2003)Semantic-Driven Parallelization of Loops Operating on User-Defined Containers., , , и . LCPC, том 2958 из Lecture Notes in Computer Science, стр. 524-538. Springer, (2003)Software Verification Tools (Track Introduction)., , и . ISoLA (4), том 12479 из Lecture Notes in Computer Science, стр. 177-181. Springer, (2020)HPAC: evaluating approximate computing techniques on HPC OpenMP applications., , , , , , и . SC, стр. 86. ACM, (2021)Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations., , , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 493-508. Springer, (2014)Runtime and Memory Evaluation of Data Race Detection Tools., , , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 179-196. Springer, (2018)Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application., , , , и . SIGSIM-PADS, стр. 111-122. ACM, (2016)