We measure the performance improvement that force feedback can provide in a virtual environment, through three experiments with, and without the assistance of haptic guidance. Per...
—Genetic algorithm (GA) is too dependent on the initial population and a lack of local search ability. In this paper, an improved greedy genetic algorithm (IGAA) is proposed to o...
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
—this paper reports a PFD/CP linearization technique and a new charge pump circuit to enhance the performance of a delta-sigma (∆Σ) fractional-N PLL. The proposed method impro...
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...