1058 search results - page 36 / 212 » MEMOPS: Data modelling and automatic code generation. |
CASES
2007
ACM
14 years 2 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
SCAM
2006
IEEE
14 years 4 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
VLSID
2007
IEEE
14 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
ICMCS
2006
IEEE
14 years 5 months ago
2006
IEEE
The rate-distortion optimal mode decision as well as motion estimation adopted in H.264 brings a big challenge to realtime encoding and transcoding duo to the high computation com...
ICST
2010
IEEE
13 years 8 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...