Dynamic mathematical models are widely used for estimating the energy consumption in
buildings. This paper presents the procedure to follow in order to optimize a simplified gray …

Various memory repair methodologies based on redundancy analysis (RA) have been
developed to improve the memory yield. However, conventional RAs often encounter …

Genetic algorithm (GA) is a class of global optimization algorithm inspired by the Darwinian
biological evolution. It is widely applied in the field of robotic path planning. Parallel GA …

Parallel programming patterns are built upon a foundation of serial programming patterns to
maximize the efficiency of parallel code and effectively use parallel resources available in a …

Modern Cooperative Parallel SAT Solving Page 1 Modern Cooperative Parallel SAT Solving
Ahmed Irfan Davide Lanti Norbert Manthey Technische Universität Dresden, Germany July 8 …

This thesis describes the design and implementation of an efficient exploratory algorithm
with preprocessing for the Boolean satisfiability (SAT) problem executed on heterogeneous …

In this paper an algorithm is introduced which calculates the region of stability (ROS) of a
nonlinear dynamical system. The search for a maximum ROS is based on Lyapunov stability …

In a massive online course with hundreds of thousands of students, it is unfeasible to
provide an accurate and fast evaluation for each submission. Currently the researchers have …

Extensible modalities and Web services have garnered significant interest from both
biologists and cyberneticists in the last several years. Our objective here is to set the record …

En este trabajo se presenta la implementación de Algoritmos Genéticos Paralelos en
procesadores multinúcleo y en procesadores gráficos (GPU) para resolver el Problema del …