نتائج البحث

Meta-Optimizing Semantic Evolutionary Search Categories and Subject Descriptors I.2.2 [Artificial Intelligence]: Automatic Programming – Program synthesis General Terms

• Authors : The Pennsylvania State University CiteSeerX Archives

Subjects: Algorithms; Design; Experimentation Keywords Empirical Study

• Source: http://www.metacog.org/papers/gecco07c.pdf.

تفاصيل العنوان

Categories and Subject Descriptors I.2.2 [Automatic Programming]

• Authors : Kedar Swadi; Walid Taha; The Pennsylvania State University CiteSeerX Archives

Subjects: General Terms Multi-stage Programming; Program Specialization Keywords Staging; Monads

• Source: http://homepage.mac.com/pasalic/p2/papers/PEPM06.pdf.

تفاصيل العنوان

Categories and Subject Descriptors I.2.2 [Automatic Programming]

• Authors : Kedar Swadi; Walid Taha; The Pennsylvania State University CiteSeerX Archives

Subjects: General Terms Multi-stage Programming; Program Specialization Keywords Staging; Monads

• Source: http://www.cs.rice.edu/~taha/publications/conference/pepm06.pdf.

تفاصيل العنوان

I.2.2. The goldstino and gravitino

• Authors : The Pennsylvania State University CiteSeerX Archives

• Source: http://pdg.lbl.gov/2011/reviews/rpp2011-rev-susy-1-theory.pdf.

تفاصيل العنوان

I.2.2. The goldstino and gravitino

• Authors : The Pennsylvania State University CiteSeerX Archives

• Source: http://pdg.lbl.gov/reviews/rppref/mini/2011/susy1_s046-web.pdf.

تفاصيل العنوان

QoS and Energy Management Coordination using Discrete Controller Synthesis

• Authors : Noël De Palma; Eric Rutten; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors I.2.2 [Automatic Programming; Program synthesis; D.2.9 [Software Engineering

• Source: http://hal.inria.fr/docs/00/78/49/99/PDF/delaval-gcm10.pdf.

تفاصيل العنوان

NLyze: Interactive Programming by Natural Language for SpreadSheet Data Analysis and Manipulation

• Authors : Sumit Gulwani; Mark Marron; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors D.1.2 [Programming Techniques; Automatic Program- ming; I.2.2 [Artificial Intelligence

• Source: http://research.microsoft.com/en-us/um/people/marron/selectpubs/NLyze.pdf.

تفاصيل العنوان

Evolving a digital multiplier with the pushgp genetic programming system,” in GECCO ’13 Companion: Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion

• Authors : Thomas Helmuth; Lee Spector; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors I.2.2 [Artificial Intelligence; Automatic Programming— Program synthesis General Terms

• Source: http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf.

تفاصيل العنوان

Automated feedback generation for introductory programming assignments

• Authors : Rishabh Singh; Sumit Gulwani; Armando Solar-lezama ...

Subjects: Categories and Subject Descriptors D.1.2 [Programming Techniques; Automatic Programming; I.2.2 [Artificial Intelligence

• Source: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi13-grading.pdf.

تفاصيل العنوان

Typedirected completion of partial expressions

• Authors : Daniel Perelman; Sumit Gulwani; Thomas Ball ...

Subjects: Categories and Subject Descriptors D.2.6 [Software Engineer- ing; Programming Environments—Integrated Environments; D.2.13 [Software Engineering

• Source: http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf.

تفاصيل العنوان