Sciweavers

3481 search results - page 423 / 697
» A New Approach to Component Testing
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Dereverberation of ultrasound echo data in vascular imaging applications
Two-dimensional speckle tracking methods have shown great promise in imaging tissue motion and deformations in the vicinity of blood vessels offering the promise of new methods fo...
Emad S. Ebbini, Yayun Wan, Dalong Liu
OOPSLA
2007
Springer
16 years 20 days ago
Probabilistic calling context
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
Michael D. Bond, Kathryn S. McKinley
BMCBI
2010
125views more  BMCBI 2010»
15 years 6 months ago
Haplotype allelic classes for detecting ongoing positive selection
Background: Natural selection eliminates detrimental and favors advantageous phenotypes. This process leaves characteristic signatures in underlying genomic segments that can be r...
Julie Hussin, Philippe Nadeau, Jean-Françoi...
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
16 years 20 days ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
BMCBI
2005
125views more  BMCBI 2005»
15 years 6 months ago
DIALIGN-T: An improved algorithm for segment-based multiple sequence alignment
Background: We present a complete re-implementation of the segment-based approach to multiple protein alignment that contains a number of improvements compared to the previous ver...
Amarendran R. Subramanian, Jan Weyer-Menkhoff, Mic...