699 search results - page 100 / 140 » Computation of Interprocedural Control Dependence |
94
Voted
ISCA
1998
IEEE
15 years 4 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
113
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
121
Voted
AGP
1996
IEEE
15 years 4 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
107
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
110
click to vote
DAC
2007
ACM
15 years 4 months ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...