9595 search results - page 21 / 1919 » Functional programming in C |
MP
2008
13 years 7 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...
FDL
2003
IEEE
14 years 27 days ago
2003
IEEE
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
PLDI
2003
ACM
14 years 25 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
SIAMJO
2008
13 years 7 months ago
2008
By considering the epigraphs of conjugate functions, we extend the Fenchel duality, applicable to a (possibly infinite) family of proper lower semicontinuous convex functions on a ...