Browsing by Author "Tanter, Éric"

Now showing items 1-20 of 68

    • A compact and dynamic caching system for RDF graph databases 
      Miranda Torres, Cristóbal Osvaldo (Universidad de Chile, 2024)
      En este trabajo estudiamos la aplicación de un k2-tree dinámico y compacto como índice para un sistema de caching de bases de datos RDF. A diferencia de cualquiera de los otros sistemas existentes, este le da al motor ...
    • A Coq formalization of RDF and its applications 
      Vallejos Parada, Tomás Javier (Universidad de Chile, 2023)
      El Marco de Descripci´on de Recursos (del ingl´es Resource Description Framework, RDF) es un modelo de datos basado en grafos que enriquece los documentos de la World Wide Web con datos entendibles por m´aquinas. Durante ...
    • A gradual interpretation of union types 
      Toro, Matías; Tanter, Éric (Springer, 2017)
      Union types allow to capture the possibility of a term to be ofseveral possibly unrelated types. Traditional static approaches to uniontypes are untagged and tagged unions, which present dual advantagesin their use. Inspired ...
    • A Type System For Global Model Management 
      Vignaga, Andrés (Universidad de ChileCyberDocs, 2011)
    • Abstracting gradual typing: Metatheory and applications 
      Toro Ipinza, Matías (Universidad de Chile, 2019)
      Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen ...
    • Accountable intersection management protocols 
      Ortiz Pizarro, Bryan Alexis (Universidad de Chile, 2024)
      Los protocolos de gestión de intersecciones son una propuesta moderna para enfrentar las deficiencias de los métodos convencionales dedicados a esta tarea, tales como semáforos y señaléticas. Principalmente orientados a ...
    • Aprendizaje Colaborativo en Ciencias Bológicas Apoyado por Dispositivos Móviles 
      González Leiva, Marcelo Enrique (Universidad de ChilePrograma Cybertesis, 2007)
    • C# unit test smell detection in visual studio 
      Ortíz Zentilli, Francisco Nicolás (Universidad de Chile, 2024)
      Los Test Smells son malas pr´acticas de programaci´on que suelen indicar problemas de dise˜no en c´odigo de testeo. Tienen un impacto negativo en la comprensibilidad y mantenibilidad de los tests, y suelen mantenerse en ...
    • Categorizador y recomendador de asignaturas de un plan de estudio académico 
      Sandoval Leiva, Diego Andrés (Universidad de Chile, 2022)
      En este contexto, en la presente memoria se realiza un trabajo en colaboración del Centro Tecnológico Ucampus de la Universidad de Chile para construir herramientas que ayuden al estudiante en la toma de decisiones, en ...
    • Chemical foundations of distributed aspects 
      Tabareau, Nicolás; Tanter, Éric (Springer Verlag, 2019)
      © 2018, Springer-Verlag GmbH Germany, part of Springer Nature. Distributed applications are challenging to program because they have to deal with a plethora of concerns, including synchronization, locality, replication, ...
    • Clustering diferencialmente privado mediante la generación de sinopsis privadas de datos 
      Rodríguez Sepúlveda, Bruno Germán (Universidad de Chile, 2024)
      Actualmente estamos en una era donde la generación de datos masivos es constante y crucial para diferentes sectores como empresas, gobiernos y centros de investigación. Esta realidad ha impulsado el desarrollo del campo ...
    • Control de Reentrancia de Aspectos en AspectJ 
      Cabrera Hormazabal, Carlos Sebastián (Universidad de Chile, 2010)
      La programación orientada a aspectos (POA) es un paradigma de programación. Permite encapsular funcionalidad que se encuentra dispersa en un sistema. Para ello utiliza pointcuts, predicados que definen eventos del programa, ...
    • Customizable gradual effects for scala 
      Toro Ipinza, Matías (Universidad de Chile, 2015)
      Operaciones realizadas por un programa de computación pueden producir efectos. Efectos computacionales pueden ser definidos como operaciones que interactúan y que se comunican con su ambiente. Ejemplos de efectos son ...
    • Desarrollo de un sistema de gestión de inmuebles 
      Larraín Muñoz, Iván Aaron (Universidad de Chile, 2024)
      Este trabajo de memoria se realizó en el marco de un proyecto para la empresa Efirent, la cual está dedicada a la administración de inmuebles para sus clientes, encargándose de la interacción con los arrendatarios y el ...
    • Desarrollo de una Interfaz de Programación para Detección y Seguimiento de Rasgos Faciales 
      Rodríguez Elorza, Francisco Javier (Universidad de ChilePrograma Cybertesis, 2009)
      Este trabajo tiene como objetivo crear una interfaz de programación (API) que detecta la cara y rasgos faciales. A la API se le entrega como entrada una imagen o un video y retorna en tiempo real la posición de la cara y ...
    • Desarrollo y adaptación de sistema de coevaluación de equipos para cursos de trabajo colaborativo 
      Pinto De las Riberas, Valentina Aylén (Universidad de Chile, 2023)
      El trabajo colaborativo considera un grupo de personas que trabajan conjuntamente en una actividad. Esta situación se da tanto en el diario vivir como en el ámbito académico. A lo largo de nuestra vida, son múltiples las ...
    • Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia 
      Meneses Cortés, Matías Ignacio (Universidad de Chile, 2018)
      La protección de la confidencialidad de la información manipulada por los programas computacionales es abordada a nivel del código fuente con distintas técnicas. Una de ellas es tipado de seguridad para el control de flujo, ...
    • Discovering memory optimization opportunities by analyzing shareable objects 
      Infante Rica, Alejandro José (Universidad de Chile, 2017)
      Los lenguajes modernos de programación orientada a objetos han aliviado de manera impor- tante a los programadores la tarea de administrar memoria. A pesar de la eficiencia de los recolectores de basura y herramientas de ...
    • Diseñar un sistema para automatizar el proceso de evaluación del talento humano de una empresa 
      González Castro, Carlos Alberto (Universidad de Chile, 2014)
      McKinsey & Co es una consultora de alta gerencia que nace en Chicago, Estado Unidos en el año 1926. Hoy es una consultora a nivel mundial con 99 oficinas en 50 países. Con presencia en Chile desde 1996, asesora a las ...
    • Diseño e Implementación de PHANtom, un Lenguaje de Aspectos para Pharo Smalltalk 
      Galdames Grünberg, Daniel Andrés (Universidad de Chile, 2011)
      La programación orientada a aspectos es un paradigma de programación que intenta solucionar el problema de las funcionalidades transversales, esto es, funcionalidades de la aplicación que están dispersas por muchas áreas ...