4513 search results - page 466 / 903 » Logic programming with satisfiability |
125
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
134
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Multihop lightwave networks are becoming increasingly popular in optical networks. It is attractive to consider regular graphs as the logical topology for a multihop network, due t...
140
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
148
click to vote
AAAI
1998
15 years 6 months ago
1998
When search techniques are used to solve a practical problem, the solution produced is often brittle in the sense that small execution difficulties can have an arbitrarily large e...
195
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...