Sciweavers

81 search results - page 14 / 17
» Simulation and Verification of Asynchronous Systems by means...
Sort
View
ICC
2007
IEEE
104views Communications» more  ICC 2007»
14 years 1 months ago
Semiblind Carrier Frequency Offset Estimation for OFDM Systems
— In this paper we consider the problem of semiblind carrier frequency offset (CFO) estimation for OFDM systems. Specifically, we consider a synchronization scheme based on the ...
Tilde Fusco, Ferdinando Marrone, Mario Tanda
NETWORKING
2004
13 years 9 months ago
Fairness Issues in Bus-Based Optical Access Networks
Packet-based optical access ring is becoming a promising solution in metropolitan networks. Its performance depends mainly on how optical resource sharing takes place among the dif...
Nizar Bouabdallah, André-Luc Beylot, Guy Pu...
ICC
2007
IEEE
114views Communications» more  ICC 2007»
14 years 1 months ago
Downlink MC-2D-CDMA over Time-Variant Frequency-Selective Rayleigh Fading Channels
Abstract— In this paper, the performance of a downlink synchronous MC-CDMA system with joint frequency-time domain spreading over time-variant frequency-selective Rayleigh fading...
Rui Fa, Bayan S. Sharif, Charalampos Tsimenidis
SIGSOFT
2007
ACM
14 years 8 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ENTCS
2006
168views more  ENTCS 2006»
13 years 7 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...