Sciweavers

358 search results - page 46 / 72
» Model Based Optimal Bit Allocation
Sort
View
HPDC
2007
IEEE
13 years 11 months ago
MOB: zero-configuration high-throughput multicasting for grid applications
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...
Mathijs den Burger, Thilo Kielmann
CAV
2000
Springer
187views Hardware» more  CAV 2000»
13 years 11 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...
GECCO
2004
Springer
112views Optimization» more  GECCO 2004»
14 years 1 months ago
What Basis for Genetic Dynamics?
We present a covariant form for genetic dynamics and show how different formulations are simply related by linear coordinate transformations. In particular, in the context of the ...
Chryssomalis Chryssomalakos, Christopher R. Stephe...
VTC
2006
IEEE
14 years 1 months ago
Rate Adaptation in Time Varying Channels using Acknowledgement Feedback
— Throughput maximization in a packet switched wireless communication system is considered in this paper. The channel variation is accounted for by modeling the channel as a fin...
Chin Keong Ho, Job Oostveen
NETWORK
2007
121views more  NETWORK 2007»
13 years 7 months ago
Toward Efficient Service-Level QoS Provisioning in Large-Scale 802.11-Based Networks
Along with recent advances in mobile networking and portable computing technologies, there is a trend in the telecommunications industry toward the development of efficient ubiqui...
Tarik Taleb, Abdelhamid Nafaa, Liam Murphy, Kazuo ...