110 search results - page 4 / 22 » Interleaved Depth-First Search |
IJCAI
2007
15 years 14 days ago
2007
OPODIS
2004
15 years 13 days ago
2004
TOIS
2012
13 years 1 months ago
2012
DDECS
2007
IEEE
15 years 5 months ago
2007
IEEE
—An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. A commonly used repair strategy is to equip memories with sp...
TIME
2005
IEEE
15 years 4 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...