861 search results - page 111 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
118
click to vote
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
122
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
252
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
182
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
129
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
This paper proposes an approach called SCoPE, which supports user-defined analysis-based pointcuts in aspect-oriented programming (AOP) languages. The advantage of our approach is...