5350 search results - page 811 / 1070 » Space and time in eco-ontologies |
169
click to vote
ECOOP
2005
Springer
16 years 5 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
147
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
184
Voted
FOSSACS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
175
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
172
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Two of the attractions of search-based software engineering (SBSE) derive from the nature of the fitness functions used to guide the search. These have proved to be highly robust...