Sciweavers

4401 search results - page 69 / 881
» Computing with Default Logic
Sort
View
117
Voted
VLSID
1999
IEEE
100views VLSI» more  VLSID 1999»
15 years 6 months ago
Improved Effective Capacitance Computations for Use in Logic and Layout Optimization
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
143
Voted
FDL
2003
IEEE
15 years 7 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
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...
88
Voted
ICLP
2007
Springer
15 years 8 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
LPAR
2007
Springer
15 years 8 months ago
One-Pass Tableaux for Computation Tree Logic
Pietro Abate, Rajeev Goré, Florian Widmann
88
Voted
VSTTE
2005
Springer
15 years 8 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu