Sciweavers

3706 search results - page 329 / 742
» The Transformational Approach to Program Development
Sort
View
CSMR
2004
IEEE
15 years 7 months ago
Rewrite Systems for Symbolic Evaluation of C-like Preprocessing
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
Mario Latendresse
CN
2002
96views more  CN 2002»
15 years 3 months ago
A transparent deployment method of RSVP-aware applications on UNIX
This paper proposes a method, called RLR (RSVP (Resource reSerVation Protocol) library redirection), which can transform legacy Internet applications into RSVP-aware applications ...
Yu-Ben Miao, Wen-Shyang Hwang, Ce-Kuen Shieh
KBSE
2009
IEEE
15 years 10 months ago
A Case for Automated Debugging Using Data Structure Repair
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
Muhammad Zubair Malik, Khalid Ghori, Bassem Elkara...
ICSE
2007
IEEE-ACM
16 years 3 months ago
Regression Test Selection for AspectJ Software
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
Guoqing Xu, Atanas Rountev
126
Voted
ICIP
2008
IEEE
16 years 5 months ago
Edge detection and processing using shearlets
It is now widely acknowledged that wavelets are not very effective in representing images containing distributed discontinuities such as edges. This paper deals with a new multisc...
Sheng Yi, Demetrio Labate, Glenn R. Easley, Hamid ...