Sciweavers

13618 search results - page 355 / 2724
» The Newton Operating System
Sort
View
OSDI
2004
ACM
16 years 7 months ago
Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines
We propose a method to reuse unmodified device drivers and to improve system dependability using virtual machines. We run the unmodified device driver, with its original operating...
Jan Stoess, Joshua LeVasseur, Stefan Götz, Vo...
ICPPW
2009
IEEE
16 years 1 months ago
Hardware Microkernels for Heterogeneous Manycore Systems
Abstract— The migration away from power-hungry, speculative execution procesors towards manycore architectures is good news for the embedded and real-time systems community. Comm...
Jason Agron, David L. Andrews
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
16 years 7 days ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
ENC
2004
IEEE
15 years 10 months ago
Continuous Mode Changes in Mechatronic Systems
This paper deals with the problem of controlling highly dynamic mechatronic systems. Such systems may work in several different operation modes, or even underlie continuous mode c...
Klaus Ecker, Andrei Tchernykh, Frank Drews, Silke ...
HASE
1998
IEEE
15 years 10 months ago
Design for Constraint Violation Detection in Safety-Critical Systems
In safety-critical systems, certain safety constraints must be satisfied before an operation can be performed. Such constraints typically depend on the state of the system at the ...
Satish Subramanian, Sanjai Rayadurgam, Wei-Tek Tsa...