文献
J-GLOBAL ID:201902225477635704
整理番号:19A2862632
異種システムにおける記憶一貫性のためのモデルにおけるアクセスモード宣言の利用【JST・京大機械翻訳】
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
著者 (3件):
Henrio Ludovic
(Univ Lyon, CNRS, ENS de Lyon, Inria, Universite Claude Bernard Lyon 1, LIP, Lyon, France)
,
Kessler Christoph
(University of Linkoping, Sweden)
,
Li Lu
(University of Linkoping, Sweden)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
110
ページ:
Null
発行年:
2020年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)