TEORIA DE LA PROGRAMACION, 2

Autor: CARIDAD SIMÓN SERAFÍN.
Año: 2001.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El objetivo principal de esta tesis es el estudio de los problemas originados por el mantenimiento continuo de las aplicaciones software. Se desarrolla y aporta una metodología para auditar las aplicaciones que han sufrido cambios, evaluando la influencia de éstos en la calidad y en la "mantenibilidad". La idea que subyace en la metodología es la de aplicar a priori y posteriori de la actividad de mantenimiento, un conjunto de métricas sobre el código fuente, determinantes del esfuerzo y complejidad, así como la calidad inicial y final. La verificación del software al finalizar las modificaciones es esencial para decidir actuaciones posteriores sobre él. En este sentido la tesis plantea la idea de que el mantenimiento, cuando se efectúa "bajo inversión", suele deteriorar la calidad, pero no es una pauta inevitable en muchos casos, por lo que es obligado, una vez que las aplicaciones modificadas están de nuevo en explotación, una revisión tranquila del código resultante, empleando métricas y constrastando estándares, todo ello con la ayuda de herramientas que analizan las fuentes. Si las aplicaciones perdieron el nivel de calidad, se ha de planificar la recuperación de la misma. La validación experimental de la tesis se soporta en casos reales.

Autor: CERNUDA DEL RÍO AGUSTÍN.
Año: 2001.
Universidad: OVIEDO .
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPARTAMENTO DE INFORMÁTICA EDIFICIO DEPARTAMENTAL-1,- VIESOUES (GIJÓN).

Resumen: Esta tesis se inscribe en el campo de la Ingeniería de Software, y describe un sistema de verificación de componentes software que va más allá de la mera compatibilidad de signaturas, proporcionando un marco en el que realizar verificaciones de otros tipos. Apoyándose en la Programación Lógica con Restricciones y la Gestión del Conocimiento, ofrece un método viable (desde un punto de vista tanto técnico como de adopción y transferencia tecnológica) para realizar una verificación que permita asegurar de manera estática, automática y asequible que, basándose en el conocimiento disponible, cierta combinación de componentes no viola las condiciones de funcionamiento correcto de ninguno de ellos. El método es los suficientemente general como para ser aplicado a muy diversos ámbitos y problemas del desarrollo de software.

Autor: JUAN FUENTE AQUILINO ADOLFO.
Año: 2001.
Universidad: OVIEDO.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPARTAMENTO DE INFORMÁTICA EDIFICIO DEPARTAMENTAL -1 VIESQUES - GIJON.

Resumen: Esta tesis describe una metodología para la implantación de sistemas de métricas ad-hoc en tiempo de ejecución, permitiendo un cierto grado de separación de aspectos entre el sistema medido y el sistema que realiza la medición. Adicionalmente, el mismo sistema permite la interacción con el sistema medido añadiendo así la posibilidad de monotorizar y controlar dicho sistema. Para la experimentación se ha diseñado un framework que permite estas posibilidades y se ha definido una extensión a lenguaje Java que permite la separación de aspectos.

Autor: LABRA GAYO JOSE EMILIO.
Año: 2000.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: EDIF. DEPARTAMENTAL -1- CMPUES DE VIESQUES -GIJÓN-.

Resumen: En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación mediante una integración de la semántica monádica modular y conceptos de programación genérica. El sistema se aplica a la especificación de lenguajes en los paradigmas de programación imperativa, funcional,lógica y orientada a objetos.

Autor: MARTÍNEZ PRIETO ANA BELÉN.
Año: 2000.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: EDIF. DEPARTAMENTAL -1- CAMPUS DE VIESQUES-GIJON-.

Resumen: Esta tesis describe un Sistema de Gestión de Bases de Datos Orientadas a Objetos (SGBDOO) flexible construido sobre un Sistema Integral Orientado a Objetos (SIOO) basado en una máquina abstracta persistente, lo que garantizará su portabilidad y facilitará su interoperabilidad con otros sistemas. La flexibilidad del SGBD le convertirá en una buena plataforma de experimentación que permitirá conseguir un funcionamiento eficiente del sistema para un determinado patrón de aplicaciones.

