Sciweavers

877 search results - page 31 / 176
» Middleware for real-time and embedded systems
Sort
View
DATE
2003
IEEE
189views Hardware» more  DATE 2003»
14 years 1 months ago
Energy-Aware Adaptive Checkpointing in Embedded Real-Time Systems
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved thro...
Ying Zhang, Krishnendu Chakrabarty
EMSOFT
2001
Springer
14 years 1 months ago
Storage Allocation for Real-Time, Embedded Systems
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
Steven M. Donahue, Matthew P. Hampton, Morgan Dete...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 2 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
CGO
2009
IEEE
14 years 3 months ago
Stream Compilation for Real-Time Embedded Multicore Systems
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mah...
RTSS
2008
IEEE
14 years 3 months ago
Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Marco...