3256 search results - page 314 / 652 » Integrated Environment for Embedded Control Systems Design |
236
click to vote
SOSP
2007
ACM
16 years 1 months 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...
124
click to vote
SOFSEM
2005
Springer
15 years 10 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
133
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
178
click to vote
DFT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
187
click to vote
JTRES
2010
ACM
15 years 5 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...