3713 search results - page 168 / 743 » Constructing a Calculus of Programs |
154
click to vote
EUROGP
2008
Springer
15 years 5 months ago
2008
Springer
Two prominent genetic programming approaches are the graph-based Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP). Recently, a formal algorithm for construc...
145
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
150
Voted
ADAEUROPE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
124
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
— All large vendors of standard business software have announced to move to service oriented architecture. They claim benefits for their customers with regard to agility and ope...
128
Voted
PATMOS
2004
Springer
15 years 8 months ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...