Sciweavers

6833 search results - page 1226 / 1367
» Some two-character sets
Sort
View
226
Voted
ASM
2010
ASM
16 years 1 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
GLOBECOM
2008
IEEE
16 years 1 months ago
Optimal LLR Clipping Levels for Mixed Hard/Soft Output Detection
Abstract—Consider a communications system where the detector generates a mix of hard and soft outputs, which are then fed into a soft-input channel decoder. In such a setting, it...
Ernesto Zimmermann, David L. Milliner, John R. Bar...
ICAC
2008
IEEE
16 years 1 months ago
Enabling Autonomic Meta-Scheduling in Grid Environments
Grid computing supports workload execution on computing resources that are shared across a set of collaborative organizations. At the core of workload management for Grid computin...
Yanbin Liu, Seyed Masoud Sadjadi, Liana Fong, Ivan...
171
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Systematic generation of FPGA-based FFT implementations
In this paper, we propose a systemic approach for synthesizing field-programmable gate array (FPGA) implementations of fast Fourier transform (FFT) computations. Our approach cons...
Hojin Kee, Newton Petersen, Jacob Kornerup, Shuvra...
223
Voted
ICYCS
2008
IEEE
16 years 1 months ago
FAST CASH: FAir and STable Channel ASsignment on Heterogeneous Wireless Mesh Network
— Nowadays wireless mesh routers are facilitating with more wireless channels than ever because of the advanced wireless communication technologies such as OFDM, SDR and CR(cogni...
Panlong Yang, Guihai Chen
« Prev « First page 1226 / 1367 Last » Next »