1781 search results - page 160 / 357 » Visualizing program execution using user abstractions |
108
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
139
click to vote
ASPLOS
1992
ACM
15 years 6 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
111
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
105
Voted
APLAS
2005
ACM
15 years 4 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
148
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...