1192 search results - page 126 / 239 » Symbolic Query Exploration |
154
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
125
click to vote
SSDBM
2007
IEEE
15 years 9 months ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
198
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...
112
click to vote
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
Time series representations are common in MIR applications such as query-by-humming, where a sung query might be represented by a series of ‘notes’ for database retrieval. Whi...
219
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...