1040 search results - page 120 / 208 » Tools for modeling and solving search problems |
105
Voted
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
94
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
Leakage current is a key factor in IC power consumption even in the active operating mode. We investigate the simultaneous optimization of gate size and threshold voltage to reduc...
108
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The performance of SIMD processors is often limited by the time it takes to transfer data between the centralized control unit and the parallel processor array. This is especially...
74
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Evolutionary models typically rely on a single level of evolution for training a team of cooperating agents. I present a model that evolves at two levels—an “organizational”...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Ant robots have very low computational power and limited memory. They communicate by leaving pheromones in the environment. In order to create a cooperative intelligent behavior, ...