Sciweavers

12697 search results - page 108 / 2540
» Call for Papers
Sort
View
ATVA
2007
Springer
89views Hardware» more  ATVA 2007»
16 years 16 days 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 6 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 24 days 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...