1404 search results - page 220 / 281 » Increasing Concurrency in Databases Using Program Analysis |
117
click to vote
CORR
2004
Springer
15 years 12 days ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
108
Voted
SIGMOD
2008
ACM
15 years 14 days ago
2008
ACM
We consider the problem of evaluating multiple overlapping queries defined on data streams, where each query is a conjunction of multiple filters and each filter may be shared acr...
104
Voted
IEEEPACT
2009
IEEE
15 years 7 months ago
2009
IEEE
—With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleave...
120
Voted
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
118
click to vote
ECBS
1999
IEEE
15 years 4 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...