2000 search results - page 275 / 400 » Program Transformation and Proof Transformation |
143
Voted
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
108
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
139
Voted
WOMPAT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The recent parallel language standard for shared memory multiprocessor (SMP) machines, OpenMP, promises a simple and portable interface for programmers who wish to exploi...
152
Voted
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
118
Voted
PEPM
1994
ACM
15 years 7 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...