4725 search results - page 704 / 945 » Dependence-Based Program Analysis |
126
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
132
click to vote
ANSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Programs often call the same function with the same arguments, yielding the same results. We call this phenomenon, “function reuse”. Previously, we have shown such a behavior ...
125
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
149
click to vote
IPCCC
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper presents an investment strategy to reduce the risk associated with failures in Wavelength Division Multiplexing (WDM) optical networks. The investment strategy deter...
136
Voted
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
Despite years of study, branch mispredictions remain as a significant performance impediment in pipelined superscalar processors. In general, the branch misprediction penalty can...