Autor: CAZORLA LOPEZ DIEGO CARLOS.
Año: 2000.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR .
Centro de realización: ESCUELA POLITECICA SUPERIOR DE ALBACETE.

Resumen: En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas (PNAL), que extiende el modelo EPL de M. Hennessy(Algebraic Theory of Processes, MIT Press, 1988). La sintexis de PNAL es una extension de la de EPL que mantiene los dos operadores clasicos de eleccion (eleccion interna y eleccion externa) y ademas introduce un nuevo operador de eleccion, la eleccion probabilistica. Hemos definido la semantica operacional de PNAL, por medio de un sistema de transicion etiquetado en donde aparecen 3 grupos de reglas de transicion, cada uno de los esta cuales relacionado con uno de los tipos de transicion, posibles : probabilistica, observales y no observables. Tomando como base la semantica operacional, definimos una semantica de pruebas que consiste, como es habitual, en estudiar las respuestas de los procesos a los tests. La existencia en nuestro modelo de una eleccion probabilistica introduce una nueva variable en el problema, ya que ahora no nos bastara con saber si un proceso puede o debe satisfacer un test, sino que ahora debemos generalizar el problema y "calcular" con que probabilidad (o conjunto de probabilidades) un proceso satisface un test. Posteriormente hemos definido una semantica denotacional en la que los objetos del dominio semantico, los arboles de aceptacion probabilisticos o PAT, constituyen una extension muy intuitiva de los arboles de aceptacion AT dfinidos en [Hen88]. Se han obtenido dos resultados: en primer lugar que procesos equivalentes en EPL siguen siendolo en nuestro modelo, y en segundo lugar que la semantica denotacional y la semantica de pruebas identifican los mismos procesos. Finalmente, se aborda el estudio del estudio del sistema de axiomas y reglas. Tomando como punto de partida el sistema de prueba para EPL, hemos estudiado que ecuaciones, inecuaciones y reglas seguian siendo validas en el caso probabilistico. Posteriormente hemos añadido los axiomas relacionadoso con el operador de eleccion probabilistica. Asimismo, se ha probado la correccion y completitud del sistema de prueba presentado.

Autor: GARCÍA-TIZÓN IGLESIAS JOSÉ M..
Año: 2000.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICO.

Resumen: El objetivo fundamental de la tesis es aportar una metodología para la ingeniería y reingeniería de sistemas que empleen tecnologías de la información, utilizable en diversos ámbitos si ben está especialmente orientada a resolver los problemas que plantea la complejidad de los sistemas de información empresarial, debida al dinamismo creciente que exige la adaptación al cambio continuo del mundo de los negocios. De esta propuesta metodológica se derivan una serie de síntesis obtenidas a partir del estudio detallado de metodologías y patrones, que si bien por separado presentan soluciones generales, no se adaptan a las encesidades específicas de sistemas concretos, entre otras razones, porque se definen de modo inconexo y sobre todo, no se orientan a la reingeniería de los sistemas de información, lo que las hace muchas veces inútiles, pues es evidente, que en el momento actual no se puede pensar en la evolución de los sistemas prescindiendo del "Legacy". Esta tesis aporta fundamentalmente la solución a la singularización de la pauta metodológica para adaptarla a los problemas caracteristicos de la una cascuística concreta, para lo que se han investigado y propuesto nuevos antipatrones y patrones que modestamente, se someten a la consideración de la comunidad académica y profesional, después de haberlos utilizado con éxito en diversos proyectos. El trabajo contempla también una nueva taxonomía de patrones más acorde con un uso sistemático, de la que resulta un catálogo que resalta los que se consideran más relevantes a efectos de este trabajo e incorpora, además, antipatrones y patrones de definición propia. El propósito final de la tesis es la resolución de dos limitaciones tradicionales para el análisis, diseño e implantación de sistemas, cuales son el excesivo generalismo metodológico, por una parte, y por otra la paradógica situación a la que conduce la dualidad entre el exceso y el defecto del método. Por último indicar que se ha tratado de combinar los resultados de la investigación con la experiencia.

