2523 search results - page 191 / 505 » Correct Development of Embedded Systems |
128
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
110
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
The use of Flash memories in portable embedded systems is ever increasing. This is because of the multi-level storage capability that makes them excellent candidates for high dens...
213
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
132
click to vote
ENTCS
2002
15 years 2 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
143
click to vote
FPL
2006
Springer
15 years 6 months ago
2006
Springer
The recent development of Platform-FPGA or FieldProgrammable System-on-Chip architectures, with immersed coarse-grain processors, embedded memories and IP cores, offers the potent...