Search Sciweavers | Sciweavers

4401 search results - page 69 / 881

» Computing with Default Logic

click to vote

VLSID
1999
IEEE

100views VLSI» more VLSID 1999»

Improved Effective Capacitance Computations for Use in Logic and Layout Optimization

14 years 1 months ago

Download vlsicad.ucsd.edu

We describe an improved iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. The speed and accuracy of our approach mak...

Andrew B. Kahng, Sudhakar Muddu

claim paper

Read More »

click to vote

FDL
2003
IEEE

124views Natural Language Processing» more FDL 2003»

Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing

14 years 2 months ago

Download www.mat.unb.br

Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...

Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...

claim paper

Read More »

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

14 years 2 months ago