2778 search results - page 194 / 556 » Limit complexities revisited |
171
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Constrained random simulation methodology still plays an important role in hardware verification due to the limited scalability of formal verification, especially for the large an...
289
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—In this paper, we address the problem of selfadaptation in internet-scale service-oriented systems. Services need to adapt by select the best neighboring services solely...
161
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
166
click to vote
ICNC
2009
Springer
16 years 1 months ago
2009
Springer
—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...
150
click to vote
RSKT
2009
Springer
16 years 1 months ago
2009
Springer
—Cyclic Delay Diversity (CDD) is a simple and efficient space-time diversity technique. It can be used in OFDM and DFT-Spread-OFDM. The traditional CDD has low complexity and sys...