Sciweavers

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