3130 search results - page 432 / 626 » Design Correctness of Digital Systems |
177
click to vote
ASPLOS
2004
ACM
16 years 6 hour ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
195
click to vote
ISLPED
2007
ACM
15 years 8 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
237
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Frequency overlap across wireless networks with different radio technologies can cause severe interference and reduce communication reliability. The circumstances are particularly...
172
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
175
click to vote
ICDAR
1997
IEEE
15 years 10 months ago
1997
IEEE
ABSTRACT: OCR is an error-prone process. It is time-consuming and expensive to manually proofread OCR results. The errors remaining in OCRed texts can cause serious problems in rea...