{"id":129006,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/sistema-de-identificacion-y-explotacion-de-paralelismo-en-programas-logico-funcionales\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"sistema-de-identificacion-y-explotacion-de-paralelismo-en-programas-logico-funcionales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/sistema-de-identificacion-y-explotacion-de-paralelismo-en-programas-logico-funcionales\/","title":{"rendered":"Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Fernando Saenz Perez <\/strong><\/h2>\n<p>Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva para resolver problemas de indole simbolico mayor que los lenguajes imperativos. Sin embargo, esta mayor capacidad expresiva requiere mayor tiempo de computo y uso de memoria. El objetivo de esta tesis es el aumento de la eficiencia de un lenguaje logico- funcional mediante el desarrollo de un sistema de identificacion y explotacion del paralelismo implicito en los programas.  en primer lugar se desarrolla un procedimiento para la identificacion local de paralelismo en programas secuenciales con el que se generan programas paralelos.  se desarrollan varias estrategias de identificacion y de incorporacion de granularidad que se estudian y comparan.  en segundo lugar se desarrolla un analisis de independencia de los programas p ara obtener informacion global de las reglas en el programa para la simplificacion de las reglas paralelas. Para ello se utiliza la interpretacion abstracta y se presentan y comparan tres niveles de analisis. En tercer lugar se dise\u00f1a una maquina abstracta paralela de memoria compartida basada en pilas para la explotacion del paralelismo identificado. Esta maquina retiene las optimizaciones de las maquinas secuenciales, fundamentalmente durante el computo hacia atras en la desasignacion de memoria. Finalmente, se realiza una implementacion de la maquina abstracta paralela sobre un multiprocesador de memoria compartida simulado en vhdl, realizandose su validacion funcional y tomando medidas de rendimiento. Se plantean diferentes alternativas de dise\u00f1o para el bus y la memoria cache, que se comparan a partir de las medidas obtenidas.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Fernando Saenz Perez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/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> Ruz Ortiz Jos\u00e9 Jaime<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mario Rodr\u00edguez Artalejo <\/li>\n<li>Ana Mar\u00eda Ripoll Aracil (vocal)<\/li>\n<li>Manuel Hermenegildo Salinas (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Fernando Saenz Perez Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva [&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,986,6474,126,2535],"tags":[4815,242371,4814,4816,4813,4812],"class_list":["post-129006","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-complutense-de-madrid","category-lenguajes-de-programacion","category-matematicas","category-tecnologia-de-los-ordenadores","tag-ana-maria-ripoll-aracil","tag-fernando-saenz-perez","tag-jose-maria-troya-linero","tag-manuel-hermenegildo-salinas","tag-mario-rodriguez-artalejo","tag-ruz-ortiz-jose-jaime"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/129006","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=129006"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/129006\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=129006"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=129006"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=129006"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}