2947 search results - page 361 / 590 » Analyzing Program Analyses |
197
click to vote
HPDC
2005
IEEE
16 years 2 days ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...
166
click to vote
ICTAC
2004
Springer
15 years 12 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
184
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Si...
153
click to vote
NSDI
2004
15 years 7 months ago
2004
Over the past few years, a relatively new computing phenomenon has gained momentum: the spread of "spyware." Though most people are aware of spyware, the research commun...
173
click to vote
AAAI
1996
15 years 7 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...