Autor: PÉREZ CASTELLANOS JOSE ANTONIO.
Año: 2000.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La tesis presenta an Framework aorientado a la discripción del comportamiento coordinado como un aspecto. Se pretende describir la forma que un conjunto de entidades se coordina como un aspecto, por -- del lenguaje CAL que se propone. El lenguaje CAL se basa en un modelo de interacción multipartida para modelar la coordinación entre -- arbitrario de participantes, abstrayéndose de los protocolos mediante los cuales esto se consigue. Se propone además los algortimos para implementar el modelo de interacción CAL.

Autor: DIAZ FONDON M. ANGELES.
Año: 1999.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS DE LA EDUCACION.
Centro de realización: EDIFICIO DEPARTAMENTAL 1 VIESQUES GIJON.

Resumen: Esta tesis describe un mecanismo de protección basado en capacidades diseñado para un Sistema Integral Orientado a Objetos (SIOO), que cumple los requisitos generales de diseño de un mecanismo de seguridad y los específicos para un SIOO. Además , aporta propiedades adicionales, como una protección automática de las capacidades y permisos de longitud variable. Todo ello configura un sistema que soluciona de manera más elegante y completa las necesidades de protección de un SIOO, con un redimiento adecuado.

Autor: CRESPO GONZALEZ-CARVAJAL XANIA.
Año: 1999.
Universidad: VALLADOLID.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: EN ESTE TRABAJO SE ESTUDIA EL AREA DE LA REESTRUCTURACION Y REORGANIZACION DE ELEMENTOS DE SOFTWARE ORIENTADO A OBJETOS, HACIENDO ESPECIAL ENFASIS EN LAS TRANSFORMACIONES DE TIPO: REFACTORIZACIÓN. EL ESTUDIO DEL AREA SE ABORDA MEDIANTE LA PROPUESTA DE UNA CLASIFICACION. POR OTRA PARTE, SE DEFINE UN MARCO DE REFERENCIA PARA LA DEFINICIÓN Y ANALISIS DE REFACTORIZACIONES. A PARTIR DEL CUAL, SE ABORDA UNA NUEVA REFACTORIZACIÓN, DESDE SU PROPUESTA HASTA LA IMPLEMENTACION DE UN PROTOTIPO COMO CASO DE ESTUDIO, PASANDO POR SU DEFINICIÓN Y ANALISIS. ESTA NUEVA REFACTORIZACION SE HA DENOMINADO: PARAMETRIZACIÓN, EN ALUSION A AÑADIR UN PARAMETRO FORMAL A UNA CLASE, Y CIERRA AL CUADRO DE LAS REFACTORIZACIONES EN LA DIRECCION HORIZONTAL DEFINIDAS HASTA EL MOMENTO.

Autor: JIMENEZ PERIS RICARDO.
Año: 1999.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: La popularización de Internet ha extendido el uso de los sistemas distribuidos. Por otro lado, cada dia que pasa se depende más de los sistemas informáticos, por lo que cada vez se da más importancia a la fiabilidad de éstos. La tolerancia a fallos estudia cómo hacer los sistemas informáticos más fiables, disponibles y seguros. Dos de las principales corrientes para la construcción de sistemas distribuidos tolerantes a fallos son protagonizadas por las transacciones y la comunicación a grupo. Hace algo más de un lustro surgió un debate en la comunidad científica de los sistemas distribuidos sobre si la comunicación a grupo era suficiente para la programación de cualquier sistema distribuido tolerante a fallos. En este debate se llegó a la conclusión de que ambas tecnicas, transacciones y comunicación a grupo, eran complementarias y que sería necesario integrarlas. El proyecto de investigación en el que se enmarca esta tesis se marcó como objetivo integrar ambas técnicas. Como fruto de este proyecto se ha propuesto un nuevo modelo transaccional que integra las transacciones y la comunicación a grupo. Group Transactions. En esta tesis se presentan los algoritmos para soportar Group Transactions, así como una arquitectura orientada a objetos reusable (o framework) que permita su implementación. Los algoritmos descritos tratan el control de concurrencia, la recuperación, el compromiso, asi como deteccion y resolución de interbloqueo, en este nuevo modelo propuesto. Así mismo, la arquitectura orientada a objetos propuesta es adaptable permitiendo que los mecanismos de control de concurrencia y recuperación puden cambiarse, sin afectar al resto del sistema. Otro aspecto novedoso de la arquitectura es que la comunicación cliente/servidor se basa en un nuevo paradigma, la cita multiflujo. Este framework se documenta con diversos patrones de diseño. Así mismo, se proporcionan numerosos detalles de cómo implementar la arquitectura en Ada 95 haciendo uso de características avanzadas de este lenguaje.

