1585 search results - page 27 / 317 » A framework for computer-aided validation |
DSD
2004
IEEE
15 years 3 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
102
click to vote
EUROPAR
2006
Springer
15 years 3 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
125
click to vote
TCAD
2010
14 years 6 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
102
click to vote
ASWEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
QSIC
2005
IEEE
15 years 5 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...