304 search results - page 15 / 61 » Hybridization methods for the analysis of nonlinear systems |
103
Voted
SAS
2000
Springer
15 years 5 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
137
click to vote
MOC
2002
15 years 1 months ago
2002
Abstract. We analyze the convergence rate of an asynchronous space decomposition method for constrained convex minimization in a reflexive Banach space. This method includes as spe...
115
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
It has been widely recognized that the dynamic range information of an application can be exploited to reduce the datapath bitwidth of either processors or ASICs, and therefore th...
108
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
122
Voted
TSP
2010
14 years 8 months ago
2010
The strong cross-correlation that exists between the two input audio channels makes the problem of stereophonic acoustic echo cancellation (AEC) complex and challenging to solve. R...