( en | de | ru )

 

Disambiguation of "Schordan, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications.

, , , and . LCPC, volume 2624 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Markus Markus

Markus Kurscheidt

Ökonomische Analyse von Sportgroßveranstaltungen: ein integrierter Evaluierungs- und Management-Ansatz am Beispiel von Fußball-Weltmeisterschaften. Uni Paderborn, (2007)

Markus Perling

Cohomology vanishing and exceptional sequences. Uni Bochum, habilitation, (2009)

Markus Knauer

Struktur-Reaktivitäts-Korrelation von Dieselruß und Charakterisierung von PAHs und Carbonylen im Abgas von Biokraftstoffen. TU München, (2010)

Markus Niemann

From Anomalous Deterministic Diffusion to the Continuous-Time Random Walk. Uni Wuppertal, (2009)
 

Other publications of authors with the same name

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis., , , , and . Softw. Syst. Model., 10 (3): 411-437 (2011)Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations., and . ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 212-226. (2016)Topic Introduction., , , and . Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 241. Springer, (2003)Semantic-Driven Parallelization of Loops Operating on User-Defined Containers., , , and . LCPC, volume 2958 of Lecture Notes in Computer Science, page 524-538. Springer, (2003)HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis., , , , , , , and . IISWC, page 25-36. IEEE, (2020)A Source-to-Source Architecture for User-Defined Optimizations., and . JMLC, volume 2789 of Lecture Notes in Computer Science, page 214-223. Springer, (2003)Classification and Utilization of Abstractions for Optimization., , , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 57-73. Springer, (2004)Software Verification Tools (Track Introduction)., , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 177-181. Springer, (2020)HPAC: evaluating approximate computing techniques on HPC OpenMP applications., , , , , , and . SC, page 86. ACM, (2021)Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations., , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 493-508. Springer, (2014)