5639 search results - page 820 / 1128 » Timed Abstract Non-interference |
125
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
152
Voted
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
162
click to vote
FC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We firstly proposed a new notion of short identity-based signature scheme. We argue that the identity-based environment is essential in some scenarios. The notion of sho...
141
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
148
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...