{"id":68616,"date":"2018-03-09T23:12:50","date_gmt":"2018-03-09T23:12:50","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/optimizacion-del-uso-compartido-de-recursos-durante-la-sa%c2%adntesis-conductual-de-sistemas-con-modelo-de-ejecucion-condicional\/"},"modified":"2018-03-09T23:12:50","modified_gmt":"2018-03-09T23:12:50","slug":"optimizacion-del-uso-compartido-de-recursos-durante-la-sa%c2%adntesis-conductual-de-sistemas-con-modelo-de-ejecucion-condicional","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/optimizacion-del-uso-compartido-de-recursos-durante-la-sa%c2%adntesis-conductual-de-sistemas-con-modelo-de-ejecucion-condicional\/","title":{"rendered":"Optimizaci\u00f3n del uso compartido de recursos durante la s\u00edntesis conductual de sistemas con modelo de ejecuci\u00f3n condicional"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Olga Pe\u00f1alba Rodr\u00edguez <\/strong><\/h2>\n<p>El objetivo de la investigaci\u00f3n recogida en esta memoria de tesis es la aplicaci\u00f3n eficiente y optimizada durante la s\u00edntsis de alto nivel de la t\u00e9cnica conocida como reuso condicional. Mediante un amplio estudio te\u00f3rico del problema y los m\u00e9todos previos propuestos para su tratamiento, se han identificado los aspectos claves que permiten alcanzar una soluci\u00f3n global: an\u00e1lisis del flujo de datos y control del sistema, an\u00e1lisis sem\u00e1ntico de las expresiones que gobiernan las sentencias condicionales y transformaci\u00f3n de la descripci\u00f3n de partida para conseguir un conjunto de operaciones donde el grado de exclusi\u00f3n mutua sea m\u00e1ximo.  siguiendo estas pautas, se proponen tres soluciones diferentes al problema, cada una adecuada a un escenario de s\u00edntesis diferente: una primera soluci\u00f3n centrada en la detecci\u00f3n de exclusi\u00f3n mutua otra soluci\u00f3n para la explotaci\u00f3n de reuso condicional pres\u00edntesis y, por \u00faltimo, una soluci\u00f3n que optimiza el reuso condicional durante la fase de planificaci\u00f3n.  tambi\u00e9n se incluye un estudio te\u00f3rico de los aspectos involucrados en la aplicci\u00f3n del reuso en el espacio de iniciaciones, es decir, entre operaciones cuyos datos se producen y consumen en iniciaciones diferentes, lo que no ha sido contemplado por ninguno de los m\u00e9todos propuestos hasta el momento.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Optimizaci\u00f3n del uso compartido de recursos durante la s\u00edntesis conductual de sistemas con modelo de ejecuci\u00f3n condicional<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Optimizaci\u00f3n del uso compartido de recursos durante la s\u00edntesis conductual de sistemas con modelo de ejecuci\u00f3n condicional <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Olga Pe\u00f1alba Rodr\u00edguez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 25\/06\/2004<\/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> Mendias Cuadros Jos\u00e9 Manuel<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Tirado fern\u00e1ndez <\/li>\n<li>Luis Entrena arrontes (vocal)<\/li>\n<li> Lopez lopez Juan  Carlos (vocal)<\/li>\n<li> L\u00f3pez valledo m. Luisa (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Olga Pe\u00f1alba Rodr\u00edguez El objetivo de la investigaci\u00f3n recogida en esta memoria de tesis es la aplicaci\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":[1],"tags":[2678,16761,150630,70318,93025,132206],"class_list":["post-68616","post","type-post","status-publish","format-standard","hentry","category-sin-categoria","tag-francisco-tirado-fernandez","tag-lopez-lopez-juan-carlos","tag-lopez-valledo-m-luisa","tag-luis-entrena-arrontes","tag-mendias-cuadros-jose-manuel","tag-olga-penalba-rodriguez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/68616","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=68616"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/68616\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=68616"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=68616"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=68616"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}