3638 search results - page 94 / 728 » HEP@Home - A distributed computing system based on BOINC |
149
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
167
Voted
HPDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
146
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
139
click to vote
HOTOS
2003
IEEE
15 years 9 months ago
2003
IEEE
Trusted computing (e.g. TCPA and Microsoft’s NextGeneration Secure Computing Base) has been one of the most talked about and least understood technologies in the computing commu...
125
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
The dominant eigenvector of matrices defined by weighted links in overlay networks plays an important role in many peer-to-peer applications. Examples include trust management, im...