3239 search results - page 288 / 648 » A Logical Process Calculus |
112
click to vote
ITC
2000
IEEE
15 years 9 months 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...
132
Voted
ICCAD
1997
IEEE
15 years 9 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...
130
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
Multiple supply voltage (MSV) is one of the most effective schemes to achieve low power, but most works are based on logic level. A few recent works are based on physical level but...
135
click to vote
RSCTC
2000
Springer
15 years 8 months ago
2000
Springer
: This paper presents a Lab. implementation of a computer vision using fuzzy models for pattern recognition for the detection of boundaries in images obtained through a camera inst...
140
click to vote
IJCAI
1989
15 years 6 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...