5639 search results - page 820 / 1128 » Timed Abstract Non-interference |
148
click to vote
EUROPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
190
click to vote
EUROPAR
2005
Springer
16 years 6 days 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...
193
click to vote
FC
2005
Springer
16 years 6 days 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...
188
click to vote
FOSSACS
2005
Springer
16 years 6 days 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...
176
click to vote
FSTTCS
2005
Springer
16 years 6 days 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...