Search Results - Automatic Programming— Program synthesis
-
1
Authors:
Source: IEEE Access, Vol 10, Pp 24864-24876 (2022)
Subject Terms: Automatic programming, beam search, LSTM, neural network, programming by example, program synthesis, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
2
Authors:
Contributors:
Source: urn:tid:202230716
Subject Terms: First approach, Basilar questions, Relationship between State-of-the Art, GP variants and GEP
File Description: application/pdf
Availability: http://hdl.handle.net/10400.1/12710
-
3
Contributors: Boyle, J.
Source: Conference: Conference on the production and assessment of numerical software, Liverpool, UK, 9 Apr 1979
File Description: Medium: ED; Size: Pages: 25
-
4
Authors:
Source: IEEE Access, Vol 9, Pp 71521-71534 (2021)
Subject Terms: Programming by examples, functional programs, miniKanren, relational programming, deep learning, deductive search, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
5
Authors:
Peer Reviewed: N
Page Count: 66
Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.
National Science Foundation, Washington, DC. -
6
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
7
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: 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
-
8
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
9
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
10
Authors:
Source: Automated Software Engineering; Jan2006, Vol. 13 Issue 1, p65-105, 40p, 4 Charts
-
11
Authors: Sarracino, John
Subject Terms: Computer science, Automatic Programming, Diagrams, Invariants, Layouts, Program Synthesis
File Description: application/pdf
-
12
-
13
Authors:
Source: Pollack Periodica; 2017, Vol. 12 Issue 2, p3-15, 13p
-
14
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
15
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: Signal regularity, Hölder exponent, Genetic Programming, I.2.2 [Artificial Intelligence]: Automatic Programming--program synthesis, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR]
Subject Geographic: Portland Oregon, United States
-
16
Authors: Bavishi, Rohan Jayesh
Subject Terms: Computer science, Code Generation, Machine Learning, Program Mining, Program Synthesis, Programming Assistants
File Description: application/pdf
-
17
Authors:
Source: IEEE Access, Vol 11, Pp 25755-25767 (2023)
Subject Terms: Machine learning, neural networks, program synthesis, quantum computing, quantum program, supervised learning, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
File Description: electronic resource
-
18
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms
File Description: application/pdf
-
19
Authors:
Source: IEEE Transactions on Software Engineering. Sep81, Vol. 7 Issue 5, p458-471. 14p. 8 Diagrams.
Subject Terms: *COMPUTER software, *COMPUTER programming, *SOFTWARE engineering, *COMPUTER systems
-
20
Authors: Cardenas, Alfonso F.
Source: MIS Quarterly, 1977 Sep 01. 1(3), 49-72.
Access URL: https://www.jstor.org/stable/248712
Full Text Finder 
Nájsť tento článok vo Web of Science