7661 search results - page 1294 / 1533 » Languages and the Computing Profession |
196
click to vote
ICTAC
2004
Springer
16 years 19 days 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...
194
click to vote
IWMM
2004
Springer
16 years 19 days ago
2004
Springer
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
203
click to vote
ACMICEC
2003
ACM
16 years 16 days ago
2003
ACM
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
223
click to vote
PLDI
2003
ACM
16 years 16 days ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
207
click to vote
PLDI
2003
ACM
16 years 16 days ago
2003
ACM
Many important applications, such as those using sparse data structures, have memory reference patterns that are unknown at compile-time. Prior work has developed runtime reorderi...