Sciweavers

2312 search results - page 247 / 463
» Invariance in Property Testing
Sort
View
IJBRA
2010
108views more  IJBRA 2010»
15 years 2 months ago
Assessing and improving the accuracy of detecting protein adaptation with the TreeSAAP analytical software
The TreeSAAP software has been successfully used in a variety of protein studies for identifying and characterizing adaptation in terms of shifts in the physicochemical properties ...
David A. McClellan, David D. Ellison
ICASSP
2011
IEEE
14 years 8 months ago
An optimal filtering for unmasked noise prevention
A new estimator, optimal in the frequency domain with respect to the masking properties of the human auditory system, is proposed. This new filtering technique prevents the emerg...
Asmaa Amehraye, Lionel Fillatre, Dominique Pastor
KBSE
2006
IEEE
15 years 11 months ago
Sieve: A Tool for Automatically Detecting Variations Across Program Versions
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
FASE
2006
Springer
15 years 8 months ago
Trace-Based Memory Aliasing Across Program Versions
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
Murali Krishna Ramanathan, Suresh Jagannathan, Ana...
SIGSOFT
2010
ACM
15 years 2 months ago
Differential static analysis: opportunities, applications, and challenges
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare