2351 search results - page 110 / 471 » A Method of Requirement Inconsistency Analysis |
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Recently, the Sparse Matrix Transform (SMT) has been proposed as a tool for estimating the eigen-decomposition of high dimensional data vectors [1]. The SMT approach has two major...
105
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
SIAMSC
2010
14 years 8 months ago
2010
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
ETS
2011
IEEE
13 years 9 months ago
2011
IEEE
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
ICSE
1999
IEEE-ACM
15 years 2 months ago
1999
IEEE-ACM
Software architectures, like complex designs in any field, embody tradeoffs made by the designers. However, these tradeoffs are not always made explicitly by the designers and the...