19010 search results - page 3790 / 3802 » Adaptive A |
101
click to vote
SIGMETRICS
2011
ACM
14 years 1 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
174
click to vote
ACMSE
2011
ACM
13 years 10 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
106
click to vote
ASIACRYPT
2011
Springer
13 years 10 months ago
2011
Springer
A cryptographic assumption is the (unproven) mathematical statement that a certain computational problem (e.g. factoring integers) is computationally hard. The leakage-resilience l...
128
click to vote
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
183
click to vote
CADE
2011
Springer
13 years 10 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...