918 resultados para Philosophical logic
Resumo:
Los estudios de esta tesis doctoral muestran la relación estrecha que existe en la Fenomenología del Espíritu entre el concepto hegeliano de experiencia, su concepción del absoluto y el impacto que tiene en ambos el desafío del escepticismo. La tesis general sostenida es que la confrontación de Hegel con el escepticismo es la clave de lectura más importante para la comprensión de la Introducción a la Fenomenología y por lo tanto del programa original de la obra. Más específicamente, se sostiene que la Introducción a la Fenomenología del Espíritu se encuentra filosóficamente constituida en atenta referencia a las objeciones que Gottlob Schulze había dirigido al incipiente idealismo de Jena en sus escritos de 1803 (Aforismos sobre lo Absoluto) y de 1805 (Los momentos principales del modo escéptico de pensar acerca del conocimiento humano). Se afirma aquí que Hegel revalorizó el escepticismo de Schulze, a tal punto que: a) los desafíos de Schulze son la principal provocación para un cambio de rumbo en los planes filosóficos de Hegel, esto es, el de comenzar por el problema del conocimiento antes de presentar su Lógica; b) las objeciones de Schulze constituyen los motivos decisivos que generan la ruptura entre Schelling y Hegel; c) a raíz de tales objeciones, Hegel relativiza en la Fenomenología la distinción tajante que había establecido entre antiguo y nuevo escepticismo en su escrito de 1802 (Relación del escepticismo con la filosofía); d) Hegel no sólo considera las objeciones del escéptico sino que se apropia y reformula algunas de sus ideas.En síntesis: los estudios que se exponen en esta tesis reconstruyen una polémica entre Hegel y Schulze. Esta reconstrucción puede aclarar la teoría de la experiencia que se encuentra en el texto de la Introducción a la Fenomenología.En cuanto al orden de la exposición, este trabajo doctoral comienza con una presentación de la concepción de Kant acerca de la experiencia, del límite del conocimiento humano y del absoluto, tal como aparecen en la Crítica de la Razón Pura, mostrando cómo ya en aquella obra el escepticismo juega un rol determinante (capítulo 1). A continuación, se exponen las ideas y los argumentos fundamentales del escrito hegeliano de 1802 sobre el escepticismo (capítulo 2). En el tercer capítulo se muestra la incertidumbre que tuvieron los lectores académicos, entre ellos Schulze, acerca de la autoría de la Revista Crítica de Filosofía, la cual era editada por Schelling y Hegel sin especificar la autoría de cada artículo, y en la que había sido publicado el escrito de Hegel. A esta situación se debe -según la presente tesis- que Schulze haya dirigido sus críticas a Schelling y no a Hegel. En los capítulos cuarto y quinto se exponen las tesis fundamentales que Schulze sostiene en los escritos mencionados de 1803 y 1805. El capítulo central, el sexto, consiste en un comentario de toda la Introducción a la Fenomenología a la luz del debate velado con Schulze y en atención particular al concepto hegeliano de experiencia. El último capítulo examina a grandes rasgos, a partir de lo demostrado, la concepción de Hegel sobre el escepticismo y sobre el concepto de experiencia en el resto de la Fenomenología del Espíritu. Se distingue un escepticismo estructural, que forma parte de la dinámica de la experiencia, de un escepticismo histórico que constituye una figura puntual del itinerario de la experiencia que hace la conciencia. En el mismo capítulo se considera el destino que tuvo el concepto de experiencia en el resto de la obra de Hegel y se concluye que sigue de cerca el destino de la Fenomenología y se indagan los motivos. También se examina sucintamente el papel del escepticismo en la Ciencia de la Lógica y en las Lecciones de Historia de la Filosofía. En las Conclusiones Finales de este trabajo doctoral se retoman en forma comparada y sintética las concepciones de Kant, de Schulze y de Hegel acerca de la experiencia, el límite, el absoluto y la libertad.
Resumo:
Las indagaciones en la pregunta por lo que hay permiten distinguir a grandes rasgos entre dos enfoques: uno, el de los pensadores que entendieron que el tema a investigar era la naturaleza y estructura del mundo, y otro, el de aquellos quienes, al sostener que describir el mundo no es simplemente copiarlo, atendieron a lo que se llamó esquema conceptual: esto es, al marco conceptual cuya forma toman las descripciones del mundo. La situación se puede plantear como un dilema, ninguno de cuyos cuernos permite alentar esperanzas de avances bien fundados. O bien se pretende describir el mundo, tal como es, sin contemplar el hecho de que esa descripción incluye elecciones conceptuales propias de un sujeto, o bien se centra la investigación en los rasgos de el/los esquema/s conceptual/es imprescindibles para construir una descripción del mundo, imposibilitando, con ello, el acceso a la realidad tal como ésta es. En el siglo XX se cuenta con recursos de sistemas de lógica considerablemente más desarrollados y abarcadores (en sus posibilidades de aplicación) que los anteriores. Tales recursos brindan nuevas posibilidades de abordaje de la pregunta por lo que hay, no sólo por los ámbitos que se clarifican mediante ellos, sino también por el sustento que ofrecen para la reflexión filosófica los resultados obtenidos. Los avances producidos en el ámbito de la lógica en algo más de un siglo tuvieron variadas repercusiones en el enfoque y el tratamiento de distintas cuestiones filosóficas. Así, se ha echado mano a conceptos y recursos de lógica al considerar preguntas acerca de la estructura del mundo. Para la determinación de los componentes de la realidad se ha recurrido a la lógica, desde diversas posiciones filosóficas. Por ejemplo, se ha entendido que la lógica subyacente a la teoría científica brinda en algún sentido elementos para determinar la ontología (o para descartar la posibilidad de hacerlo, o para establecer qué función cumple la noción de ontología en la teoría científica). También, desde una óptica más amplia, se ha intentado mostrar que el uso del lenguaje tiene consecuencias respecto de la ontología. Hilary Putnam ha sugerido la posibilidad de ser al mismo tiempo un realista y un relativista conceptual. Involucra consideraciones como las mencionadas, respecto de lógica y ontología. Su objetivo es el intento de hacer justicia a la realidad y al misterio de nuestro mundo de sentido común. Tomo esta tesis como una propuesta de trabajo. Me interesa pensar en cómo ofrecer algunos elementos de juicio para evaluar sus alcances. Para ello, examino la sugerencia de Putnam mediante un ejemplo construido con ese objetivo. Entiendo que se requerirán, al menos, dos esquemas conceptuales diferentes: al que surgiría de la lógica de orden 1, tal como la desarrolla Quine, y al que podría obtenerse a partir de la teoría de objetos no existentes de Castañeda. Se contará así con elementos de juicio más precisos que los habituales para evaluar las consecuencias que se seguirían para la ontología en caso de sostener ambos esquemas conceptuales, en consonancia con la propuesta de Putnam que se ha tomado como objetivo general del proyecto
Resumo:
En el presente artículo examino la apropiación platónica del lenguaje poético en República y sostengo que, a pesar de sus críticas a la poesía en los libros 3 y 10, el lenguaje poético está correctamente entrelazado dentro del tejido filosófico para pintar lo corrupto, lo feo y lo inmoral. En términos específicos, la adaptación platónica de diversos motivos poéticos e imágenes en República se vuelve más significativa si prestamos atención a Sócrates como un quasi-pintor en el diálogo e interpretamos sus imágenes filosóficas como una respuesta de la filosofía a las engañosas representaciones dramáticas de la poesía. De este modo, el arte de la pintura que, incluso es criticado en el libro 10 de República, en manos de Platón resulta una herramienta filosófica que le permite investigar la relación de nuestro mundo senso-perceptivo ordinario con el campo metafísico de las Ideas y el lugar de lo humano en él
Resumo:
Los estudios de esta tesis doctoral muestran la relación estrecha que existe en la Fenomenología del Espíritu entre el concepto hegeliano de experiencia, su concepción del absoluto y el impacto que tiene en ambos el desafío del escepticismo. La tesis general sostenida es que la confrontación de Hegel con el escepticismo es la clave de lectura más importante para la comprensión de la Introducción a la Fenomenología y por lo tanto del programa original de la obra. Más específicamente, se sostiene que la Introducción a la Fenomenología del Espíritu se encuentra filosóficamente constituida en atenta referencia a las objeciones que Gottlob Schulze había dirigido al incipiente idealismo de Jena en sus escritos de 1803 (Aforismos sobre lo Absoluto) y de 1805 (Los momentos principales del modo escéptico de pensar acerca del conocimiento humano). Se afirma aquí que Hegel revalorizó el escepticismo de Schulze, a tal punto que: a) los desafíos de Schulze son la principal provocación para un cambio de rumbo en los planes filosóficos de Hegel, esto es, el de comenzar por el problema del conocimiento antes de presentar su Lógica; b) las objeciones de Schulze constituyen los motivos decisivos que generan la ruptura entre Schelling y Hegel; c) a raíz de tales objeciones, Hegel relativiza en la Fenomenología la distinción tajante que había establecido entre antiguo y nuevo escepticismo en su escrito de 1802 (Relación del escepticismo con la filosofía); d) Hegel no sólo considera las objeciones del escéptico sino que se apropia y reformula algunas de sus ideas.En síntesis: los estudios que se exponen en esta tesis reconstruyen una polémica entre Hegel y Schulze. Esta reconstrucción puede aclarar la teoría de la experiencia que se encuentra en el texto de la Introducción a la Fenomenología.En cuanto al orden de la exposición, este trabajo doctoral comienza con una presentación de la concepción de Kant acerca de la experiencia, del límite del conocimiento humano y del absoluto, tal como aparecen en la Crítica de la Razón Pura, mostrando cómo ya en aquella obra el escepticismo juega un rol determinante (capítulo 1). A continuación, se exponen las ideas y los argumentos fundamentales del escrito hegeliano de 1802 sobre el escepticismo (capítulo 2). En el tercer capítulo se muestra la incertidumbre que tuvieron los lectores académicos, entre ellos Schulze, acerca de la autoría de la Revista Crítica de Filosofía, la cual era editada por Schelling y Hegel sin especificar la autoría de cada artículo, y en la que había sido publicado el escrito de Hegel. A esta situación se debe -según la presente tesis- que Schulze haya dirigido sus críticas a Schelling y no a Hegel. En los capítulos cuarto y quinto se exponen las tesis fundamentales que Schulze sostiene en los escritos mencionados de 1803 y 1805. El capítulo central, el sexto, consiste en un comentario de toda la Introducción a la Fenomenología a la luz del debate velado con Schulze y en atención particular al concepto hegeliano de experiencia. El último capítulo examina a grandes rasgos, a partir de lo demostrado, la concepción de Hegel sobre el escepticismo y sobre el concepto de experiencia en el resto de la Fenomenología del Espíritu. Se distingue un escepticismo estructural, que forma parte de la dinámica de la experiencia, de un escepticismo histórico que constituye una figura puntual del itinerario de la experiencia que hace la conciencia. En el mismo capítulo se considera el destino que tuvo el concepto de experiencia en el resto de la obra de Hegel y se concluye que sigue de cerca el destino de la Fenomenología y se indagan los motivos. También se examina sucintamente el papel del escepticismo en la Ciencia de la Lógica y en las Lecciones de Historia de la Filosofía. En las Conclusiones Finales de este trabajo doctoral se retoman en forma comparada y sintética las concepciones de Kant, de Schulze y de Hegel acerca de la experiencia, el límite, el absoluto y la libertad.
Resumo:
Las indagaciones en la pregunta por lo que hay permiten distinguir a grandes rasgos entre dos enfoques: uno, el de los pensadores que entendieron que el tema a investigar era la naturaleza y estructura del mundo, y otro, el de aquellos quienes, al sostener que describir el mundo no es simplemente copiarlo, atendieron a lo que se llamó esquema conceptual: esto es, al marco conceptual cuya forma toman las descripciones del mundo. La situación se puede plantear como un dilema, ninguno de cuyos cuernos permite alentar esperanzas de avances bien fundados. O bien se pretende describir el mundo, tal como es, sin contemplar el hecho de que esa descripción incluye elecciones conceptuales propias de un sujeto, o bien se centra la investigación en los rasgos de el/los esquema/s conceptual/es imprescindibles para construir una descripción del mundo, imposibilitando, con ello, el acceso a la realidad tal como ésta es. En el siglo XX se cuenta con recursos de sistemas de lógica considerablemente más desarrollados y abarcadores (en sus posibilidades de aplicación) que los anteriores. Tales recursos brindan nuevas posibilidades de abordaje de la pregunta por lo que hay, no sólo por los ámbitos que se clarifican mediante ellos, sino también por el sustento que ofrecen para la reflexión filosófica los resultados obtenidos. Los avances producidos en el ámbito de la lógica en algo más de un siglo tuvieron variadas repercusiones en el enfoque y el tratamiento de distintas cuestiones filosóficas. Así, se ha echado mano a conceptos y recursos de lógica al considerar preguntas acerca de la estructura del mundo. Para la determinación de los componentes de la realidad se ha recurrido a la lógica, desde diversas posiciones filosóficas. Por ejemplo, se ha entendido que la lógica subyacente a la teoría científica brinda en algún sentido elementos para determinar la ontología (o para descartar la posibilidad de hacerlo, o para establecer qué función cumple la noción de ontología en la teoría científica). También, desde una óptica más amplia, se ha intentado mostrar que el uso del lenguaje tiene consecuencias respecto de la ontología. Hilary Putnam ha sugerido la posibilidad de ser al mismo tiempo un realista y un relativista conceptual. Involucra consideraciones como las mencionadas, respecto de lógica y ontología. Su objetivo es el intento de hacer justicia a la realidad y al misterio de nuestro mundo de sentido común. Tomo esta tesis como una propuesta de trabajo. Me interesa pensar en cómo ofrecer algunos elementos de juicio para evaluar sus alcances. Para ello, examino la sugerencia de Putnam mediante un ejemplo construido con ese objetivo. Entiendo que se requerirán, al menos, dos esquemas conceptuales diferentes: al que surgiría de la lógica de orden 1, tal como la desarrolla Quine, y al que podría obtenerse a partir de la teoría de objetos no existentes de Castañeda. Se contará así con elementos de juicio más precisos que los habituales para evaluar las consecuencias que se seguirían para la ontología en caso de sostener ambos esquemas conceptuales, en consonancia con la propuesta de Putnam que se ha tomado como objetivo general del proyecto
Resumo:
En el presente artículo examino la apropiación platónica del lenguaje poético en República y sostengo que, a pesar de sus críticas a la poesía en los libros 3 y 10, el lenguaje poético está correctamente entrelazado dentro del tejido filosófico para pintar lo corrupto, lo feo y lo inmoral. En términos específicos, la adaptación platónica de diversos motivos poéticos e imágenes en República se vuelve más significativa si prestamos atención a Sócrates como un quasi-pintor en el diálogo e interpretamos sus imágenes filosóficas como una respuesta de la filosofía a las engañosas representaciones dramáticas de la poesía. De este modo, el arte de la pintura que, incluso es criticado en el libro 10 de República, en manos de Platón resulta una herramienta filosófica que le permite investigar la relación de nuestro mundo senso-perceptivo ordinario con el campo metafísico de las Ideas y el lugar de lo humano en él
Resumo:
Los estudios de esta tesis doctoral muestran la relación estrecha que existe en la Fenomenología del Espíritu entre el concepto hegeliano de experiencia, su concepción del absoluto y el impacto que tiene en ambos el desafío del escepticismo. La tesis general sostenida es que la confrontación de Hegel con el escepticismo es la clave de lectura más importante para la comprensión de la Introducción a la Fenomenología y por lo tanto del programa original de la obra. Más específicamente, se sostiene que la Introducción a la Fenomenología del Espíritu se encuentra filosóficamente constituida en atenta referencia a las objeciones que Gottlob Schulze había dirigido al incipiente idealismo de Jena en sus escritos de 1803 (Aforismos sobre lo Absoluto) y de 1805 (Los momentos principales del modo escéptico de pensar acerca del conocimiento humano). Se afirma aquí que Hegel revalorizó el escepticismo de Schulze, a tal punto que: a) los desafíos de Schulze son la principal provocación para un cambio de rumbo en los planes filosóficos de Hegel, esto es, el de comenzar por el problema del conocimiento antes de presentar su Lógica; b) las objeciones de Schulze constituyen los motivos decisivos que generan la ruptura entre Schelling y Hegel; c) a raíz de tales objeciones, Hegel relativiza en la Fenomenología la distinción tajante que había establecido entre antiguo y nuevo escepticismo en su escrito de 1802 (Relación del escepticismo con la filosofía); d) Hegel no sólo considera las objeciones del escéptico sino que se apropia y reformula algunas de sus ideas.En síntesis: los estudios que se exponen en esta tesis reconstruyen una polémica entre Hegel y Schulze. Esta reconstrucción puede aclarar la teoría de la experiencia que se encuentra en el texto de la Introducción a la Fenomenología.En cuanto al orden de la exposición, este trabajo doctoral comienza con una presentación de la concepción de Kant acerca de la experiencia, del límite del conocimiento humano y del absoluto, tal como aparecen en la Crítica de la Razón Pura, mostrando cómo ya en aquella obra el escepticismo juega un rol determinante (capítulo 1). A continuación, se exponen las ideas y los argumentos fundamentales del escrito hegeliano de 1802 sobre el escepticismo (capítulo 2). En el tercer capítulo se muestra la incertidumbre que tuvieron los lectores académicos, entre ellos Schulze, acerca de la autoría de la Revista Crítica de Filosofía, la cual era editada por Schelling y Hegel sin especificar la autoría de cada artículo, y en la que había sido publicado el escrito de Hegel. A esta situación se debe -según la presente tesis- que Schulze haya dirigido sus críticas a Schelling y no a Hegel. En los capítulos cuarto y quinto se exponen las tesis fundamentales que Schulze sostiene en los escritos mencionados de 1803 y 1805. El capítulo central, el sexto, consiste en un comentario de toda la Introducción a la Fenomenología a la luz del debate velado con Schulze y en atención particular al concepto hegeliano de experiencia. El último capítulo examina a grandes rasgos, a partir de lo demostrado, la concepción de Hegel sobre el escepticismo y sobre el concepto de experiencia en el resto de la Fenomenología del Espíritu. Se distingue un escepticismo estructural, que forma parte de la dinámica de la experiencia, de un escepticismo histórico que constituye una figura puntual del itinerario de la experiencia que hace la conciencia. En el mismo capítulo se considera el destino que tuvo el concepto de experiencia en el resto de la obra de Hegel y se concluye que sigue de cerca el destino de la Fenomenología y se indagan los motivos. También se examina sucintamente el papel del escepticismo en la Ciencia de la Lógica y en las Lecciones de Historia de la Filosofía. En las Conclusiones Finales de este trabajo doctoral se retoman en forma comparada y sintética las concepciones de Kant, de Schulze y de Hegel acerca de la experiencia, el límite, el absoluto y la libertad.
Resumo:
Las indagaciones en la pregunta por lo que hay permiten distinguir a grandes rasgos entre dos enfoques: uno, el de los pensadores que entendieron que el tema a investigar era la naturaleza y estructura del mundo, y otro, el de aquellos quienes, al sostener que describir el mundo no es simplemente copiarlo, atendieron a lo que se llamó esquema conceptual: esto es, al marco conceptual cuya forma toman las descripciones del mundo. La situación se puede plantear como un dilema, ninguno de cuyos cuernos permite alentar esperanzas de avances bien fundados. O bien se pretende describir el mundo, tal como es, sin contemplar el hecho de que esa descripción incluye elecciones conceptuales propias de un sujeto, o bien se centra la investigación en los rasgos de el/los esquema/s conceptual/es imprescindibles para construir una descripción del mundo, imposibilitando, con ello, el acceso a la realidad tal como ésta es. En el siglo XX se cuenta con recursos de sistemas de lógica considerablemente más desarrollados y abarcadores (en sus posibilidades de aplicación) que los anteriores. Tales recursos brindan nuevas posibilidades de abordaje de la pregunta por lo que hay, no sólo por los ámbitos que se clarifican mediante ellos, sino también por el sustento que ofrecen para la reflexión filosófica los resultados obtenidos. Los avances producidos en el ámbito de la lógica en algo más de un siglo tuvieron variadas repercusiones en el enfoque y el tratamiento de distintas cuestiones filosóficas. Así, se ha echado mano a conceptos y recursos de lógica al considerar preguntas acerca de la estructura del mundo. Para la determinación de los componentes de la realidad se ha recurrido a la lógica, desde diversas posiciones filosóficas. Por ejemplo, se ha entendido que la lógica subyacente a la teoría científica brinda en algún sentido elementos para determinar la ontología (o para descartar la posibilidad de hacerlo, o para establecer qué función cumple la noción de ontología en la teoría científica). También, desde una óptica más amplia, se ha intentado mostrar que el uso del lenguaje tiene consecuencias respecto de la ontología. Hilary Putnam ha sugerido la posibilidad de ser al mismo tiempo un realista y un relativista conceptual. Involucra consideraciones como las mencionadas, respecto de lógica y ontología. Su objetivo es el intento de hacer justicia a la realidad y al misterio de nuestro mundo de sentido común. Tomo esta tesis como una propuesta de trabajo. Me interesa pensar en cómo ofrecer algunos elementos de juicio para evaluar sus alcances. Para ello, examino la sugerencia de Putnam mediante un ejemplo construido con ese objetivo. Entiendo que se requerirán, al menos, dos esquemas conceptuales diferentes: al que surgiría de la lógica de orden 1, tal como la desarrolla Quine, y al que podría obtenerse a partir de la teoría de objetos no existentes de Castañeda. Se contará así con elementos de juicio más precisos que los habituales para evaluar las consecuencias que se seguirían para la ontología en caso de sostener ambos esquemas conceptuales, en consonancia con la propuesta de Putnam que se ha tomado como objetivo general del proyecto
Resumo:
En el presente artículo examino la apropiación platónica del lenguaje poético en República y sostengo que, a pesar de sus críticas a la poesía en los libros 3 y 10, el lenguaje poético está correctamente entrelazado dentro del tejido filosófico para pintar lo corrupto, lo feo y lo inmoral. En términos específicos, la adaptación platónica de diversos motivos poéticos e imágenes en República se vuelve más significativa si prestamos atención a Sócrates como un quasi-pintor en el diálogo e interpretamos sus imágenes filosóficas como una respuesta de la filosofía a las engañosas representaciones dramáticas de la poesía. De este modo, el arte de la pintura que, incluso es criticado en el libro 10 de República, en manos de Platón resulta una herramienta filosófica que le permite investigar la relación de nuestro mundo senso-perceptivo ordinario con el campo metafísico de las Ideas y el lugar de lo humano en él
Resumo:
After more than a decade of development work and hopes, the usage of mobile Internet has finally taken off. Now, we are witnessing the first signs of evidence of what might become the explosion of mobile content and applications that will be shaping the (mobile) Internet of the future. Similar to the wired Internet, search will become very relevant for the usage of mobile Internet. Current research on mobile search has applied a limited set of methodologies and has also generated a narrow outcome of meaningful results. This article covers new ground, exploring the use and visions of mobile search with a users' interview-based qualitative study. Its main conclusion builds upon the hypothesis that mobile search is sensitive to a mobile logic different than today's one. First, (advanced) users ask for accessing with their mobile devices the entire Internet, rather than subsections of it. Second, success is based on new added-value applications that exploit unique mobile functionalities. The authors interpret that such mobile logic involves fundamentally the use of personalised and context-based services.
Resumo:
In this paper, a new countermeasure against power and electromagnetic (EM) Side Channel Attacks (SCA) on FPGA implemented cryptographic algorithms is proposed. This structure mainly focuses on a critical vulnerability, Early Evaluation, also known as Early Propagation Effect (EPE), which exists in most conventional SCA-hardened DPL (Dual-rail with Precharge Logic) solutions. The main merit of this proposal is that the EPE can be effectively prevented by using a synchronized non regular precharge network, which maintains identical routing between the original and mirror parts, where costs and design complexity compared with previous EPE-resistant countermeasures are reduced, while security level is not sacrificed. Another advantage for our Precharge Absorbed(PA) - DPL method is that its Dual-Core style (independent architecture for true and false parts) could be generated using partial reconfiguration. This helps to get a dynamic security protection with better energy planning. That means system only keeps the true part which fulfills the normal en/decryption task in low security level, and reconfigures the false parts once high security level is required. A relatively limited clock speed is a compromise, since signal propagation is restricted to a portion of the clock period. In this paper, we explain the principles of PA-DPL and provide the guidelines to design this structure. We experimentally validate our methods in a minimized AES co-processor on Xilinx Virtex-5 board using electromagnetic (EM) attacks.
Resumo:
Publicación de la Sede del Consejo Consultor de Castilla y León en Zamora en la revista de arquitectura IA&B (Mumbai). El proyecto de Zamora se centra en el diálogo entre una pieza cristina de vidrio y el grueso muro de piedra perimetral. Estas dos fachadas entran en relación gracias a un patio perimetral que tensa el contacto entre entre el vidrio y la piedra. Se hace especial mención de la estricta precisión y racionalidad del proyecto. La publicación contiene textos, dibujos planimétricos, fotografías y materiales del proceso de investigación en el proyecto (croquis y fotografías de maquetas).
Resumo:
We propose an analysis for detecting procedures and goals that are deterministic (i.e., that produce at most one solution at most once),or predicates whose clause tests are mutually exclusive (which implies that at most one of their clauses will succeed) even if they are not deterministic. The analysis takes advantage of the pruning operator in order to improve the detection of mutual exclusion and determinacy. It also supports arithmetic equations and disequations, as well as equations and disequations on terms,for which we give a complete satisfiability testing algorithm, w.r.t. available type information. Information about determinacy can be used for program debugging and optimization, resource consumption and granularity control, abstraction carrying code, etc. We have implemented the analysis and integrated it in the CiaoPP system, which also infers automatically the mode and type information that our analysis takes as input. Experiments performed on this implementation show that the analysis is fairly accurate and efficient.
Resumo:
Irregular computations pose sorne of the most interesting and challenging problems in automatic parallelization. Irregularity appears in certain kinds of numerical problems and is pervasive in symbolic applications. Such computations often use dynamic data structures, which make heavy use of pointers. This complicates all the steps of a parallelizing compiler, from independence detection to task partitioning and placement. Starting in the mid 80s there has been significant progress in the development of parallelizing compilers for logic programming (and more recently, constraint programming) resulting in quite capable parallelizers. The typical applications of these paradigms frequently involve irregular computations, and make heavy use of dynamic data structures with pointers, since logical variables represent in practice a well-behaved form of pointers. This arguably makes the techniques used in these compilers potentially interesting. In this paper, we introduce in a tutoríal way, sorne of the problems faced by parallelizing compilers for logic and constraint programs and provide pointers to sorne of the significant progress made in the area. In particular, this work has resulted in a series of achievements in the areas of inter-procedural pointer aliasing analysis for independence detection, cost models and cost analysis, cactus-stack memory management, techniques for managing speculative and irregular computations through task granularity control and dynamic task allocation such as work-stealing schedulers), etc.