12551 search results - page 2101 / 2511 » Reuse in Systems Engineering |
338
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
181
click to vote
OSDI
2008
ACM
16 years 8 months ago
2008
ACM
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
323
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
With the proliferation of the RDF data format, engines for RDF query processing are faced with very large graphs that contain hundreds of millions of RDF triples. This paper addre...
335
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
A large number of online databases are hidden behind the web. Users to these systems can form queries through web forms to retrieve a small sample of the database. Sampling such h...
295
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...