3051 search results - page 377 / 611 » Learning Internal Representations |
154
Voted
SAS
2004
Springer
15 years 11 months ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
207
click to vote
STDBM
2004
Springer
15 years 11 months ago
2004
Springer
With the recent progress of spatial information technologies and mobile computing technologies, spatio-temporal databases which store information on moving objects including vehicl...
182
click to vote
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
15 years 11 months ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
142
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
153
click to vote
SCAM
2003
IEEE
15 years 11 months ago
2003
IEEE
The Program Dependence Graph was introduced by Ottenstein and Ottenstein in 1984. It was suggested to be a suitable internal program representation for monolithic programs, for th...