Examinando por Autor "Aranda Bueno, Jesús Alexander"

Mostrando 1 - 5 de 5
  • Miniatura
    PublicaciónAcceso abierto
    An Approach to formal Modeling of grid Computing.
    (Universidad del Valle, 2016) Ramírez Restrepo, Carlos Alberto; Díaz Frias, Juan Francisco; Aranda Bueno, Jesús Alexander
    Grid computing (GC) is a large-scale computational paradigm and infrastructure that comprises a massive poolofresources. Users interact with the gridby concurrently adding new challenging tasks
  • Miniatura
    PublicaciónAcceso abierto
    Arquitectura de software para descubrimiento de conocimiento.
    (2011-10-13) Aranda Bueno, Jesús Alexander; Gaona Cuevas, Carlos M.; Millán González, Marta Elena; Valencia de Abadía, María E.
    Este artículo presenta una propuesta de arquitectura de software para sistemas de descubrimiento de conocimiento, la descripción detallada de cada uno de sus componentes y una aplicación de dicha arquitectura en el desarrollo de un sistema de descubrimiento de conocimiento en datos de prueba de corto circuito para el Laboratorio GRALTA de la Universidad del Valle en Cali, Colombia.
  • Miniatura
    PublicaciónAcceso abierto
    Crear : consejero para la repartición de artículos y evaluadores en eventos académicos,
    (2011-10-13) Aranda Bueno, Jesús Alexander; Díaz Frias, Juan Francisco; Ortíz, James J.
    Este artículo presenta crear, una aplicación computacional desarrollada para realizar más eficientemente el proceso de distribución de los artículos candidatos para participar en el evento del Clei . Para su desarrollo se diseñó un modelo computacional del problema, utilizando el paradigma de programación por restricciones y se implementó utilizando Mozart, un lenguaje de programación apropiado para este paradigma. El paradigma y el modelo computacional también se describen en este artículo.
  • Miniatura
    PublicaciónAcceso abierto
    Desarrollo de un modelo de satisfacción de restricciones para la asignación de citas terapéuticas en la Clínica de Rehabilitación del Valle.
    (Universidad del Valle, 2013) Salazar Osorio, Holmes Giovanny; Rengifo Romero, Harvin Jessid; Aranda Bueno, Jesús Alexander
    La programación de restricciones es una tecnología de software utilizada para la descripción y posterior resolución efectiva de problemas grandes y complejos, particularmente aquellos de naturaleza combinatoria, los cuales comprenden muchas áreas de la vida real, especialmente las áreas de planificación y programación de tareas (scheduling). El problema de asignación de citas terapéuticas, hace parte del área de programación de tareas, ya que consiste en asignar las citas que componen el tratamiento de cada uno de los pacientes que necesitan ser atendidos, teniendo en cuenta la disponibilidad tanto de los pacientes como de los profesionales que los atenderán. En este documento se proponen los mecanismos que se utilizaron para dar solución al problema de asignación de citas terapéuticas. Inicialmente se definió un modelo de satisfacción de restricciones (CSP) que incluye las variables presentes en el proceso de asignación de citas terapéuticas. Así mismo, se presenta la implementación de dicho modelo en el lenguaje de programación C++ a través de la librería para programación por restricciones Gecode. Finalmente, se desarrolló una aplicación web que permite visualizar los resultados obtenidos de la solución del problema.
  • Miniatura
    PublicaciónAcceso abierto
    On decidability properties of two fragments of the asynchronous π-calculus.
    (2014-03-28) Aranda Bueno, Jesús Alexander
    In (Cacciagrano, et al., 2008) the authors studied the expressiveness of persistence in the asynchronous π-calculus, henceforth Aπ. They considered Aπ and three sub-languages of it, each capturing one source of persistence: the persistent-input calculus (PIAπ), the persistent-output calculus (POAπ), and the persistent calculus (PAπ). They prove that, under some general conditions, there cannot be an encoding from Aπ into a (semi)-persistent calculus preserving the must-testing semantics, a semantics sensitive to divergence. In this paper we support and strengthen the separation results of (Cacciagrano, et al., 2008) by showing that convergence and divergence are two decidable properties in a fragment of POAπ and PAπ, in contrast to what happen in Aπ. Thus, it is shown that there cannot be a (computable) encoding from Aπ into PAπ and in such a fragment of POAπ, preserving divergence or convergence. These impossibility results don’t presuppose any condition on the encodings and involve directly convergence for first time in the study of the expressiveness of persistence of .