Sciweavers

3514 search results - page 639 / 703
» Evolving Specification Engineering
Sort
View
PE
2010
Springer
135views Optimization» more  PE 2010»
13 years 2 months ago
Performance evaluation of component-based software systems: A survey
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
Heiko Koziolek
TASLP
2010
177views more  TASLP 2010»
13 years 2 months ago
A Watermarking-Based Method for Informed Source Separation of Audio Signals With a Single Sensor
In this paper, the issue of audio source separation from a single channel is addressed, i.e. the estimation of several source signals from a single observation of their mixture. Th...
Mathieu Parvaix, Laurent Girin, Jean-Marc Brossier
TC
2010
13 years 2 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
TCAD
2010
133views more  TCAD 2010»
13 years 2 months ago
Defect-Tolerant Design and Optimization of a Digital Microfluidic Biochip for Protein Crystallization
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
Tao Xu, Krishnendu Chakrabarty, Vamsee K. Pamula
TCBB
2010
91views more  TCBB 2010»
13 years 2 months ago
SCS: Signal, Context, and Structure Features for Genome-Wide Human Promoter Recognition
This paper integrates the signal, context and structure features for genome-wide promoter recognition, which is critical in many DNA sequence analysis tasks. First, CpG islands ar...
Jia Zeng, Xiaoyu Zhao, Xiao-Qin Cao, Hong Yan