Sciweavers

4842 search results - page 805 / 969
» A Calculus for Data Mapping
Sort
View
CTRSA
2010
Springer
172views Cryptology» more  CTRSA 2010»
16 years 1 months ago
Revisiting Higher-Order DPA Attacks:
Security devices are vulnerable to side-channel attacks that perform statistical analysis on data leaked from cryptographic computations. Higher-order (HO) attacks are a powerful a...
Benedikt Gierlichs, Lejla Batina, Bart Preneel, In...
ISQED
2009
IEEE
70views Hardware» more  ISQED 2009»
16 years 1 months ago
On-chip transistor characterization arrays with digital interfaces for variability characterization
An on-chip test-and-measurement system with digital interfaces that can perform device-level characterization of large-dense arrays of transistors is demonstrated in 90- and 65-nm...
Simeon Realov, William McLaughlin, Kenneth L. Shep...
SAC
2009
ACM
16 years 1 months ago
Visual detection of novel terrain via two-class classification
Remote sensing of terrain characteristics is an important component for autonomous operation of mobile robots in natural terrain. Often this involves classification of terrain int...
Christopher A. Brooks, Karl Iagnemma
FOSSACS
2009
Springer
16 years 1 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
GLOBECOM
2009
IEEE
16 years 1 months ago
Optimal Resource Allocation in the OFDMA Downlink with Feedback of Buffer State Information
—With the advent of new applications, one of the primary applications supported in downlink cellular systems is streaming video. QoS for streaming video entails data transmission...
Rajiv Agarwal, John M. Cioffi