Sciweavers

1011 search results - page 98 / 203
» Exception Analysis for Java
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Dual frame of frequency warping operators
In this work we introduce the dual frame operator relative to the aliasing compensated frequency warping operator for nonsmooth warping functions. Except for approximation errors,...
Salvatore Caporale, Nicolo Speciale
PEPM
2011
ACM
13 years 1 months ago
Ordering multiple continuations on the stack
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
Dimitrios Vardoulakis, Olin Shivers
SCIA
2011
Springer
341views Image Analysis» more  SCIA 2011»
13 years 1 months ago
Interactive Image Segmentation Using Level Sets and Dempster-Shafer Theory of Evidence
Abstract. Variational frameworks based on level set methods are popular for the general problem of image segmentation. They combine different feature channels in an energy minimiz...
Björn Scheuermann, Bodo Rosenhahn
SIGSOFT
2010
ACM
13 years 8 months ago
An effective dynamic analysis for detecting generalized deadlocks
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
PASTE
2010
ACM
14 years 3 days ago
Null dereference analysis in practice
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
Nathaniel Ayewah, William Pugh