@techreport{weko_23199_1,
   author	 = "門馬,太平 and ルォンディンフォン and 田代,大輔 and 坂井修一",
   title	 = "スレッド投機実行のためのキャッシュコヒーレンシプロトコルの検証",
   year 	 = "2005",
   institution	 = "東京大学大学院工学系研究科, 東京大学大学院情報理工学系研究科, 日立製作所中央研究所, 東京大学大学院情報理工学系研究科",
   number	 = "80(2005-ARC-164)",
   month	 = "aug"
}