Search Sciweavers | Sciweavers

4401 search results - page 69 / 881

» Computing with Default Logic

154

click to vote

VLSID
1999
IEEE

100views VLSI» more VLSID 1999»

Improved Effective Capacitance Computations for Use in Logic and Layout Optimization

15 years 10 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 »

186

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

15 years 11 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 »

129

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 10 days ago