1578 search results - page 87 / 316 » Self-healing systems - survey and synthesis |
117
Voted
ICEIS
2006
IEEE
16 years 1 months ago
2006
IEEE
165
Voted
ISSS
1998
IEEE
15 years 11 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...
150
Voted
MEMOCODE
2005
IEEE
16 years 16 days 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...