2940 search results - page 533 / 588 » Relational Parametricity and Control |
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
—Shared cache allocation policies play an important role in determining CMP performance. The simplest policy, LRU, allocates cache implicitly as a consequence of its replacement ...
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— In the lion and man game, a lion tries to capture a man who is as fast as the lion. We study a new version of this game which takes place in a Euclidean environment with a circ...
ASIACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
Multi-party secure computations are general important procedures to compute any function while keeping the security of private inputs. In this work we ask whether preprocessing can...
CANS
2009
Springer
15 years 4 months ago
2009
Springer
When users wish to establish wireless communication between their devices, the channel needs to be bootstrapped first. Usually, the channel is desired to be authenticated and con...
105
click to vote
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...