1191 search results - page 42 / 239 » Compute the Term Contributed Frequency |
LISP
2006
14 years 9 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
CASES
2005
ACM
14 years 11 months ago
2005
ACM
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This p...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Die-to-die and within-die variations impact the frequency and power of fabricated dies, affecting functionality, performance, and revenue. Variation-tolerant circuits and post-sil...
FGR
2004
IEEE
15 years 1 months ago
2004
IEEE
Vision-based hand gesture interfaces require fast and extremely robust hand detection. Here, we study view-specific hand posture detection with an object recognition method recent...
MOBIHOC
2009
ACM
15 years 10 months ago
2009
ACM
We address the problem of jamming-resistant communication in scenarios in which the communicating parties do not share secret keys. This includes scenarios where the communicating...