In previous work we presented a new JML compiler, ajmlc, which generates aspects that enforce preconditions, postconditions, and invariants. Although this compiler provides benefits of source-code modularity and small bytecode size and running time, there is still a need for optimization of bytecode size and running time. To do this optimization while preserving the semantics of the resulting c...

Inline function expansion is an optimization that may improve program performance by removing calling sequences and enlarging the scope of other optimizations. Unfortunately it also has the drawback of enlarging programs. This might impair executable programs performance. In order to get rid of this annoying eeect, we present, an easy to implement, inlining optimization that minimizes code size...

A hydrothermal method for preparation of nano-size zirconia has been studied to optimize the effective parameters (precursor concentration, temperature and time) using response surface methodology (RSM). The synthesized zirconia samples were characterized through X-ray diffraction (XRD), scanning electron microscope (SEM) and transmission electron microscopy (TEM) analyses to identify mean nano...

One of the most widely used gradient-based adaptation algorithms is the so called normalized least mean square (NLMS) algorithm. The rate of convergence, misadjustment and noise insensitivity of the NLMS-type algorithm depend on the proper choice of the step size parameter, which controls the weighting applied to each coefficient update. Different step size methods have been proposed to improve...

Structural optimization of offshore wind turbine structures has become an important issue in the past years due to the noticeable developments in offshore wind industry. However, considering the offshore wind turbines’ size and environment, this task is outstandingly difficult. To overcome this barrier, in this paper, a metaheuristic algorithm called Enhanced Colliding Bodies Optimization...

The aim of this paper is to define a methodology for determining the optimal size of the supermarket (between two workstations) through the optimization of the number of kanban in a kanban board. It also identifies some production parameters that greatly influence the optimal size of a kanban board. The approach chosen is the building of a simulation model of a single stage multi-product system...

Having the constant population size and crossover/mutation probability, standard genetic algorithm (SGA) has such disadvantages as premature convergence, low stability and optimization efficiency for large design variables situation. This paper presents an improved adaptive genetic algorithm (IAGA), which adjusts the population size and the crossover/mutation probability adaptively and linearly...

This work presents a method capable of designing passive filters to reduce harmonic distortion and correct the power factor in two pulse Rectifier system. The optimization process considers the discrete nature of the size of the element of the filter. This new formulation is a combinatorial optimization problem with a non-differentiable objective function. In addition a solution methodology bas...

Loop tiling is a fundamental optimization for improving data locality. Selecting the right tile size combined with the parallelization of loops can provide additional performance increases in the modern of Chip MultiProcessor (CMP) architectures. This paper presents a runtime optimization system which automatically parallelizes loops and searches empirically for the best tile sizes on a scalabl...

Intelligent well technology has provided facility for real time production control through use of subsurface instrumentation. Early detection of water production allows for a prompt remedial action. Effective water control requires the appropriate performance of individual devices in wells on maintaining the equilibrium between water and oil production over the entire field life. However, there...