2000 search results - page 319 / 400 » Program Transformation and Proof Transformation |
137
Voted
SCP
1998
15 years 3 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
140
Voted
IJPP
2011
14 years 7 months ago
2011
Tuning compiler optimizations for rapidly evolving hardware makes porting and extending an optimizing compiler for each new platform extremely challenging. Iterative optimization i...
145
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
In this paper we consider the problem of solving different pose and registration problems under rotational constraints. Traditionally, methods such as the iterative closest point ...
169
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
124
click to vote
PEPM
2007
ACM
15 years 9 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...