Autor: PATIÑO MARTINEZ MARTA.
Año: 1999.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: Con el incremento del uso de los ordenadores como elementos de uso cotidiano ha aumentado la necesidad de sistemas altamente fiables. La tolerancia a fallos se encarga de aumentar la fiabilidad de los sistemas informáticos, generalmente, añadiendo redundancia para enmascarar los distintos tipos de fallos. Las transacciones y la comunicación con grupos de procesos son dos modelos que se han empleado en la construcción de aplicaciones distribuidas tolerantes a fallos. Las transacciones proporcionan coherencia en los datos frente a accesos concurrentes y caidas de nodos, mientras que los grupos de procesos proporcionan disponibilidad de procesos y datos frente a caidas de nodos, cuando los procesos de un grupo son réplicas, y servicios concurrentes cuando los procesos de un grupo cooperan para suministrar un servicio. En esta tesis se describe la integración de los modelos de transacciones y comunicación a grupo para la construcción de aplicaciones distribuidas tolerantes a fallos. El resultado de esta integración ha sido un nuevo modelo transaccional, transacciones con grupos. Las principales ventajas de esta integración son: la posibilidad de construir transacciones altamente disponibles mediante la replicación de clientes y servidores, la disminución de la latencia de los servicios transaccionales que son ejecutados por grupos de procesos y la ejecución de un conjunto de servicios ofrecidos por uno o varios grupos de manera atómica. Además, se ha definido un lenguaje, Drago Transaccional, para la construccion de aplicaciones distribuidas tolerantes a fallos que implementa el modelo de transacciones con grupos.

Autor: MORENO VALVERDE GINES DAMIAN.
Año: 1999.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.

Resumen: El problema de la integración de la programación lógica y funcional esta considerado como uno de los más importantes en el área de investigación sobre programación declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de eficiencia de su ejecucción se aproxime al de los lenguajes imperativos. Para ello, es imprescindible el desarrollo de herramientas potentes para el analísis y trasnformación de los programas, capaces de otpimizar las implementaciones existentes. Esta tesis se centra en el desarrollo de tales técnicas, adoptandose la aproximación conocida como "reglas + estrategias" para la optimización de programas en un contexto lógico-funcional unificado. Las reglas básicas que se usan son el plegado y el desplegado que aquí se definen en términos del narrowing y sus refinamientos. Gracias a la propagación bidireccional de parámetros realizadas por el mecanismo de unificacion del narrowing, se obtienen optimizaciones apreciables y es posible explotar la sinergia existentes entre la síntaxis funcional (anidamientos funcionales, evaluaciones perezosas, etc.) y el uso de variables lógicas. Esta visión unificada de ejecución y transformación de programas nos permite explotar los resultados conocidos en ambos campos, funcional y lógico, y desarrollar un esquema simple y potente para mejorar un programa con respecto a su capacidad para computar tanto valores a funciones como respuestas a ojetivos.Presentamos algunas aplicaciones de las reglas de plegado y desplegado (semánticas formales por deplegado y relaciones con las técnicas de evaluación paracial). Además, mostramos que su combinación con otras reglas para la introducción y eliminación de definiciones y reglas de abstracción permite obtener programas eficientes cuando son dirigidas pro estratégias adecuadas como son la composición o la formación de tuplas.El esquema presentado constituye la primera aproximación correcta y completa a la transformación de programas por plegado y desplegado en un contexto integrado.

