2266 search results - page 127 / 454 » Generalizing parametric timing analysis |
124
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
136
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
130
Voted
ESOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
118
Voted
WCET
2008
15 years 5 months ago
2008
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
148
Voted
CONEXT
2005
ACM
15 years 5 months ago
2005
ACM
While the applications using the Internet have changed over time, TCP is still the dominating transport protocol that carries over 90% of the total traffic. Throughput is the key...