4716 search results - page 699 / 944 » Iterative-free program analysis |
155
click to vote
SOCO
2007
Springer
15 years 11 months 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...
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...
131
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 ...
124
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...
148
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...