Formal Description of Components in Operating Systems
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2014
- DOI:
- 10.48550/arXiv.1402.4929
- arXiv:
- arXiv:1402.4929
- Bibcode:
- 2014arXiv1402.4929P
- Keywords:
-
- Computer Science - Operating Systems
- E-Print:
- IJITEE (ISSN: 2278 - 3075, Volume-3, Issue-4, September 2013) 96 - 98