Browsing by Author "Tanter, Éric"
Now showing items 1-20 of 49
-
(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 ...
-
(Universidad de ChileCyberDocs, 2011)
-
(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 ...
-
(Universidad de ChilePrograma Cybertesis, 2007)
-
(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 ...
-
(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, ...
-
(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, ...
-
(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 ...
-
(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 ...
-
Desclasificación basada en tipos en DART: Implementación y elaboración de herramientas de inferencia (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, ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(Universidad de Chile, 2015)La votación electrónica poco a poco se ha ido masificando a lo largo del mundo. Lamentablemente su uso en procesos eleccionarios de varios países, no ha estado exento de variadas críticas y cuestionamientos. Estos ...
-
(Universidad de Chile, 2013)El objetivo general de esta memoria es diseñar, construir e integrar un módulo con algoritmos de detección de citas bibliográficas para el sistema de análisis de originalidad en documentos digitales DOCODE 1.0. El sistema ...
-
(Universidad de Chile, 2014)La Programación Orientada a Aspectos (AOP) apunta a mejorar la modularidad y reusabilidad en sistemas de software al ofrecer un mecanismo de abstracción para manejar crosscutting concerns. Sin embargo, en la mayoría de los ...
-
(Universidad de Chile, 2015)Los lenguajes de tipado dinámico permiten un desarrollo ágil, el cual es util para construir prototipos rápidamente. Sin embargo, cuando estos pequeños programas se convierten en aplicaciones grandes, depurar se vuelve una ...
-
(Universidad de Chile, 2017)El acuerdo de París tomado en la Conferencia de las Partes de la Convención Marco de las Naciones Unidas para el Cambio Climático en el año 2015 marca un hito importante en el esfuerzo por combatir el cambio climático e ...
-
Evaluación y valoración de la complejidad en procesos de negocios desarrollados en BPEL20 y BPMN.0 (Universidad de Chile, 2017)El diseño y modelo de un proceso de negocio implica un grado de conocimiento sobre el qué hacer y el cómo se realizan las actividades, de manera que el modelo logre reflejar la realidad operacional. Este proceso no supone ...
-
(Universidad de ChileCyberDocs, 2010)Uno de los procesos del diseño de circuitos integrados digitales es la preparación de la información de las máscaras, o MDP por sus siglas en inglés (Mask Data Preparation). La preparación de máscaras recibe el diseño de ...
