348 search results - page 37 / 70 » Experiences in Hardware Trojan Design and Implementation |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
IWMM
2000
Springer
14 years 11 days ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—We consider multi-resolution storage, a technique for providing scalable adaptive data fidelity, necessary for many applications of large wireless sensor networks (WSNs). Altho...
IWMM
2009
Springer
14 years 3 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...