4463 search results - page 261 / 893 » computing 2000 |
148
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The mesh-of-trees topology has very attractive properties if a distance-sensitive routing, such as store-andforward, is used. How its properties compare to meshes if distance-inse...
144
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
134
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
160
click to vote
EUROPAR
2000
Springer
15 years 10 months ago
2000
Springer
A new parallel load distribution algorithm for unstructured parallel grid generation is presented. This new approach is based on a space-filling curve. The space-filling curve'...
148
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
We advocate an approach towards the characterisation of components where their qualifications are deduced systematically from a small set of elementary assumptions. Using the chara...