110 search results - page 4 / 22 » Interleaved Depth-First Search |
84
Voted
IJCAI
2007
15 years 5 months ago
2007
100
Voted
OPODIS
2004
15 years 5 months ago
2004
122
Voted
DDECS
2007
IEEE
15 years 10 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...
127
Voted
TIME
2005
IEEE
15 years 9 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...