1391 search results - page 188 / 279 » Completeness of Neighbourhood Logic |
171
click to vote
ICPPW
2008
IEEE
16 years 22 days ago
2008
IEEE
Event traces are helpful in understanding the performance behavior of message-passing applications since they allow in-depth analyses of communication and synchronization patterns...
137
click to vote
AGILE
2007
Springer
16 years 14 days ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
147
click to vote
CALCO
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
144
click to vote
FMCAD
2007
Springer
16 years 13 days 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...
205
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— We examine an abstract formulation of BIST diagnosis in digital logic systems. The BIST diagnosis problem has applications that include identification of erroneous test vector...