1042 search results - page 20 / 209 » Synthesis of Software Programs for Embedded Control Applicat... |
ERSA
2004
13 years 9 months ago
2004
Modern reconfigurable computing systems feature powerful hybrid architectures with multiple microprocessor cores, large reconfigurable logic arrays and distributed memory hierarch...
SPLC
2004
13 years 9 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
Program enhancement refers to adding new functionality to an existing program. We argue that repetitive program enhancement tasks can be expressed as patterns, and that the applic...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
WISES
2003
13 years 9 months ago
2003
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...