327 search results - page 8 / 66 » A Static Analysis Framework for Database Applications |
FMCAD
2007
Springer
14 years 29 days ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
SIGMOD
2006
ACM
14 years 9 months ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...
VLDB
1994
ACM
14 years 1 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...