1304 search results - page 183 / 261 » Evaluating Hardware Compilation Techniques |
164
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
A technique for signature based diagnosis using windows of different sizes is presented. It allows to obtain increased diagnostic information from a given test at a lower cost, wi...
169
click to vote
FMICS
2009
Springer
16 years 27 days ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
138
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
Many of the recently proposed techniques to reduce power consumption in caches introduce an additional level of nondeterminism in cache access latency. Due to this additional late...
145
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
197
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—Data aggregation, as a primitive communication task in wireless networks, can reduce the communication complexity. However, in-network aggregation usually brings an unavoidable ...