156 search results - page 21 / 32 » Formal Analysis for Debugging and Performance Optimization o... |
SAS
1997
Springer
13 years 11 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
3DIM
2005
IEEE
13 years 9 months ago
2005
IEEE
We give a formal definition of geometric fitting in a way that suits computer vision applications. We point out that the performance of geometric fitting should be evaluated in...
EUSFLAT
2003
13 years 9 months ago
2003
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
TASLP
2010
13 years 6 months ago
2010
Abstract—Several contributions have been made so far to develop optimal multichannel linear filtering approaches and show their ability to reduce the acoustic noise. However, th...
ISOLA
2004
Springer
14 years 28 days ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...