16159 search results - page 2605 / 3232 » Parallel computing with CUDA |
157
click to vote
CONCUR
2003
Springer
16 years 10 days ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
187
click to vote
CONCUR
2003
Springer
16 years 10 days ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
157
click to vote
EAGC
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Nowadays, there is a big discussion about two different topics: how distance learning and the old fashioned learning can be improved using the new technologies. In both ...
168
click to vote
EAGC
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. The present status of visualization on the grid is not really satisfying. In contrast to other grid services, such as batch processing, data transfer, and resource schedu...
203
click to vote
EAGC
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. In this paper, we analyze the problem of grid resource brokering in the presence of economic information about the price of resources. We examine in detail the main tasks...