5904 search results - page 237 / 1181 » Requirements for a Composition Language |
155
click to vote
PDSE
1998
15 years 5 months ago
1998
This paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is...
125
click to vote
IJCAI
1989
15 years 5 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
149
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
We are advocating a component-oriented software development approach that provides support for a clear separation between the computational and the compositional entities of an ap...
138
click to vote
LOGCOM
2007
15 years 4 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...