1755 search results - page 112 / 351 » An efficient simulation algorithm based on abstract interpre... |
119
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper presents a new efficient multiobjective evolutionary algorithm for solving computationallyintensive optimization problems. To support a high degree of parall...
151
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Multiple hop routing in mobile ad hoc networks can minimize energy consumption and increase data throughput. Yet, the problem of radio interferences remain. However if th...
145
click to vote
FAC
2010
15 years 14 days ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
134
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic g...
159
click to vote
ICTAI
2009
IEEE
15 years 25 days ago
2009
IEEE
This paper studies an evolutionary multiobjective optimization algorithm, called EVOLT, which heuristically optimizes QoS (quality of service) in communication networks for electr...