813 search results - page 54 / 163 » Pipeline-centric provenance model |
TODAES
1998
13 years 9 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Database researchers have striven to improve the capability of a database in terms of both performance and functionality. We assert that the usability of a database is as importan...
EWSN
2006
Springer
14 years 9 months ago
2006
Springer
Energy-aware algorithms have proven to be a crucial part of sensor network applications, especially if they are required to operate for extended periods of time. Among these, effic...
FOCS
2008
IEEE
14 years 4 months ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
DSD
2007
IEEE
14 years 4 months ago
2007
IEEE
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...