233 search results - page 19 / 47 » Intelligent compilers |
108
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This paper compares the performance of the program evaluation phase of genetic programming using C and Common Lisp. A simple experiment is conducted, and the conclusion is that ge...
128
Voted
ATAL
2001
Springer
15 years 7 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
154
Voted
PAAMS
2010
Springer
15 years 19 days ago
2010
Springer
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...
84
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We outline meta-encoding schemas for compiling nonmonotonic logic theories into Verilog HDL (Hardware Description Language) descriptions. These descriptions can be synthesized int...
100
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...