12272 search results - page 293 / 2455 » Experimental program analysis |
183
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
158
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
157
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
186
click to vote
TPDS
1998
15 years 6 months ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...
183
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the