1237 search results - page 178 / 248 » Strictness and Totality Analysis |
159
click to vote
ASIACRYPT
2009
Springer
16 years 12 days ago
2009
Springer
The hash function Skein is the submission of Ferguson et al. to the NIST Hash Competition, and is arguably a serious candidate for selection as SHA-3. This paper presents the firs...
131
click to vote
AGILE
2009
Springer
16 years 11 days ago
2009
Springer
We study a point pattern detection problem on networks, motivated by geographical analysis tasks, such as crime hotspot detection. Given a network N (for example, a street, train,...
120
click to vote
ATAL
2009
Springer
16 years 11 days ago
2009
Springer
We introduce and investigate a natural extension of Dung’s well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength o...
179
click to vote
CIKM
2009
Springer
16 years 11 days ago
2009
Springer
Parallel dataflow programming frameworks such as Map-Reduce are increasingly being used for large scale data analysis on computing clouds. It is therefore becoming important to a...
169
click to vote
ISLPED
2009
ACM
16 years 9 days ago
2009
ACM
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...