3001 search results - page 535 / 601 » Recursive type generativity |
182
click to vote
SIGMOD
2001
ACM
16 years 5 months ago
2001
ACM
The bit-sliced index (BSI) was originally defined in [ONQ97]. The current paper introduces the concept of BSI arithmetic. For any two BSI's X and Y on a table T, we show how ...
168
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
Social media sites (e.g., Flickr, YouTube, and Facebook) are a popular distribution outlet for users looking to share their experiences and interests on the Web. These sites host ...
173
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
Knowledge-sharing communities like Wikipedia and automated extraction methods like those of DBpedia enable the construction of large machine-processible knowledge bases with relat...
136
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
125
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...