Sciweavers

12697 search results - page 108 / 2540
» Call for Papers
Sort
View
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
16 years 1 months ago
Policies and Proofs for Code Auditing
Abstract. Both proofs and trust relations play a role in security decisions, in particular in determining whether to execute a piece of code. We have developed a language, called B...
Nathan Whitehead, Jordan Johnson, Martín Ab...
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 7 months ago
On the Existence of Optimal Exact-Repair MDS Codes for Distributed Storage
The high repair cost of (n, k) Maximum Distance Separable (MDS) erasure codes has recently motivated a new class of codes, called Regenerating Codes, that optimally trade off stor...
Changho Suh, Kannan Ramchandran
CORR
2010
Springer
59views Education» more  CORR 2010»
15 years 6 months ago
Improved analysis of the subsampled randomized Hadamard transform
This paper presents an improved analysis of a structured dimension-reduction map called the subsampled randomized Hadamard transform. This argument demonstrates that the map preser...
Joel A. Tropp
JACM
2007
92views more  JACM 2007»
15 years 6 months ago
Periodicity and unbordered words: A proof of the extended duval conjecture
The relationship between the length of a word and the maximum length of its unbordered factors is investigated in this paper. Consider a finite word w of length n. We call a word...
Tero Harju, Dirk Nowotka
ICASSP
2008
IEEE
16 years 1 months ago
Maximum likelihood binary detection in improper complex gaussian noise
In a wide range of communication systems, including DS-CDMA and OFDM systems, the signal-of-interest might be corrupted by an improper [1] (also called non circularly symmetric [2...
Amirhossein S. Aghaei, Konstantinos N. Plataniotis...