214 search results - page 4 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
CGO
2004
IEEE
15 years 1 months ago
2004
IEEE
Performing analysis across module boundaries for an entire program is important for exploiting several runtime performance opportunities. However, due to scalability problems in e...
105
click to vote
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
We introduce a framework for defining a distance on the (non-Euclidean) space of Linear Dynamical Systems (LDSs). The proposed distance is induced by the action of the group of o...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
100
click to vote
ICPP
2006
IEEE
15 years 3 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
119
click to vote
WOMPAT
2004
Springer
15 years 2 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...