- 行业: Computer; Software
- Number of terms: 50628
- Number of blossaries: 0
- Company Profile:
Founded in 1946, the IEEE Computer Society is a professional organization for computing professionals. Based in Washington, DC, it's the largest of IEEE’s 38 societies organized under the IEEE Technical Activities Board. The IEEE Computer Society is dedicated to advancing the theory, practice, and ...
(1) En kort dataprogram som er permanent bosatt eller lett lastet inn i en datamaskin, og der utførelsen bringer en større program, for eksempel et operativsystem eller dens loader, i memory.~(2) å bruke et program som (1).
Industry:Computer; Software
(1) En skjelettlidelser eller spesielle formål implementering av en software modul er brukt til å utvikle eller teste en modul som kaller eller annen måte er avhengig av it.~(2) A datamaskinen programerklæring erstatter kroppen av en programvare-modul som er eller vil bli definert andre steder.
Industry:Computer; Software
どのアサーションで正しさ技術の証明プログラム入力、出力、および中間の条件を記述する書かれている、入力アサーション出力アサーションの満足への満足度に関する定理のセットを開発、定理証明または反証誘導による証拠を使用しています。
Industry:Computer; Software
Teknik alokasi penyimpanan di mana penyimpanan tambahan dapat diatasi seolah-olah itu adalah bagian dari penyimpanan utama. Bagian dari pengguna program dan data ditempatkan di bantu penyimpanan, dan sistem operasi secara otomatis swap mereka masuk dan keluar dari penyimpanan utama yang diperlukan.
Industry:Computer; Software
(1) En spesifikasjon skrevet og godkjent i samsvar med etablerte standards.~(2) en spesifikasjon, skrevet i en formell notasjon, ofte for bruk i bevis for riktigheten.
Industry:Computer; Software
(1) En erklæring i et programmeringsspråk, angir en operasjon som skal utføres av en datamaskin og adresser eller verdiene i tilhørende operandene; for eksempel flytte A til B.~(2) løst, noen kjørbare uttalelse i et dataprogram.
Industry:Computer; Software
Alokasi penyimpanan teknik di mana auxiliary penyimpanan dapat ditujukan seolah-olah itu adalah bagian dari penyimpanan utama. Bagian dari program dan data pengguna ditempatkan di bantu penyimpanan, dan sistem operasi secara otomatis swap mereka masuk dan keluar dari penyimpanan utama yang diperlukan.
Industry:Computer; Software