Autor: SÁNCHEZ PALMA PEDRO.
Año: 1999.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La validación mediante animación permite el desarrollo sistemático de especificaciones software claras, concisas, precisas y sin ambigüedad. Estos aspectos han estado presentes en los métodos formales de la ingeniería del software pero ausentes en el prototipado tradicional. La calidad de los modelos conceptuales va a depender del grado de integración de los usuarios en el proceso de captura de requisitos. Por otro lado, las herramientas CASE actuales ofrecen lenguajes y métodos pocos precisos como soporte al análisis, especificación y diseño de sistemas de información. Para solucionar en parte esta problemática, se presenta un entorno de producción de softwarre de calidad ubicado en las primeras fases del ciclo de vida del desarrollo de software, que considera el uso de las Redes de Petri como formalismo de implementacióny que se orienta a validación considerando la concurrencia inherente a los sistemas reales.Para conseguir esto, básicamente ha sido necesario extender la semántica y sintaxis del lenguaje OASIS e implementar un traductor de OASIS a Redes de Petri con vistas a obtener una representación ejecutable y orientada a la validación de especificaciones mediante animación.

Autor: JULIAN IRANZO PASCUAL.
Año: 1999.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La evaluación parcial (EP) es una técnica de transformación automática que consigue la optimización del programa original para una clase de datos de entrada. Los lenguajes declarativos presentan una semántica simple y con bases teóricas bien establecidas. Recientemente, se ha introducido un marco genérico para la EP de programas lógico-funcionales basado en el empleo del narrowing, una regla de inferencia que combina el principio de reducción de los lenguajes funcionales y el principio de resolución de los lenguajes logicos. En esta tesis se han investigado las técnicas y requisitos que permiten optimizar dicho método. En ella se han introducido: A- Mejoras en el mecanismo de base. Se ha definido un procedimiento de EP basado en el narrowing perezoso para el que se ha demostrado su corrección y completitud. Se ha identificado la clase de los programas uniformes como aquélla sobre la cual es posible reafinar la estrategia de narrowing perezoso, sin pérdida de completitud. La nueva estrategia se ha denominado narrowing perezoso uniforme y se ha demostrado que es computacionalmente equivalente a la estrategia de narrowing necesario sobre la mencionada clase de programas. Esto permite obtener une valuador parcial que se ha probado que es fuertemente correcto y para el que se consiguen mejores prestaciones que con la estrategia de narrowing perezoso original. B- Técnicas avanzadas de especialización. Se ha mejorado el procedimiento de control del algoritmo genérico de EP introduciendo: i- Una nueva regla de desplegado dinámica. ii- Un operador de abstracción que emplea técnicas de partición. Estas innovaciones han permitido la especialización de programas con respecto a expresiones complejas sin el empleo de arigicios ad hoc, todo ello sin afecar a la terminación del proceso de EP. El método de EP obteniendo es aplicable a los lenguajes lógico-funcionales modernos (específicamente, aquéllos con semántica operacional no estricta) y engloba tanto la especialización de los programas lógicos convencionales como de los programas funcionales (de semántica no estricta).

