4007 search results - page 174 / 802 » Automotive Software Integration |
228
click to vote
SOSP
2007
ACM
16 years 18 days ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
132
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
148
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
143
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
126
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...