386 search results - page 20 / 78 » Static Timing Analysis of Real-Time Operating System Code |
117
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
142
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
123
click to vote
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
161
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
103
click to vote
ENTCS
2006
15 years 2 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...