Examinando por Materia "Máquinas virtuales"

Mostrando 1 - 2 de 2
  • Miniatura
    PublicaciónAcceso abierto
    Implementación de los mecanismos de búsqueda para la nueva máquina virtual de Mozart
    (Universidad del Valle, 2013) Villanueva Sanclemente, Miguel Ángel; Díaz Frias, Juan Francisco; Gutiérrez Sabogal, Gustavo
    La programación por restricciones presenta estrategias de solución a problemas de optimización y combinatorios. La estrategia general para su uso es mediante la especificación de las variables del problema y las relaciones (restricciones) que entre ellas se deben mantener. Después de dicha especificación el usuario hace uso de motores de búsqueda predefinidos que se encargan de recorrer el espacio de soluciones del problema. Gecode es un componente de software que implementa el paradigma de programación por restricciones de manera eficiente. Sin embargo su utilización es compleja para usuarios por el lenguaje de programación. Oz es un lenguaje de programación inventado en la década de los 90 que soporta entre otros el paradigma de programación por restricciones. Debido a su concepción multiparadigma ha sido adoptado por una comunidad de investigación importante. Este lenguaje interpretado ofrece mejores abstracciones y provee un ambiente de trabajo más confortable. Su implementación, Mozart hasta ahora ha carecido de soporte en la adopción de los avances en la investigación en esta ´área. Por esta razón se ha diseñado una nueva máquina virtual con Gecode como motor de restricciones, para tomar ventaja de estos avances. En este documento se propondrán los mecanismos para la interacción de los motores de búsqueda implementados en Gecode con Mozart, como también los mecanismos que permitan al usuario implementar sus propios motores de búsqueda en Oz y utilizarlos. Esto es de gran importancia para los usuarios porque permitirá sacar ventaja del conocimiento que este posee sobre el problema obteniendo búsquedas más eficientes.
  • Miniatura
    PublicaciónAcceso abierto
    "Vuso - Metodología para el uso de la virtualización de servidores en centros de datos" [recurso electrónico]
    (2019-09-30) Martínez Hurtado, Ghina Areliz; Sanabria Ordoñez, John Alexander (Director de Tesis o Trabajo de Grado)
    La virtualización es una práctica comúnmente utilizada en centros de datos empresariales, cuyo objetivo es la minimización de los costos de sostenimiento, mantenimiento y el aprovisionamiento de tecnologías heterogéneas controladas de manera unificada. Actualmente en el mercado tecnológico existen múltiples herramientas que permiten tener ambientes virtualizados (VMWARE, POWERVM, entre otras). Las herramientas propietarias de virtualización por ejemplo, ofrecen alternativas de administración y mantenimiento, aun así, carecen de estrategias para regular o determinar la mejor manera de llevar a cabo procesos de virtualización. En otras palabras, las herramientas en sí mismas son insuficientes a la hora de establecer mecanismos claros que permitan tener en cuenta las pre-condiciones o consideraciones para lograr el uso de la virtualización de manera exitosa como por ejemplo un análisis de viabilidad técnica y operativa. Por esa razón, es necesario contar con una metodología que permita incluir estos aspectos, que sean independientes de las herramientas utilizadas para la virtualización, pero que se integren de manera adecuada y se alcancen los objetivos en el centro de datos de una organización.