145 search results - page 10 / 29 » Extended Whole Program Paths |
114
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
100
click to vote
DBPL
1991
Springer
15 years 5 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
118
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Code theft is a threat for companies that consider code as a core asset. A birthmark can help them to prove code theft by identifying intrinsic properties of a program. Two progra...
105
click to vote
SPAA
2003
ACM
15 years 7 months ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...