Mostrar el registro sencillo del ítem
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. |
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Tesis [7474]
Tesis doctorales leídas en la Universidad de Oviedo