2225 search results - page 288 / 445 » Logical Structures in the Lexicon |
148
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
164
click to vote
GLVLSI
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper proposes a library-free technology mapping algorithm to reduce delay in combinational circuits. The algorithm reduces the overall number of series transistors through t...
174
click to vote
ILP
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
153
click to vote
VTS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents a pseudo-functional BIST scheme that attempts to minimize the over-testing problem of logic BIST for delay and crosstalk-induced failures. The over-testing pro...
168
click to vote
WWW
2005
ACM
16 years 1 days ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...