367 search results - page 24 / 74 » Industrial validation of COVAMOF |
103
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
114
Voted
ESM
2000
15 years 3 months ago
2000
Know-how is the most useful mean for designing new processors before a complete hardware description. The integration rate is increasing very quickly and the timeto-market has to ...
108
click to vote
TODAES
2002
15 years 1 months ago
2002
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
119
Voted
ML
2010
ACM
15 years 10 days ago
2010
ACM
In several domains it is common to have data from different, but closely related problems. For instance, in manufacturing, many products follow the same industrial process but with...
166
Voted
PROMISE
2010
14 years 8 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...