10891 search results - page 344 / 2179 » Combining Model Reductions |
129
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
138
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
114
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...
123
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Two models for gene assembly in ciliates have been proposed and investigated in the last few years. The DNA manipulations postulated in the two models are very different: one mode...
109
click to vote
WSC
2001
15 years 6 months ago
2001
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...