5863 search results - page 507 / 1173 » Calculating Functional Programs |
154
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In ultrasound elastography, axial strains of the examined tissue are calculated by the differentiation of the measured axial displacements. However, the results become obscured as...
194
click to vote
CVPR
2012
IEEE
13 years 10 months ago
2012
IEEE
We present an iterative approximate solution to the multidimensional assignment problem under general cost functions. The method maintains a feasible solution at every step, and i...
204
click to vote
QSIC
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
232
click to vote
POPL
1997
ACM
15 years 12 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
229
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
We sketch a methodology for the verification of compiler correctness based on the LF Logical Framework as realized within the Elf programming language. We have applied this techni...