17582 search results - page 2909 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
232
click to vote
ISORC
2005
IEEE
16 years 24 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
175
click to vote
SKG
2005
IEEE
16 years 24 days ago
2005
IEEE
Efficient task scheduling is critical to achieving high performance on grid computing environment. A heuristic task scheduling algorithm satisfied resources load balancing on grid ...
185
click to vote
GCC
2005
Springer
16 years 22 days ago
2005
Springer
In order to deal with free riding in P2P system, incentive mechanism or rating system is presented, and each user rating is computed by itself, which causes that some users exagger...
188
click to vote
GCC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In peer-to-peer (P2P) overlay networks, the mechanism of a peer randomly joining and leaving a network, causes a topology mismatch between the overlay and the underlying ...
202
click to vote
GRID
2005
Springer
16 years 22 days ago
2005
Springer
— Services-oriented architectures hold a lot of promise for grid-enabling scientific applications. In recent times, Web services have gained wide-spread acceptance in the Grid c...