3565 search results - page 659 / 713 » Modeling a system controller for timing analysis |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Genetic Algorithms (GAs) can efficiently produce high quality results for hard combinatorial real world problems such as the Vehicle Routing Problem (VRP). Genetic Vehicle Represe...
SGAI
2004
Springer
14 years 2 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In today’s rapidly changing workplace, it’s becoming more and more difficult for recruiters to find employees that are right for their business. Consideration of cultural fit,...
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
CAV
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...