@techreport{weko_26308_1, author = "本田,良司 and 緒方,正暢", title = "マイクロカーネルアーキテクチャに基づいたユーザレベルの割り込み制御と性能評価", year = "1993", institution = "日本アイ・ビー・エム(株)東京基礎研究所, 日本アイ・ビー・エム(株)東京基礎研究所", number = "45(1993-OS-059)", month = "may" }