Sciweavers

5451 search results - page 45 / 1091
» On very high degrees
Sort
View
PODC
2010
ACM
14 years 1 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
ICASSP
2011
IEEE
13 years 1 months ago
A high throughput parallel AVC/H.264 context-based adaptive binary arithmetic decoder
In this paper, based on the proposed parallelization scheme of binary arithmetic decoding, a parallel AVC/H.264 context-based adaptive binary arithmetic coding (CABAC) decoder wit...
Jia-Wei Liang, He-Yuan Lin, Gwo Giun Lee
STOC
2010
ACM
228views Algorithms» more  STOC 2010»
14 years 7 months ago
On the Structure of Cubic and Quartic Polynomials
In this paper we study the structure of polynomials of degree three and four that have high bias or high Gowers norm, over arbitrary prime fields. In particular we obtain the foll...
Elad Haramaty and Amir Shpilka
TWC
2008
76views more  TWC 2008»
13 years 9 months ago
High Resolution 3-D Angle of Arrival Determination for Indoor UWB Multipath Propagation
Propagation measurements using a large array are used to study the angle of arrival (AOA) across the ultrawideband (UWB) frequency range of 3.1 to 10.6 GHz. A two-dimensional Unita...
Yongwei Zhang, Anthony K. Brown, Wasim Q. Malik, D...
IMA
2005
Springer
162views Cryptology» more  IMA 2005»
14 years 3 months ago
Pairing-Based Cryptography at High Security Levels
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
Neal Koblitz, Alfred Menezes