3911 search results - page 147 / 783 » Using Operational Architecture to Model Embedded Software |
147
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
177
click to vote
SNPD
2008
15 years 6 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
150
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...
190
click to vote
DATE
2009
IEEE
15 years 12 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
131
click to vote
WSC
2008
15 years 7 months ago
2008
A simulation was commissioned to understand the interactions that constrain the capacity of a steel plant. The aim was for this to become a reusable tool that could evaluate the e...