8655 search results - page 321 / 1731 » Challenges for Trusted Computing |
117
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
137
Voted
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Power has recently been recognized as one of the major obstacles in fielding a Peta-FLOPs class system. To reach Exa-FLOPs, the challenge will certainly be compounded. In this ...
132
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Stencil based computation on structured grids is a common kernel to broad scientific applications. The order of stencils increases with the required precision, and it is a challeng...
134
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
119
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Maximizing resource provider profit and satisfying user requirements at the same time is a challenging problem in utility computing environments. In this paper, we introduce adap...