552 search results - page 15 / 111 » Applying aspects to a real-time embedded operating system |
143
Voted
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
124
Voted
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
— 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...
135
Voted
BIRTHDAY
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
120
click to vote
RTAS
2010
IEEE
15 years 7 days ago
2010
IEEE
While most prior work on multiprocessor real-time scheduling focuses on independent tasks, dependencies due to non-preemptive sections, suspensions, and pipelinebased precedence c...