41938 search results - page 606 / 8388 » Complex Systems Modeling |
174
click to vote
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
202
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
199
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a new approach to HMM adaptation that jointly compensates for additive and convolutive acoustic distortion in environment-robust speech recognition. The ...
238
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
195
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...