Sciweavers

4299 search results - page 563 / 860
» Concurrent Test Generation
Sort
View
KBSE
2008
IEEE
15 years 10 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
SOCC
2008
IEEE
117views Education» more  SOCC 2008»
15 years 10 months ago
In-situ self-aware adaptive power control system with multi-mode power gating network
An in-situ self-aware adaptive power control (APC) system is presented in this paper. This APC system consists of a voltage sensor, a variable threshold comparator, slack detectio...
Wei-Chih Hsieh, Wei Hwang
ADC
2008
Springer
135views Database» more  ADC 2008»
15 years 10 months ago
Faster Path Indexes for Search in XML Data
This article describes how to implement efficient memory resident path indexes for semi-structured data. Two techniques are introduced, and they are shown to be significantly fas...
Nils Grimsmo
CEC
2007
IEEE
15 years 10 months ago
Computational intelligence algorithms for risk-adjusted trading strategies
Abstract— This paper investigates the performance of trading strategies identified through Computational Intelligence techniques. We focus on trading rules derived by Genetic Pr...
Nicos G. Pavlidis, E. G. Pavlidis, Michael G. Epit...
CEC
2007
IEEE
15 years 10 months ago
Towards an immune system that solves CSP
—Constraint satisfaction problems (CSPs) widely occur in artificial intelligence. In the last twenty years, many algorithms and heuristics were developed to solve CSP. Recently,...
María-Cristina Riff, Marcos Zú&ntild...