Sciweavers

2299 search results - page 29 / 460
» Logical Data Expiration
Sort
View
FDL
2003
IEEE
14 years 1 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...
ICDE
1989
IEEE
55views Database» more  ICDE 1989»
13 years 11 months ago
Modeling Semantic Constraints with Logic in the EARL Data Model
James P. Davis, Ronald D. Bonnell