4716 search results - page 699 / 944 » Iterative-free program analysis |
186
click to vote
SOCO
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
148
click to vote
TACAS
2007
Springer
16 years 21 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...
157
click to vote
ANSS
2006
IEEE
16 years 20 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...