385 search results - page 37 / 77 » Verified Code Generation for Embedded Systems |
118
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
125
click to vote
LCTRTS
1998
Springer
15 years 6 months ago
1998
Springer
Instruction scheduling is a necessary step in compiling for many modern microprocessors. Traditionally, global instruction scheduling techniques have outperformed local techniques....
126
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
123
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
104
click to vote
ISORC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...