@techreport{weko_194777_1, author = "辻,美和子 and 村井,均 and 佐藤,三久 and 朴,泰祐 and Serge,Petiton and Nahid,Emad and Joachim,Protze and Christian,Terboven and Matthias,S. Müeller", title = "MYX:マルチSPMDプログラミングモデルにおける実行時正当性チェック", year = "2019", institution = "理化学研究所計算科学研究センター, 理化学研究所計算科学研究センター, 理化学研究所計算科学研究センター, 筑波大学計算科学研究センター, Maison de la Simulation/Centre National de la Recherche Scientifique/Université de Lille, Université de Versailles, RWTH Aachen University, RWTH Aachen University, RWTH Aachen University", number = "6", month = "feb" }