Modelización de un sistema operativo multipropósito: especificación formal en estelle

dc.contributor.advisor	García García, Víctor Guillermo
dc.contributor.author	González Alonso, Oliverio
dc.contributor.other	Matemáticas, Departamento de
dc.date.accessioned	2013-06-14T10:16:50Z
dc.date.available	2013-06-14T10:16:50Z
dc.date.issued	1992
dc.identifier.other	https://www.educacion.gob.es/teseo/mostrarRef.do?ref=115926
dc.identifier.uri	http://hdl.handle.net/10651/16938
dc.description.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.
dc.language.iso	spa
dc.title	Modelización de un sistema operativo multipropósito: especificación formal en estelle
dc.type	doctoral thesis	spa
dc.local.notes	Tesis 1992-047

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.