5182 search results - page 679 / 1037 » COTS-Based Requirements Engineering |
209
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
154
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
168
click to vote
IMR
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a comprehensive approach for CAD based geometry handling in support of single and multidisciplinary analysis and design. Unlike previous schemes, the model pre...
128
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...
173
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
Dynamic run-time scheduling in System-on-Chip platforms has become recently an active area of research because of the performance and power requirements of new applications. Moreo...