3680 search results - page 136 / 736 » cases 2010 |
148
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
153
click to vote
ESSOS
2010
Springer
16 years 3 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
158
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
137
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
Disclosures of health databases for secondary purposes is increasing rapidly. In this paper, we develop and evaluate a reidentification risk metric for the case where an intruder ...
152
click to vote
EVOW
2010
Springer
16 years 1 months ago
2010
Springer
We build on recent advances in the design of self-organizing interaction networks by introducing a sexual variant of an existing asexual, mutation-limited algorithm. Both the asexu...