4767 search results - page 839 / 954 » Structures for Abstract Rewriting |
196
Voted
VLDB
2004
ACM
16 years 2 months ago
2004
ACM
Technology in the field of digital media generates huge amounts of nontextual information, audio, video, and images, along with more familiar textual information. The potential for...
197
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
In this report, we provide a summary1 of the First Int'l VLDB Workshop on Clean Databases (CleanDB 2006), which took place at Seoul, Korea, on September 11, 2006, in conjunct...
141
Voted
EDBT
2002
ACM
16 years 2 months ago
2002
ACM
Abstract. Estimating the sizes of query results, and intermediate results, is crucial to many aspects of query processing. In particular, it is necessary for effective query optimi...
144
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
112
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...