1448 search results - page 160 / 290 » From Requirements to Code Revisited |
147
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
152
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
139
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
Support for dynamic and client-specific customization is required in many application areas. We present a (distributed) application as consisting of a minimal functional core – ...
110
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
We present a novel systematic method to obtain componentwise ultimate bounds in perturbed sampled-data systems, especially when the perturbations arise due to quantization. The pr...
123
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Traditional communication theory focuses on minimizing transmit power. However, communication links are increasingly operating at shorter ranges where transmit power can be signif...