Sciweavers

2621 search results - page 200 / 525
» Near orders and codes
Sort
View
ETT
2002
140views Education» more  ETT 2002»
15 years 6 months ago
Spreading sequences for uplink and downlink MC-CDMA systems: PAPR and MAI minimization
This paper deals with spreading sequences selection for downlink and uplink Multi-Carrier Code Division Multiple Access (MC-CDMA) systems with the aim of minimizing the dynamic ran...
Stéphane Nobilet, Jean-François H&ea...
ICC
2009
IEEE
15 years 4 months ago
Opportunities, Constraints, and Benefits of Relaying in the Presence of Interference
In this paper the interference channel is extended by additional relay nodes in order to investigate the influence of interference on the design and performance of relaying protoco...
Peter Rost, Gerhard Fettweis, J. Nicholas Laneman
ICIP
2009
IEEE
15 years 4 months ago
An automatic Structure-Aware image extrapolation applied to error concealment
A novel framework for spatially estimating unknown image data is presented. Common applications include inpainting, concealment of transmission errors, prediction in video coding,...
Haricharan Lakshman, Patrick Ndjiki-Nya, Martin K&...
ECEASST
2010
15 years 4 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 3 months ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto