Sciweavers

Share
3 search results - page 1 / 1
» trier 2002
Sort
View
TRIER
2002
9 years 6 months ago
A Piecewise-Deterministic Model for Brownian Motion
In the present paper, the classical Brownian motion of a particle suspended in an homogeneous liquid is modeled as a piecewise
Lothar Breuer
TRIER
2002
9 years 6 months ago
Polynomial Constants are Decidable
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...
Markus Müller-Olm, Helmut Seidl
TRIER
2002
9 years 6 months ago
Precise Interprocedural Dependence Analysis of Parallel Programs
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...
Markus Müller-Olm
books