Výsledky vyhledávání - Automatic Programming—Program Synthesis*

Automatic heuristic generation with genetic programming: Evolving a jack-of-alltrades or a master of one

Autoři: Edmund K Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K Burke Matthew Hyde Graham Kendall a další

Zdroj: http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf.

Témata: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958; http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.4958
http://www.cs.nott.ac.uk/~mvh/gecco2007.pdf

Automatic Heuristic Generation with Genetic Programming: Evolving a Jack-of-all-Trades or a Master of One

Autoři: Edmund K. Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K. Burke Matthew Hyde Graham Kendall a další

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf.

Témata: Categories and Subject Descriptors D.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Bin-Packing, Genetic Programming, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.5044
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2007/docs/p1559.pdf

Automatic Verilog Code Generation through Grammatical Evolution

Autoři: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Synthesis of fault-tolerant concurrent programs

Autoři: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf.

Témata: proofs, formal methods, model checking, reliability, D.2.2 [Software Engineering, Design Tools and Techniques—state diagrams, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—temporal logic, C.4 [Performance of Systems, Fault Tolerance, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, C.2.4 [Computer-Communication Networks, Distributed Systems, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Concurrent programs, fault-tolerance, program synthesis, specification, temporal logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.163
http://theory.csail.mit.edu/tds/papers/Attie/attie-TOPLAS04.pdf

Synthesis of Concurrent Programs for an Atomic Read/Write Model of Computation

Autoři: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf.

Témata: Logic and Formal Languages, Mathematical Logic—temporal logic, I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Atomic registers, concurrent programs, program synthesis, specification, temporal logic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6388

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.6388
http://theory.lcs.mit.edu/tds/papers/Attie/TOPLAS-2001.pdf

Automatic Synthesis of Out-of-Core Algorithms

Autoři: Yannis Klonatos Andres Nötzli Andrej Spielmann a další

Přispěvatelé: Yannis Klonatos Andres Nötzli Andrej Spielmann a další

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, D.4.2 [Operating Systems, Storage Management—Storage hierarchies, H.2.4 [Database Management, Systems—Query processing Keywords Out-of-core algorithms

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.2648

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.2648

Automatic Synthesis of Out-of-Core Algorithms

Autoři: Yannis Klonatos Andres Nötzli Andrej Spielmann a další

Přispěvatelé: Yannis Klonatos Andres Nötzli Andrej Spielmann a další

Zdroj: http://lara.epfl.ch/~kuncak/papers/SpielmannETAL13AutomaticSynthesisOutCoreAlgorithms.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis, D.4.2 [Operating Systems, Storage Management—Storage hierarchies, H.2.4 [Database Management, Systems—Query processing Keywords Out-of-core algorithms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.3636; http://lara.epfl.ch/~kuncak/papers/SpielmannETAL13AutomaticSynthesisOutCoreAlgorithms.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.3636
http://lara.epfl.ch/~kuncak/papers/SpielmannETAL13AutomaticSynthesisOutCoreAlgorithms.pdf

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

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.metacog.org/papers/gecco07c.pdf.

Témata: Algorithms, Design, Experimentation Keywords Empirical Study, Heuristics, Optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706; http://www.metacog.org/papers/gecco07c.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.706
http://www.metacog.org/papers/gecco07c.pdf

Synthesis of Concurrent Systems with Many Similar Processes

Autoři: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf.

Témata: Categories and Subject Descriptors, C.2.4 [Computer-Communication Networks, Distributed Systems, D.1.2 [Programming Techniques, Automatic Programming, D.1.3 [Programming Techniques, Concurrent Programming, D.2.4 [Software Engineering, Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—mechanical verification, I.2.2 [Artificial Intelligence, Automatic Programming—program

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9854; http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.9854
http://www.cs.neu.edu/home/attie/papers/TOPLAS98.pdf

The estimation of Hölderian regularity using genetic programming

Autoři: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a další

Přispěvatelé: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques a další

Zdroj: GECCO'10 Proceedings of the 12th annual conference on Genetic and evolutionary computation ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming" ; https://inria.hal.science/inria-00538943 ; Genetic and Evolutionary Computation Conference (GECCO 2010). Best Paper Award in "Genetic Programming", Jul 2010, Portland Oregon, United States. pp.861-868

Témata: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]

Geografické téma: Portland Oregon, United States

Dostupnost: https://inria.hal.science/inria-00538943
https://inria.hal.science/inria-00538943/document
https://inria.hal.science/inria-00538943/file/t10fp182-trujillo.pdf

Graph structured program evolution with automatically defined nodes

Autoři: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf.

Témata: I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search General Terms Algorithms, Experimentation, Performance Keywords Automatic Programming, Genetic Programming, Automati- cally Defined Function, Graph-based Genetic Programming, Graph Structured Program Evolution, Evolutionary Algo- rithm, Genetic Algorithm, Recursive Program

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601; http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.595.3601
http://www.nlab.sogo1.ynu.ac.jp/~shirakawa/paper/gecco09_shirakawa.pdf

Automated fixing of programs with contracts

Autoři: Yi Wei Yu Pei Carlo A. Furia a další

Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

Zdroj: http://bugcounting.net/pubs/issta10.pdf.

Témata: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551
http://bugcounting.net/pubs/issta10.pdf

On complete completion using types and weights

Autoři: Tihomir Gvero Viktor Kuncak Ivan Kuraj a další

Přispěvatelé: Tihomir Gvero Viktor Kuncak Ivan Kuraj a další

Zdroj: http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming–Program synthesis, D.2.6 [Software Engineering, Coding Tools and Techniques–Program Editors, D.2.13 [Software Engineering, Reusable Software–Reuse Models General Terms Languages, Algorithms Keywords program synthesis, type inhabitation, code completion, type-driven

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849; http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.1849
http://lara.epfl.ch/~kuncak/papers/GveroETAL13CompleteCompletionTypesWeights.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

Autoři: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

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

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.4243
http://faculty.hampshire.edu/lspector/pubs/W1501-helmuth-with-erratum.pdf

Typedirected completion of partial expressions

Autoři: Daniel Perelman Sumit Gulwani Thomas Ball a další

Přispěvatelé: Daniel Perelman Sumit Gulwani Thomas Ball a další

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

Témata: Categories and Subject Descriptors D.2.6 [Software Engineer- ing, Programming Environments—Integrated Environments, D.2.13 [Software Engineering, Reusable Software—Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming—Program syn- thesis General Terms Languages, Experimentation Keywords program synthesis, partial expressions, code comple- tion

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.966
http://research.microsoft.com/en-us/um/people/sumitg/pubs/pldi12.pdf

Evolving reusable3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://delivery.acm.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8536

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8536
https://doi.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92

Evolving reusable 3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3801

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3801
http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf

Jungloid Mining: Helping to Navigate the API Jungle

Autoři: David Mandelin Lin Xu Rastislav Bodík a další

Přispěvatelé: David Mandelin Lin Xu Rastislav Bodík a další

Zdroj: http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf.

Témata: D.2.13 [Software Engineering, Reusable Software–Reuse Models, I.2.2 [Artificial Intelligence, Automatic Programming– Program synthesis General Terms Experimentation, Languages Keywords reuse, program synthesis, mining

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415; http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.61.4415
http://www.cs.berkeley.edu/%7Emandelin/ProspectorPLDI05.pdf

Advanced Techniques for the Creation and Propagation of Modules

Autoři: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf

TREAD: A New Genetic Programming Representation Aimed at Research of Long Term Complexity Growth

Autoři: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Tony E Lewis George D Magoulas The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Algorithms, Design, Experimentation Keywords Artificial Intelligence, Genetic Programming, Representations

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.820
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2008/docs/p1339.pdf