Autor: GULIAS FERNANDEZ VICTOR M..
Año: 1999.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: La investigación se centra en la explotación de la programación concurrente funcional sobre una arquitectura multiprocesador de memoria distribuida. Para ilustrar los conceptos estudiados, se desarrolla un prototipo denominado DFL (Distributed Functional Language), una extensión de un lenguaje funcional secuencial existente (Ojective Caml). Tras introducir el problema y presentar el estado del arte, en el que se establece una distinción entre sistemas orientados a paralelizar la ejecución de codigo funcional y aquellos orientados a la construcción de programas concurrentes, se establecen los requerimientos fundamentales que debe satisfacer un lenguaje funcional distribuido distinguiendo las caracteristicas especificas de los dos grandes tipos de aplicaciones distribuidas (aplicaciones interactivas y aplicaciones computacionalmente intensivas). El prototipo, construido como una serie de capas situadas encima del lenguaje funcional secuencial utilizado, comparte un substrato común (DFL/CORE) que es responsable del transporte de orden superior entre nodos de la maquina virtual distribuida. Para ello se establece el mecanismo de empaquetado o serialización de cualquier valor funcional, incluidas estructuras de datos y funciones, y el transporte de paquetes mediante una biblioteca de paso de mensajes (PVM,MPI,…). Sobre este substrato común se situan dos capas que constituyen dos modelos de programación orientados a cada tipo de aplicación distribuida. El primer modelo de programación distribuida (DFL/DTHREAD) aborda la problemática de la construccion de aplicaciones distribuidas de forma totalmente explicita, en las que el programador requiere control absoluto de la ubicación de residencia de cada hilo distribuido, asi como el comportamiento e interacciones entre estos. El comportamiento de un proceso ligero se lleva a cabo mediante un cierre funcional, mientras que las comunicaciones explicitas entre procesos se establecen mediante canales distribuidos asíncronos de carácter homogéneo (tipados). La semántica del lenguaje resultante se formaliza estableciendo la correspondencia con un modelo formal, el r-calculo de Milner. El segundo modelo de programación distribuida(DFL/FUTURE) permite el desarrollo de aplicaciones de computo en las cuales el programador explota parcialmente el paralelismo implícito en las expresiones funcionales. Para ello las B-reducciones de interes son anotadas utilizando un tipo de dato abstracto denominado promesa (future) resaltando el hecho de que dichas anotaciones no afectan la semántica del lenguaje secuencial. Esta propiedad se emplea para extender al marco distribuido aquellas propiedades verificadas formalmente en programas secuenciales. El equilibrado de la carga es tarea del sistema en tiempo de ejecución, utilizando una planificación basada en un algoritmo de robo de trabajo.

Autor: BLANCO HERAS DORA.
Año: 1999.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: INGENIEROS INDUSTRIALES.

Resumen: En este trabajo se presenta un modelo para determinar y mejorar la localidad asociada a la ejecución de códigos irregulares de álgebra matricial dispersa. El conjunto de códigos para los cuales el modelo es aplicable es el constituido por códigos que contiene indirecciones regidas por una matriz dispersa, para las que el agrupamiento de las entradas sobre el patrón de la matriz está relacionado con el grado de localidad, tanto espacial como temporal, de los accesos. Este conjunto engloba, entre otros, al producto de una matriz dispersa por un vector denso, al cálculo de la traspuesta de una matriz dispersa y al producto de una matriz dispersa por una matriz densa. El modelado de localidad parte del análisis de un conjunto de 28 parámetros dependientes del patrón de la matriz dispersa que rige los accesos indirectos. Mediante técnicas de estadística multivariante se ha reducido la dimensionalidad del espacio de localidad de 28 a 2 dimensiones mediante la selección de los dos parámtros estadísticamente más relevantes: coincidencias a nivel de entradas y coincidencias a nivel de bloques. Sobre la base de los dos parámetros seleccionados, proponeos cuatro funciones de distancia que, evaluadas sobre pares de filas (o columnas) de la matriz dispersa, cuantifican el grado de localidad en los accesos irregulares que dichas filas o columnas direccionan. El modelo de localidad desarrollado a partir de las funciones de distancia obtenidas presenta entre sus características las siguientes: . Puede ser aplicado tanto para la predicción de la localidad que presentan algunos accesos irregulares como para la optimización de dichos accesos por medio de permutaciones de la matriz dispersa que minimicen la localidad predicha. Para la solución del problema de optimización se han utilizado técnicos heurísticas basadas en la construcción de grafos. . El modelo puede ser aplicado a cualquier tipo de matriz dispersa, sin asumir limitación en cuanto a las características que presente su patrón. . Aunque la evaluación del modelo se ha entrado en el comportamiento de una memoria caché, puede ser aplicado a otros niveles de la jerarquía de memoria. La aplicación del modelo al proceso de mejora de localidad permite obtener mejoras que serán de diferente magnitud dependiendo del patrón de la matriz original. Entre los resultados obtenidos podemos citar que hemos obtenido mejoras en el número de fallos para una caché de 2K palabras, y para la operación de matriz dispersa por vector, de hasta un 7% para matrices en banda y de hasta un 70% para matrices con dispersidad uniforme. En el caso de la operación de trasposición de una matriz dispersa, las mejoras para una caché de igual tamaño son del 40% y 76%, para matrices con patrones en banda y uniformes respectivamente. Para el mismo tamaño y la operación de producto de una matriz dispersa por una matriz densa, las mejoras son de un 40% y un 70% respectivamente. Los resultados más relevantes han sido verificados sobre dos sistemas reales monoprocesador: un procesador UltraSPARC II y un DEC Alplha 21164. Se ha concluido que mejoras en localidad predichas por el modelo se corresponden con disminuciones del tiempo de ejecución sobre dichos sistemas.

