1578 search results - page 87 / 316 » Self-healing systems - survey and synthesis |
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
ICEIS
2006
IEEE
14 years 2 months ago
2006
IEEE
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
ISSS
1998
IEEE
14 years 12 days 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...
MEMOCODE
2005
IEEE
14 years 1 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...