1301 search results - page 49 / 261 » Design and architectures for dependable embedded systems |
162
Voted
DAC
1999
ACM
16 years 4 months ago
1999
ACM
In embedded system design, the designer has to choose an onchip memory configuration that is suitable for a specific application. To aid in this design choice, we present a memory...
112
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
173
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...
129
Voted
LCTRTS
2010
Springer
15 years 10 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...
169
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...