809 search results - page 79 / 162 » Requirements by Contracts allow Automated System Testing |
110
click to vote
RTS
2006
14 years 11 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
105
click to vote
ICCAD
1998
IEEE
15 years 4 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
108
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
LREC
2010
15 years 1 months ago
2010
Speech recognition technology suffers from a lack of robustness which limits its usability for fully automated speech-to-text transcription, and manual correction is generally req...
FMCAD
1998
Springer
15 years 4 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...