386 search results - page 57 / 78 » Static Timing Analysis of Real-Time Operating System Code |
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Text-based approaches to the analysis of software evolution are attractive because of the fine-grained, token-level comparisons they can generate. The use of such approaches has, ...
ICLP
2007
Springer
14 years 26 days ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
DAC
2009
ACM
14 years 3 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
PLDI
2005
ACM
14 years 2 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...