7103 search results - page 71 / 1421 » Components and Generative Programming |
DDECS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
MDAI
2005
Springer
14 years 1 months ago
2005
Springer
As dialogue systems are widely demanded, the research on natural language generation in dialogue has raised interest. Contrary to conventional dialogue systems that reply to the us...
TACAS
1997
Springer
13 years 11 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
ICLP
1993
Springer
13 years 11 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...