Sciweavers

145 search results - page 11 / 29
» A Performance Characterization Algorithm for Symbol Localiza...
Sort
View
GECCO
2008
Springer
141views Optimization» more  GECCO 2008»
15 years 2 months ago
A study of NK landscapes' basins and local optima networks
We propose a network characterization of combinatorial fitness landscapes by adapting the notion of inherent networks proposed for energy surfaces [5]. We use the well-known fami...
Gabriela Ochoa, Marco Tomassini, Sébastien ...
KBSE
2007
IEEE
15 years 8 months ago
Assertion-based repair of complex data structures
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sar...
ICC
2007
IEEE
102views Communications» more  ICC 2007»
15 years 8 months ago
Analysis and Mitigation of Doppler Rate Effect in a Multipath Channel
—Establishing robust communications in the presence of Doppler rate is a requirement for several waveforms such as SATCOM and HF. In this paper, we motivate the need to model Dop...
Ghassan Maalouli, Andreas Spanias
INFOCOM
2010
IEEE
14 years 11 months ago
A Greedy Link Scheduler for Wireless Networks with Gaussian Multiple Access and Broadcast Channels
Information theoretic Broadcast Channels (BC) and Multiple Access Channels (MAC) enable a single node to transmit data simultaneously to multiple nodes, and multiple nodes to trans...
Arun Sridharan, Can Emre Koksal, Elif Uysal-Biyiko...
SPIN
2005
Springer
15 years 7 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann