1304 search results - page 71 / 261 » Evaluating Hardware Compilation Techniques |
200
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
144
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
134
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
122
click to vote
VTS
2006
IEEE
15 years 10 months ago
2006
IEEE
A statistical technique X-IDDQ for extracting defect information from IDDQ data is presented that is effective for detection of defects in ICs. The technique treats the IDDQ measu...
165
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Partial evaluation aims to improve the efficiency of a program by specialising it with respect to some known inputs. In this paper, we show that partial evaluation can be an effec...