3909 search results - page 513 / 782 » Extreme Model Checking |
147
click to vote
EVOW
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Many evolutionary algorithm applications involve either fitness functions with high time complexity or large dimensionality (hence very many fitness evaluations will typi...
136
click to vote
SIGGRAPH
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we introduce a new surface representation, the displaced subdivision surface. It represents a detailed surface model as a scalar-valued displacement over a smooth do...
145
click to vote
GECCO
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
187
click to vote
SIGMETRICS
1992
ACM
15 years 9 months ago
1992
ACM
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
143
click to vote
ICDCS
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we consider the issue of constructing an energy-efficient virtual network backbone in mobile ad hoc networks (MANETs) for broadcasting applications using directiona...