16666 search results - page 2866 / 3334 » Descriptive and Computational Complexity |
234
click to vote
ER
2003
Springer
16 years 4 days ago
2003
Springer
Data warehouses (DWs) are complex computer systems whose main goal is to facilitate the decision making process of knowledge workers. ETL (Extraction-Transformation-Loading) proces...
180
click to vote
ESA
2003
Springer
16 years 4 days ago
2003
Springer
This paper presents a dynamic algorithm for the construction of the Euclidean Voronoi diagram of a set of convex objects in the plane. We consider first the Voronoi diagram of smo...
159
click to vote
EUROPAR
2003
Springer
16 years 4 days ago
2003
Springer
Parallel programming is seen as an effective technique to improve the performance of computationally-intensive programs. This is done at the cost of increasing the complexity of t...
188
click to vote
EUROPAR
2003
Springer
16 years 4 days ago
2003
Springer
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
188
click to vote
FM
2003
Springer
16 years 4 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...