738 search results - page 20 / 148 » Cache modeling in probabilistic execution time analysis |
150
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
121
Voted
ICCAD
2001
IEEE
16 years 12 days ago
2001
IEEE
The aim of this work is to provide an elegant and accurate static execution timing model for 32-bit microprocessor instruction sets, covering also inter–instruction effects. Suc...
152
Voted
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
115
Voted
VLDB
2001
ACM
15 years 8 months ago
2001
ACM
Relational database systems have traditionally optimzed for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted p...
131
Voted
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Procedure Positioning is a well known compiler optimization aiming at the improvement of the instruction cache behavior. A contiguous mapping of procedures calling each other freq...