12301 search results - page 2234 / 2461 » Distributed Computation in Dynamic Networks |
161
click to vote
PVM
2007
Springer
16 years 19 days ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
162
click to vote
ESCIENCE
2006
IEEE
16 years 17 days ago
2006
IEEE
Grid software developers and Grid site administrators both require realistic testbeds where they can test applications and middleware before deployment on production infrastructur...
197
click to vote
ICPADS
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we describe a resource matcher (RM) developed for the on-line resource matching in heterogeneous grid environments. RM is based on the principles of Evolutionary Al...
170
click to vote
IEEEPACT
2006
IEEE
16 years 16 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
168
click to vote
IEEEPACT
2006
IEEE
16 years 16 days ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...