7057 search results - page 1309 / 1412 » Tasks, domains, and languages |
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
PODS
2005
ACM
14 years 9 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
PODS
2007
ACM
14 years 9 months ago
2007
ACM
Schema mappings are high-level specifications that describe the relationship between two database schemas. Two operators on schema mappings, namely the composition operator and th...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...