5378 search results - page 361 / 1076 » Base Logics in Argumentation |
227
click to vote
ITCC
2002
IEEE
16 years 18 days ago
2002
IEEE
: Since modern programmable devices contain embedded memory blocks, there exists a possibility to implement Finite State Machines (FSM) using such blocks. The size of the memory av...
190
click to vote
SEKE
2001
Springer
16 years 3 days ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
164
click to vote
ITC
2000
IEEE
16 years 2 days ago
2000
IEEE
We present the application of a deterministic logic BIST scheme on state-of-the-art industrial circuits. Experimental results show that complete fault coverage can be achieved for...
219
click to vote
LOPSTR
1998
Springer
15 years 12 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
189
click to vote
ICCAD
1997
IEEE
15 years 12 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...