2089 search results - page 123 / 418 » Finding Environment Guarantees |
121
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Side channel attacks are a major security concern for smart cards and other embedded devices. They analyze the variations on the power consumption to find the secret key of the en...
113
click to vote
VTS
2005
IEEE
15 years 9 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...
104
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a Pareto efficient design method for multi-dimensional optimization of run-time reconfigurable streaming applications on CPU/FPGA platforms, which automatically allocate...
152
click to vote
APPROX
2006
Springer
15 years 7 months ago
2006
Springer
Gupta (SODA'01) considered the Steiner Point Removal (SPR) problem on trees. Given an edge-weighted tree T and a subset S of vertices called terminals in the tree, find an edg...
116
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...