3713 search results - page 460 / 743 » Constructing a Calculus of Programs |
118
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
165
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
145
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
130
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
146
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...