110 search results - page 4 / 22 » Interleaved Depth-First Search |
IJCAI
2007
15 years 6 months ago
2007
141
click to vote
DDECS
2007
IEEE
15 years 11 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...
151
click to vote
TIME
2005
IEEE
15 years 11 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...