515 search results - page 12 / 103 » Efficient Logic Optimization Using Regularity Extraction |
85
Voted
LISP
2008
14 years 11 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
104
Voted
PC
2010
14 years 6 months ago
2010
We present an efficient implementation of the Modified SParse Approximate Inverse (MSPAI) preconditioner. MSPAI generalizes the class of preconditioners based on Frobenius norm mi...
146
click to vote
DFT
2009
IEEE
15 years 2 months ago
2009
IEEE
Optimizing the BIST configuration based on the characteristics of the design under test is a complicated and challenging work for test engineers. Since this problem has multiple o...
157
Voted
JUCS
2006
14 years 11 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
86
Voted
ISLPED
2000
ACM
15 years 4 months ago
2000
ACM
Recovering and reusing circuit energies that would otherwise be dissipated as heat can reduce the power dissipated by a VLSI chip. To accomplish this requires a power source that ...