11211 search results - page 2150 / 2243 » Rank-Sensitive Data Structures |
105
click to vote
WWW
2003
ACM
16 years 1 months ago
2003
ACM
Despite numerous proposals for its creation, the semantic web has yet to achieve widespread adoption. Recently, some researchers have argued that participation in the semantic web...
244
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
231
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
200
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
104
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Management of a modern enterprise is based on the assumption that executive reports of lower-layer management are faithful to what is actually happening in the field. As some well...