「Operating System Embedded」を解説文に含む見出し語の検索結果(21～30/204件中)
モノリシックカーネル及びマイクロカーネルのOSの構成マイクロカーネルの概念図マイクロカーネル（英: microkernel）とはオペレーティングシステム (OS) の設計思想、及びそのようなO...
モノリシックカーネル及びマイクロカーネルのOSの構成マイクロカーネルの概念図マイクロカーネル（英: microkernel）とはオペレーティングシステム (OS) の設計思想、及びそのようなO...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
形式的検証（けいしきてきけんしょう、英: formal verification）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様記述やプロパティ...
システムプログラミング言語とは、システムプログラミングでよく使用されるプログラミング言語のことである。このような言語は、システムソフトウェアを書くために設計されており、アプリケーションソフトウェアを書...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
Gazelle（ガゼル、ガゼール）は、マイクロソフトが研究開発中のウェブブラウザであり、それを稼働させるためのオペレーティングシステム環境である。このため「ブラウザベースのOS」「ブラウザOS」などと...
leJOSはレゴマインドストームプログラマブルRCXコントローラーのファームウェアリプレイスメントである。Java仮想マシンを含むので、レゴマインドストームのロボットにJavaでプログラムを施す事が出...