2780 search results - page 172 / 556 » Generalizing by Removing Detail |
146
click to vote
IWMM
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a region analysis and transformation framework for Java programs. Given an input Java program, the compiler automatically translates it into an equivalent outp...
188
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
141
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...
175
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...
141
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Decreasing feature sizes and increasing package densities are making thermal issues extremely important in IC design. Uneven thermal maps and hot spots in ICs cause physical stres...