626 search results - page 69 / 126 » Correct Composition of Design Components |
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
ICTAI
2007
IEEE
15 years 6 months ago
2007
IEEE
Recently, many research efforts are directed towards coevolutionary algorithms. The present work aims at the assessment of Hierarchical Cooperative CoEvolution (HCCE) being proper...
116
click to vote
ACSD
2006
IEEE
15 years 1 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
100
click to vote
CSFW
1995
IEEE
15 years 3 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...