Parallelizaton f unstuctured mesh computations using data structure formalization

摘要

This paper introduces a concept for semi-automatic parallelizaiton of unstructred mesh computations called data streuctue formalization.Unlike existing ocncpets it does not expect knowledge about aparallelism but just enough knowledge about the applciatin semantics such that a formal description of the data structure implementation an be given.