5235 search results - page 807 / 1047 » Analysis of Multithreaded Programs |
148
click to vote
TACAS
2007
Springer
16 years 20 days 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...
156
click to vote
ANSS
2006
IEEE
16 years 19 days 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 ...
151
click to vote
ESCIENCE
2006
IEEE
16 years 19 days 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...
178
click to vote
IPCCC
2006
IEEE
16 years 18 days 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...
156
click to vote
ISPASS
2006
IEEE
16 years 17 days 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...