6862 search results - page 476 / 1373 » Modeling Parallel Applications Performance on Heterogeneous ... |
174
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
192
click to vote
CGO
2006
IEEE
16 years 17 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
166
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
One of the attractive features of Grid computing is that resources in geographically distant places can be mobilized to meet computational needs as they arise. A particularly chal...
159
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
Resource management on accelerator based systems is complicated by the disjoint nature of the main CPU and accelerator, which involves separate memory hierarhcies, different degr...
154
click to vote
IEEEPACT
1998
IEEE
15 years 10 months ago
1998
IEEE
The SGI Origin 2000 is designedto support a wide range of applications and has low local and remote memory latencies. However, it often has a high ratio of remote to local misses....