2000 search results - page 246 / 400 » Program Transformation and Proof Transformation |
137
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
146
click to vote
VLDB
1998
ACM
15 years 8 months ago
1998
ACM
We present a framework for designing, in a declarative and flexible way, efficient migration programs and an undergoing implementation of a migration tool called RelOO whose targe...
132
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
125
Voted
ICPP
1993
IEEE
15 years 8 months ago
1993
IEEE
: This paper presents a Data-Distributed Execution approach that exploits interation-level parallelism in loops operating over arrays. It performs data-dependency analysis, based o...
142
click to vote
PLILP
1992
Springer
15 years 8 months ago
1992
Springer
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The "programs" in this language take text or parse trees as input an...