2875 search results - page 354 / 575 » Using separation of concerns for embedded systems design |
161
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
156
Voted
CASE
2011
14 years 4 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
129
click to vote
IUI
1997
ACM
15 years 9 months ago
1997
ACM
Presentations frequently include material appropriated from external sources; they may incorporate tabular data from published reports, photographs from books, or clip art from pu...
198
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
132
click to vote
IESS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...