7393 search results - page 1421 / 1479 » Synthesis-for-testability using transformations |
139
click to vote
ECCE
2011
13 years 9 months ago
2011
Motivation – This research deals with the identification of collective production of a safe radiotherapy treatment and its potential assistance through computer-supported enviro...
IACR
2011
13 years 9 months ago
2011
With the gaining popularity of remote storage (e.g. in the Cloud), we consider the setting where a small, protected local machine wishes to access data on a large, untrusted remot...
147
click to vote
ASPDAC
2012
ACM
13 years 5 months ago
2012
ACM
— The Dark Silicon Age kicked off with the transition to multicore and will be characterized by a wild chase for seemingly ever-more insane architectural designs. At the heart o...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
CRYPTO
2012
Springer
13 years 6 days ago
2012
Springer
We describe a working implementation of leveled homomorphic encryption (without bootstrapping) that can evaluate the AES-128 circuit in three different ways. One variant takes und...