5683 search results - page 225 / 1137 » Interactive Schedulability Analysis |
183
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
143
Voted
DATE
2008
IEEE
16 years 2 days ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...
172
click to vote
IESS
2007
Springer
15 years 11 months ago
2007
Springer
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
155
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Employing COTS components in real-time embedded systems leads to timing challenges. When multiple CPU cores and DMA peripherals run simultaneously, contention for access...
138
click to vote
RTSS
2008
IEEE
16 years 4 hour ago
2008
IEEE
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...