Sciweavers

684 search results - page 70 / 137
» Improving software quality using statistical testing techniq...
Sort
View
PASTE
2010
ACM
13 years 6 months ago
Property-aware program sampling
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
FMICS
2007
Springer
14 years 1 months ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...
KBSE
2009
IEEE
14 years 2 months ago
Evaluating the Accuracy of Fault Localization Techniques
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...
Shaimaa Ali, James H. Andrews, Tamilselvi Dhandapa...
ISBI
2006
IEEE
14 years 8 months ago
Atlas-assisted tomography: registration of a deformable atlas to compensate for limited-angle cone-beam trajectory
We present a method to improve the quality of cone-beam tomographic images computed from an intra-operative C-arm scan by adding information from an anatomical atlas. Limited rang...
Ofri Sadowsky, Krishnakumar Ramamurthi, Lotta Mari...
ICMCS
2008
IEEE
142views Multimedia» more  ICMCS 2008»
14 years 2 months ago
Foreground stabilization of image sequences
Hand jitters result in unintentional fluctuation of image sequences taken by hand-held video cameras. Stabilization of the foreground object of interest in pictures is essential f...
Shih-Hsuan Yang, Pei-Cheng Huang