7991 search results - page 610 / 1599 » Using More Reasoning to Improve |
158
click to vote
CRYPTO
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper, we study the existence of multicollisions in iterated hash functions. We show that finding multicollisions, i.e. r-tuples of messages that all hash to the...
188
click to vote
EUROPAR
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In this paper we report on our experiences with hybrid parallelism in PARDISO, a high-performance sparse linear solver. We start with the OpenMP-parallel numerical factor...
195
click to vote
FLOPS
2004
Springer
16 years 20 days ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
139
click to vote
NMR
2004
Springer
16 years 19 days ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
196
click to vote
WWW
2010
ACM
16 years 17 days ago
2010
ACM
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...