674 search results - page 52 / 135 » Explanation Based Program Transformation |
111
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
151
click to vote
ICPP
1991
IEEE
15 years 5 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
122
click to vote
ENTCS
2002
15 years 2 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
110
click to vote
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...
135
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...