11603 search results - page 1921 / 2321 » Securing Embedded Systems |
157
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
139
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Temperature hot-spots have been known to cause severe reliability problems and to significantly increase leakage power. The register file has been previously shown to exhibit the ...
194
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
167
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
262
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...