2000 search results - page 78 / 400 » Program Transformation and Proof Transformation |
88
Voted
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
A multi-resolution path planning algorithm based on the wavelet transform of the environment has been reported previously in the literature. In this paper, we provide a proof of co...
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
101
click to vote
ILP
2003
Springer
15 years 5 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
VLSID
2004
IEEE
16 years 7 days ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...