Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 6:30, 20 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Ralf Karrenberg, Marek Košta, and Thomas Sturm
    Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
    In: Frontiers of Combining Systems, Nancy, France, 2013, 56-70

  2. Marek Košta
    SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages
    In: Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and System Sciences, Nanning, China, 2013, 36-42