4211 search results - page 576 / 843 » Types as Abstract Interpretations |
154
click to vote
GPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Due to the few computing resource planning options currently available in Grid computing, capacity planning, an old discipline for analyzing resource purchases, is simple...
206
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Medical information systems and standards are increasingly based on principled models of at least three distinct sorts of information – patient data, concepts (terminology), and ...
179
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
162
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. This problem is far from trivial due to the wide range of c...
173
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...