4966 search results - page 100 / 994 » its 2010 |
140
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
149
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, capacitive 4-PWAM transmitter architectures and circuits are proposed and its performances are analyzed with random jitter and PVT variation comparing with other wo...
152
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
The hash table, especially its external memory version, is one of the most important index structures in large databases. Assuming a truly random hash function, it is known that i...
148
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
155
click to vote
APPROX
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we consider the task of answering linear queries under the constraint of differential privacy. This is a general and well-studied class of queries that captures oth...