{"id":57940,"date":"2018-03-09T22:45:46","date_gmt":"2018-03-09T22:45:46","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/limitacion-de-recursos-en-paralelismo-real\/"},"modified":"2018-03-09T22:45:46","modified_gmt":"2018-03-09T22:45:46","slug":"limitacion-de-recursos-en-paralelismo-real","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/limitacion-de-recursos-en-paralelismo-real\/","title":{"rendered":"Limitacion de recursos en paralelismo real"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Ruiz Delgado Mar\u00eda  Carmen <\/strong><\/h2>\n<p>La tesis doctoral objeto de este informe se enmarca dentro de la utilizaci\u00f3n de m\u00e9todos formales en el estudio de los sistemas concurrentes. De forma m\u00e1s concreta, aborda la especificaci\u00f3n y evaluaci\u00f3n de prestaciones de sistemas concurrentes en los cuales se considera que los recursos disponibles por parte de los procesos que cooperan y\/o compiten est\u00e1n limitados, tal y como ocurre en la vida real. como formalismo para la especificaci\u00f3n de dichos sistemas se ha utilizado una extensi\u00f3n temporizada de \u00e1lgebra de procesos (btc) que permite tener en cuenta la limitaci\u00f3n de recursos comentada anteriormente. Este enfoque supone un avance en el estudio de los sistemas concurrentes ya que se aborda el estudio del paralelismo real, pero adem\u00e1s introduce un nuevo ingrediente no considerado anteriormente como es la posibilidad de que un proceso quede en espera (bloqueado) ante la imposibilidad de obtener un recurso necesario. Por tanto, un proceso se ver\u00e1 afectado en su ejecuci\u00f3n no s\u00f3lo por las sincronizaciones inherentes al sistema en estudio (cooperaci\u00f3n) sino tambi\u00e9n por la competencia por los recursos. en primer lugar se define la sintaxis y la sem\u00e1ntica operacional del \u00e1lgebra presentada y, posteriormente, se presentan diversas aplicaciones dentro de campos tan actuales como son los protocolos de comercio electr\u00f3nico o los sistemas de fabricaci\u00f3n flexibles.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Limitacion de recursos en paralelismo real<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Limitacion de recursos en paralelismo real <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Ruiz Delgado Mar\u00eda  Carmen <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 13\/04\/2007<\/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>Fernando Cuartero Gomez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Quiles flor Francisco jose <\/li>\n<li>Manuel Nu\u00f1ez garcia (vocal)<\/li>\n<li>joaquin Ezpeleta mateo (vocal)<\/li>\n<li> Oliver villarroya Francisco Javier (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ruiz Delgado Mar\u00eda Carmen La tesis doctoral objeto de este informe se enmarca dentro de la utilizaci\u00f3n [&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":[18451,332,2535],"tags":[5510,122743,39796,71645,11901,128045],"class_list":["post-57940","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","category-ciencias-tecnologicas","category-tecnologia-de-los-ordenadores","tag-fernando-cuartero-gomez","tag-joaquin-ezpeleta-mateo","tag-manuel-nunez-garcia","tag-oliver-villarroya-francisco-javier","tag-quiles-flor-francisco-jose","tag-ruiz-delgado-maria-carmen"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/57940","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=57940"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/57940\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=57940"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=57940"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=57940"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}