From post

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.

 

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

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers., , , и . LCPC, том 2958 из Lecture Notes in Computer Science, стр. 524-538. Springer, (2003)Topic Introduction., , , и . Euro-Par, том 2790 из Lecture Notes in Computer Science, стр. 241. Springer, (2003)Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations., и . ISoLA (1), том 9952 из Lecture Notes in Computer Science, стр. 212-226. (2016)HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis., , , , , , , и . IISWC, стр. 25-36. IEEE, (2020)Beyond loop bounds: comparing annotation languages for worst-case execution time analysis., , , , и . Softw. Syst. Model., 10 (3): 411-437 (2011)Classification and Utilization of Abstractions for Optimization., , , и . ISoLA, том 4313 из Lecture Notes in Computer Science, стр. 57-73. Springer, (2004)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)A Source-to-Source Architecture for User-Defined Optimizations., и . JMLC, том 2789 из Lecture Notes in Computer Science, стр. 214-223. Springer, (2003)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)