136 search results - page 12 / 28 » A Provably Correct Compiler Generator |
111
Voted
AIPS
1996
15 years 5 months ago
1996
Weintroduce a method of deduction-based refinement planning where prefabricated general solutions are adapted to special problems. Refmementproceeds by stepwise transforming nonco...
130
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
150
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes a global progressive register allocator, a register allocator that uses an expressive model of the register allocation problem to quickly find a good allocat...
151
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
110
click to vote
IJCAI
2001
15 years 6 months ago
2001
This paper describes SiN, a novel case-based planning algorithm that combines conversational case retrieval with generative planning. SiN is provably correct, and can generate pla...