3 search results - page 1 / 1 » trier 2002 |
TRIER
2002
13 years 4 months ago
2002
In the present paper, the classical Brownian motion of a particle suspended in an homogeneous liquid is modeled as a piecewise
TRIER
2002
13 years 4 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
TRIER
2002
13 years 4 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...