6102 search results - page 341 / 1221 » Generating Optimizing Specializers |
117
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Previous work on semantics-based multi-stage programming (MSP) language design focused on homogeneous designs, where the generating and the generated languages are the same. Homoge...
140
Voted
ADCM
2008
15 years 3 months ago
2008
Abstract. Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical s...
149
Voted
LATA
2011
Springer
14 years 6 months ago
2011
Springer
In this paper we propose a hierarchy of classes of languages, generated by networks of evolutionary processors with the filters in several special classes of regular sets. More p...
112
Voted
ENTCS
2007
15 years 3 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
121
Voted
TROB
2008
15 years 3 months ago
2008
An important problem in the control of locomotion of robots with multiple degrees of freedom (e.g., biomimetic robots) is to adapt the locomotor patterns to the properties of the e...