115 search results - page 1 / 23 » Points-to Analysis as a System of Linear Equations |
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
SAS
2010
Springer
13 years 3 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
SIAMSC
2008
13 years 4 months ago
2008
The solution of linear systems arising from the linear stability analysis of solutions of the Navier
FSS
2008
13 years 4 months ago
2008
The paper deals with a solution of a fuzzy interval system of linear equations, i.e. a system in which fuzzy intervals (numbers) appear instead of crisp numbers. We obtain general...
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...