{"id":48782,"date":"2020-12-02T05:09:14","date_gmt":"2020-12-02T05:09:14","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacion-concurrente-fiable\/"},"modified":"2020-12-02T05:09:14","modified_gmt":"2020-12-02T05:09:14","slug":"programacion-concurrente-fiable","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/programacion-concurrente-fiable\/","title":{"rendered":"Programacion concurrente fiable"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Angel Alvarez Rodriguez <\/strong><\/h2>\n<p>En esta tesis se aborda el estudio de los problemas asociados con la programacion concurrente de computadores considerados desde el punto de vista de la fiabilidad de los sistemas resultantes. =La fiabilidad aqui estudiada es aquella que proporciona el vehiculo expresivo  es decir  el lenguaje de programacion  tanto desde el punto de vista semantico como desde el sintactico. No se consideran pues  aspectos tales como fiabilidad hardware o deteccion\/recuperacion automatica de  error hardware.= utilizando pascal concurrente se ha programado el nucleo de un sistema operativo en tiempo compartido multiusuario siendo esta la primera vez que un trabajo  de  tal naturaleza se lleva a cabo en un lenguaje concurrente de alto nivel. La experiencia ha servido para identificar algunos problemas de falta de fiabilidad en los mecanismos de programacion concurrentes usuales hoy dia.  en particular y a pesar de haber sido objeto de estudio por un gran numero de investigadores durante tanto tiempo se ha encontrado que el problema de la sincronizacion no esta suficientemente bien concertualizado y  como resultado  los mecanismos que se utilizan a tal fin no son del todo fiables. En esta tesis se propone un nuevo mecanismo con tal proposito que resulta ser una extension de las expresiones de camino<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programacion concurrente fiable<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programacion concurrente fiable <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Angel Alvarez Rodriguez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1981<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Eugenio Andr\u00e9s Puente<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Eugenio Andr\u00e9s Puente <\/li>\n<li>Antonio Insua Nesrao (vocal)<\/li>\n<li>Rafael Portaencasa Baeza (vocal)<\/li>\n<li>Pedro De Miguel Anasagasti (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Angel Alvarez Rodriguez En esta tesis se aborda el estudio de los problemas asociados con la programacion [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,6474,126,16008],"tags":[21136,113093,8971,16053,16290],"class_list":["post-48782","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-lenguajes-de-programacion","category-matematicas","category-politecnica-de-madrid","tag-angel-alvarez-rodriguez","tag-antonio-insua-nesrao","tag-eugenio-andres-puente","tag-pedro-de-miguel-anasagasti","tag-rafael-portaencasa-baeza"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/48782","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=48782"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/48782\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=48782"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=48782"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=48782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}