Sciweavers

648 search results - page 28 / 130
» Hardware support for real-time operating systems
Sort
View
RTSS
2007
IEEE
16 years 4 days ago
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts
In this paper, we propose to implement hybrid operating systems based on two-level hardware interrupts. To separate real-time and non-real-time hardware interrupts by hardware, we...
Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tian...
EUROPAR
2007
Springer
16 years 1 days ago
Hardware Transactional Memory with Operating System Support, HTMOS
Abstract. Hardware Transactional Memory (HTM) gives software developers the opportunity to write parallel programs more easily compared to any previous programming method, and yiel...
Sasa Tomic, Adrián Cristal, Osman S. Unsal,...
RSP
2009
IEEE
146views Control Systems» more  RSP 2009»
16 years 18 days ago
Operating System Support for Difference-Based Partial Hardware Reconfiguration
Tiago de Albuquerque Reis, Antônio Augusto F...
DATE
2010
IEEE
204views Hardware» more  DATE 2010»
15 years 11 months ago
Assertion-based verification of RTOS properties
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...
Marcio F. S. Oliveira, Henning Zabel, Wolfgang M&u...
FPGA
1999
ACM
122views FPGA» more  FPGA 1999»
15 years 10 months ago
Exploiting FPGA-Features During the Emulation of a Fast Reactive Embedded System
This paper presents the emulation of an embedded system with hard real time constraints and response times of about 220µs. We show that for such fast reactive systems, the softwa...
Karlheinz Weiß, Thorsten Steckstor, Gernot K...