Autor: MARTIN SANTAMARIA M. JOSE.
Año: 1998.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA.

Resumen: En esta tesis doctoral se establecen estrategias de programación para obtener altos rendimientos en el procesamiento de códigos irregulares sobre arquitecturas multiprocesador, en particular sobre sistemas de memoria distribuida con topología en malla bidimensional y en sistemas de memoria compartida tipo NUMA. Las estrategias utilizadas se basan en el establecimiento de "schedulings" que mejoran la localidad de los accesos a memoria y minimizan el número de comunicaciones necesarias, el agrupamiento de mensajes, la minimización de los tiempos de espera, etc. Se ha elegido el algoritmo de Cholesky modificado como caso de estudio sobre el que se han aplicado dichas estrategias. Los resultados obtenidos muestran mejoras significativas sobre los algoritmos paralelos estándar.

Autor: GOMEZ DEL RINCON M. PILAR.
Año: 1998.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA.

Resumen: La tesis se enmarca en el proceso de edición de programas, aportando la construcción de un editor específicamente orientado al lenguaje de programación. Este trabajo se organiza en tres partes, aportando en primer lugar un estudio de campo junto a un estudio estadístico, destinados a detectar y analizar las carencias de los sistemas de programación actuales que dificultan los aspectos involucrados en el proceso. De este modo, se constata que el gran porcentaje de errores que aparecen en los programas son simplemente de sintaxis, y no de lógica de programación, lo que implica una evidente ralentización del proceso de preparación de los programas, y una cierta frustración en las personas. En segundo lugar se aporta la implementación del prototipo. Se trata de un sistema de ayuda a la escritura de programas dirigido principalmente al período de toma de contacto con el lenguaje de programación, y que mejora el aprendizaje del mismo. El editor está dirigido por la sintaxis y utiliza plantillas predefinidas para reflejar la estructura básica de los programas, liberando al programador de las tareas innecesarias o repetitivas de codificación. Con ello, se evitan en tiempo de edición los errores de compilación. La bondad del comportamiento del sistema propuesto se ha comprobado frente a un editor tradicional. El editor alternativo se ha integrado en un entorno de programación completo, siendo el sistema resultante cómodo, agradable, eficaz, fácil y preciso. En el prototipo final se optimiza algunos aspectos detectados en el análisis anterior, aportando flexibilidad y amigabilidad en las construcciones de los programas, sin perder su funcionalidad. La implementación del editor se aplica al lenguaje Pascal y se restringe al subconjunto del lenguaje necesario para la creación de programas sencillos, pero suficiente para poder evaluar las características deseadas. Las líneas abiertas por este trabajo incluyen completar aspectos que no han sido tratados, además de la mejora del proceso de edición de programas para usuarios expertos.

Autor: PINO BLANCO ELVIRA.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.