English español
Search
 

Repositorio de la Universidad de Oviedo. > Producción Bibliográfica de UniOvi: RECOPILA > Tesis >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10651/16938

Title: Modelización de un sistema operativo multipropósito: especificación formal en estelle
Author(s): González Alonso, Oliverio
Advisor: García García, Víctor Guillermo
Other authors: Matemáticas, Departamento de
Issue date: 1992
Abstract: Se pretende aplicar una técnica de descripción formal (fdt) a la modelización de un sistema operativo, demostrando que es posible y que sería conveniente su utilización en la definición de algoritmos de planificación del procesador, de memoria principal, subsistemas de e/s y demás recursos del ordenador. Dicha conveniencia no sería solo por la formalización de la política en si, sino también por la facilidad que la fdt da para su simulación y posterior implementación, permitiendo todo ello la comparación de diferentes algoritmos de gestión de un mismo recurso y la lógica elección del más adecuado.
URI: http://hdl.handle.net/10651/16938
Identifier: https://www.educacion.gob.es/teseo/mostrarRef.do?ref=115926
Local notes: Tesis 1992-047
Appears in Collections:Tesis

Files in This Item:

There are no files associated with this item.



Exportar a Mendeley


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Base de Datos de Autoridades Biblioteca Universitaria Consultas / Sugerencias