4725 search results - page 202 / 945 » Dependence-Based Program Analysis |
188
click to vote
APIN
1998
15 years 5 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
189
click to vote
SIAMJO
2011
15 years 12 days ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
136
click to vote
PLDI
1999
ACM
15 years 10 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
175
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
214
click to vote
ISSTA
1991
ACM
15 years 9 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...