Sciweavers

397 search results - page 44 / 80
» Comparing Two Grammar-Based Generation Algorithms: A Case St...
Sort
View
NCA
2005
IEEE
14 years 1 months ago
Using Residual Times to Meet Deadlines in M/G/C Queues
In systems where customer service demands are only known probabilistically, there is very little to distinguish between jobs. Therefore, no universal optimum scheduling strategy o...
Sarah Tasneem, Lester Lipsky, Reda A. Ammar, Howar...
SRDS
1999
IEEE
14 years 14 hour ago
On Diffusing Updates in a Byzantine Environment
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
Dahlia Malkhi, Yishay Mansour, Michael K. Reiter
GECCO
2003
Springer
108views Optimization» more  GECCO 2003»
14 years 29 days ago
Evolution Strategies with Exclusion-Based Selection Operators and a Fourier Series Auxiliary Function
Abstract. To improve the efficiency of the currently known evolutionary algorithms, we have proposed two complementary efficiency speed-up strategies in our previous research work ...
Kwong-Sak Leung, Yong Liang
MASCOTS
2007
13 years 9 months ago
Performance Analysis of Wireless MAC Protocols Using a Search Based Framework
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...
Shamim Begum, Sandeep K. S. Gupta, Ahmed Helmy
SPIN
2004
Springer
14 years 1 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis