939 search results - page 43 / 188 » Improving Dynamic Data Analysis with Aspect-Oriented Program... |
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
OSprof is a versatile, portable, and efficient profiling methodology based on the analysis of latency distributions. Although OSprof has offers several unique benefits and has bee...
IEEEPACT
2006
IEEE
14 years 2 months ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
ASPLOS
1996
ACM
14 years 28 days ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...
IQ
2000
13 years 10 months ago
2000
: Current banking data management on loan approval processes has great room for improvements of information quality and prevention of data problems in general, but especially with ...