5465 search results - page 809 / 1093 » Assigning Types to Processes |
325
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
335
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Supporting ranking queries in database systems has been a popular research topic recently. However, there is a lack of study on supporting ranking queries in data warehouses where...
289
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
208
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
211
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
Although Web search engines are targeted towards helping people find new information, people regularly use them to re-find Web pages they have seen before. Researchers have noted ...