Sciweavers

5138 search results - page 826 / 1028
» Low-Entropy Set Selection.
Sort
View
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
15 years 10 months ago
A genetic algorithm with exon shuffling crossover for hard bin packing problems
A novel evolutionary approach for the bin packing problem (BPP) is presented. A simple steady-state genetic algorithm is developed that produces results comparable to other approa...
Philipp Rohlfshagen, John A. Bullinaria
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 10 months ago
Dynamic Interactive Multimedia Scenes in Mobile Broadcast Environments
Dynamic Interactive Multimedia Scenes (DIMS) is the latest 3GPP multimedia standard aiming at the development and delivery of rich media services over mobile networks, specifically...
Ahmed Younus, Wissam Abdel Samad, Thomas Stockhamm...
ICCCN
2007
IEEE
15 years 10 months ago
Principles of IEEE 802.11s
In 2003, interests in the Institute of Electronics and Electrical Engineering (IEEE) 802.11 Working Group (WG) led to the formation of Task Group (TG) "s". 802.11s develo...
Guido R. Hiertz, Sebastian Max, Rui Zhao, Dee Dent...
GLOBECOM
2009
IEEE
15 years 10 months ago
Evaluation of the Impact of Filter Shape on the Performance of SOA-Assisted SS-WDM Systems Using Parallelized Multicanonical Mon
We study the impact of the shape of optical filters on the bit error rate (BER) of a multi-channel spectrum-sliced wavelength division multiplexed (SS-WDM) system, incorporating no...
Amirhossein Ghazisaeidi, Francesco Vacondio, Lesli...