1547 search results - page 169 / 310 » Randomized Variable Elimination |
130
Voted
ICS
1997
Tsinghua U.
15 years 5 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
103
Voted
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
115
click to vote
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
98
Voted
CAV
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
85
Voted
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...