2905 search results - page 290 / 581 » Formal Memetic Algorithms |
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Investigations of multi-robot systems often make implicit assumptions concerning the computational capabilities of the robots. Despite the lack of explicit attention to the comput...
72
Voted
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...
85
Voted
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
112
click to vote
JSSPP
2005
Springer
15 years 4 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...