arXiv
Open Access
2014
Formal Description of Components in Operating Systems
Asen Petkov Iliev
Abstrak
The contemporary development of hardware components is a prerequisite for increasing the concentration of computing power. System software is developing at a much slower pace. To use available resources efficiently modeling is required. Formalization of elements, present in the material, provides the basis for modeling. Examples are presented to demonstrate the efficiency of the concept.
Topik & Kata Kunci
Penulis (1)
A
Asen Petkov Iliev
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2014
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