Carbonneaux Quentin について
Meta, France について
Zilberstein Noam について
Meta, USA / Cornell University, USA について
Klee Christoph について
Meta, USA について
O’Hearn Peter W. について
Meta, UK / University College London, UK について
Zappa Nardelli Francesco について
Meta, France について
ACM Proceedings について
アルゴリズム について
記憶装置 について
待ち行列 について
オペレーティングシステム について
簡素化 について
冗長性 について
データ構造 について
トレードオフ について
ソフトウェア障害 について
検証 について
プロセス間交信 について
マイクロカーネル について
形式的検証 について
便益 について
デバイスドライバ について
円形待ち行列 について
並行性 について
プログラム検証 について
分離論理 について
システム について
計算機システム開発 について
オペレーティングシステム について
マイクロカーネル について
IPC について
形式的検証 について