@techreport{weko_203264_1, author = "山藤,篤志 and 高橋,真彦 and 井出,陽介 and 杉山,尚央 and 山崎,信行", title = "SMT Processor におけるリアルタイム処理用CPU資源予約機構", year = "2020", institution = "慶應義塾大学理工学部, 慶應義塾大学大学院理工学研究科, 慶應義塾大学大学院理工学研究科, 慶應義塾大学大学院理工学研究科, 慶應義塾大学理工学部", number = "30", month = "feb" }