419 search results - page 8 / 84 » Heuristic design of property maps |
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
AUTOMATICA
2005
14 years 9 months ago
2005
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
GLOBECOM
2007
IEEE
15 years 1 months ago
2007
IEEE
Accurate and systematic channel simulation technique is critical for performance verification of digital transceiver design over wireless channels. Despite the abundant results on ...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
ISCAS
2007
IEEE
15 years 3 months ago
2007
IEEE
—Systems on Chip (SoCs) congregate multiple modules and advanced interconnection schemes, such as networks on chip (NoCs). One relevant problem in SoC design is module mapping on...