707 search results - page 73 / 142 » Performance Modeling and Analysis of the Universal Control H... |
155
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
143
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
137
click to vote
NIME
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we present an example of the use of the singing voice as a controller for digital music synthesis. The analysis of the voice with spectral processing techniques, der...
130
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Dynamic evolution has been an essential requirement for more and more business systems which attempt to provide 7(days) x 24(hours) availability and flexible adaptability on the c...
147
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...