159 search results - page 12 / 32 » Towards a Flow Analysis for Embedded System C Programs |
111
click to vote
DSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
DASIP
2010
14 years 4 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
101
click to vote
CASES
2005
ACM
14 years 11 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
JCS
2006
14 years 9 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...