10715 search results - page 1860 / 2143 » From Tests to Proofs |
166
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
218
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
223
click to vote
TSP
2012
14 years 2 months ago
2012
—Despite that underwater acoustic channels are well known to contain various interferences, research on interference mitigation in underwater acoustic communications has been ver...
261
click to vote
JMLR
2012
13 years 9 months ago
2012
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
219
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce the interactive system “Beady” to assist the design and construction of customized 3D beadwork. The user first creates a polygonal mesh model called the design m...