1206 search results - page 205 / 242 » Arc-Flags in Dynamic Graphs |
134
click to vote
FPGA
2010
ACM
15 years 11 months ago
2010
ACM
Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times d...
131
click to vote
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
A large number of embedded systems include 8-bit microcontrollers for their energy efficiency and low cost. Multi-bank memory architecture is commonly applied in 8-bit microcontr...
111
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
134
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which re...
145
click to vote
MICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Aggressive technology scaling to 45nm and below introduces serious reliability challenges to the design of microprocessors. Large SRAM structures used for caches are particularly ...