5653 search results - page 729 / 1131 » Distributed Conceptual Structures |
174
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
166
click to vote
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Parallel program design patterns provide users a new way to get parallel programs without much effort. However, it is always a serious limitation for most existing parall...
153
click to vote
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
226
click to vote
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We use a parallel direct solver based on the Schur complement method for solving large sparse linear systems arising from the finite element method. A domain decompositi...
184
click to vote
GCC
2004
Springer
16 years 6 days ago
2004
Springer
Trust establishment is hard in grid architecture by the ad hoc nature. To set up trust in large scale of network is more difficult. In this paper, we propose an automatic key manag...