1760 search results - page 125 / 352 » Program Analysis Using Weighted Pushdown Systems |
125
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...
100
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
222
Voted
POPL
2004
ACM
16 years 29 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
140
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
110
click to vote
CC
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...