1578 search results - page 87 / 316 » Self-healing systems - survey and synthesis |
152
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents an application-specific, heterogeneous multiprocessor synthesis system, named HeMPS, that combines a form of Evolutionary Computation known as Differential Evo...
138
click to vote
MEMOCODE
2005
IEEE
15 years 12 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...