5186 search results - page 235 / 1038 » Embedded Systems |
169
click to vote
SEUS
2007
IEEE
16 years 25 days ago
2007
IEEE
The popularity of mobile and multimedia applications made real-time support a mandatory feature for embedded operating systems. However, the current situation is that the overall p...
176
click to vote
ICSEA
2006
IEEE
16 years 18 days ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
158
click to vote
EEF
2000
15 years 10 months ago
2000
Markovian models have been used for about a century now for the evaluation of the performance and dependability of computer and communication systems. In this paper, we give a conc...
167
click to vote
ICFP
2008
ACM
16 years 6 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...