Formal Description of Components in Operating Systems

02/20/2014
by   Asen Petkov Iliev, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset