{"id":31844,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/multipath-un-sistema-para-la-programacion-logica\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"multipath-un-sistema-para-la-programacion-logica","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/multipath-un-sistema-para-la-programacion-logica\/","title":{"rendered":"Multipath: un sistema para la programacion logica."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jordi Tubella Murgadas <\/strong><\/h2>\n<p>La tesis doctoral define el sistema multipath, que esta orientado a la ejecucion de programas escritos en lenguaje prolog. El dise\u00f1o de multipath se ha realizado teniendo como principal punto de mira incrementar la eficacia en la ejecucion de aquellos programas que poseen un cierto grado de indeterminismo.  las aportaciones mas relevantes consisten en la definicion e implementacion de una estrategia de recorrido del arbol de busqueda asociado al programa, que se denomina exploracion parcial en anchura a nivel de objetivos, y en la realizacion de tecnicas de reduccion del arbol de busqueda. Ambas aportaciones se basan en un analisis global de determinismo y de tipos de datos del programa.  multipath se describe utilizando un enfoque vertical, con dos niveles semanticos adicionales antes de pasar a la realizacion concreta del sistema. Estos niveles se denominan modelo de ejecucion y modelo arquitectonico de multipath.  la implementacion final de multipath se ha realizado en una plataforma hardware secuencial y en otra paralela. La conclusion mas importante es la demostracion que una exploracion en anchura es mas eficiente que la exploracion en profundidad realizada por los sistemas convencionales tambien orientados a la ejecucion de prolog.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Multipath: un sistema para la programacion logica.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Multipath: un sistema para la programacion logica. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jordi Tubella Murgadas <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/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>Antonio Gonzalez Colas<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Jes\u00fas Jos\u00e9 Labarta Mancho <\/li>\n<li> Ruz Ortiz Jos\u00e9 J. (vocal)<\/li>\n<li>Juan  Jos\u00e9 Moreno Navarro (vocal)<\/li>\n<li>Peter Kacsuk (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jordi Tubella Murgadas La tesis doctoral define el sistema multipath, que esta orientado a la ejecucion de [&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":[4810,1890,332,126,15596,2535],"tags":[44267,2679,88430,16231,88432,88431],"class_list":["post-31844","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-matematicas","category-politecnica-de-catalunya","category-tecnologia-de-los-ordenadores","tag-antonio-gonzalez-colas","tag-jesus-jose-labarta-mancho","tag-jordi-tubella-murgadas","tag-juan-jose-moreno-navarro","tag-peter-kacsuk","tag-ruz-ortiz-jose-j"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31844","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=31844"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31844\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=31844"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=31844"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=31844"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}