Show simple item record

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

dc.contributor.advisorGarcía García, Víctor Guillermo 
dc.contributor.authorGonzález Alonso, Oliverio 
dc.contributor.otherMatemáticas, Departamento de 
dc.date.accessioned2013-06-14T10:16:50Z
dc.date.available2013-06-14T10:16:50Z
dc.date.issued1992
dc.identifier.otherhttps://www.educacion.gob.es/teseo/mostrarRef.do?ref=115926
dc.identifier.urihttp://hdl.handle.net/10651/16938
dc.description.abstractSe 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.isospa
dc.titleModelización de un sistema operativo multipropósito: especificación formal en estelle
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.type.dcmitext
dc.local.notesTesis 1992-047


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Tesis [6489]
    Tesis doctorales leídas en la Universidad de Oviedo

Show simple item record