5235 search results - page 428 / 1047 » Analysis of Multithreaded Programs |
202
click to vote
LCPC
2005
Springer
16 years 11 days ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
196
Voted
SC
2003
ACM
16 years 3 days ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
176
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
213
click to vote
PE
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a new framework supporting the bottleneck analysis of closed, multiclass BCMP queueing networks in the limiting regime where the number of jobs proportionally grows t...
154
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...