1902 search results - page 213 / 381 » Differential Dynamic Logics |
176
click to vote
RECONFIG
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The main challenge when implementing cryptographic algorithms in hardware is to protect them against attacks that target directly the device. Two strategies are customar...
191
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current malware is often transmitted in packed or encrypted form to prevent examination by anti-virus software. To analyze new malware, researchers typically resort to dynamic c...
188
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
198
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Diffusion Tensor Imaging (DTI) is a magnetic resonance imaging method that can be used to measure local information about the structure of white matter within the human brain. Com...
176
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
It is common that Internet service hosting centres use several logical pools to assign server resources to different applications, and that they try to achieve the highest total r...