16430 search results - page 883 / 3286 » On Computable Tree Functions |
203
click to vote
CCS
2009
ACM
16 years 2 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...
184
click to vote
CCGRID
2008
IEEE
16 years 2 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
174
click to vote
CCGRID
2007
IEEE
16 years 2 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...
209
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider memory subsystem optimizations for improving the performance of sparse scientific computation while reducing the power consumed by the CPU and memory. We first co...
194
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes the study of a new computation model that attempts to address the underlying sources of performance degradation (e.g. latency, overhead, and starvation) and th...