1192 search results - page 3 / 239 » Symbolic Query Exploration |
ASPDAC
2008
ACM
13 years 7 months ago
2008
ACM
-- Nowadays many design space exploration tools are based on Multi
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
CIMCA
2008
IEEE
13 years 11 months ago
2008
IEEE
TACAS
1998
Springer
13 years 9 months ago
1998
Springer
CAV
1997
Springer
13 years 9 months ago
1997
Springer