9049 search results - page 138 / 1810 » The New C Standard |
174
click to vote
PR
2007
15 years 5 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...
178
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
168
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
161
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The Stage By Stage Approaching (SSA) entropy minimization approach to synthetic aperture radar (SAR) autofocus is a modern and innovative technique, which has not been compared wi...
147
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Two novel receiver structures which surpass the performance of the conventional matched filter receiver are proposed for ultra-wide bandwidth multiple access communications. Th...