「microkernel」を解説文に含む見出し語の検索結果(21~30/40件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証(けいしきてきけんしょう、英: formal verification)とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
アンドリュー・タネンバウムとリーナス・トーバルズの議論 (アンドリュー・タネンバウムとリーナス・トーバルズのぎろん) は、アンドリュー・タネンバウムとリーナス・トーバルズの間で交わされた、Linuxカ...
GenodeGenodeベースのデスクトップシステムであるSculpt開発者Genode Labs開発状況安定版リリースソースモデルオープンソース初版2008年 (17年前) (20...
MINIXMINIX 3.3.0開発者アンドリュー・タネンバウムOSの系統Unix系開発状況開発終了ソースモデルオープンソース最新安定版3.3.0[1] / 2014年9月16日...