Suchergebnisse - ((automatic OR automatizace) OR automation) programming—program synthesis~

Treffer weiter einschränken
  1. 1

    Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

    Autoren: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

    Schlagwörter: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    DEPS: a model- and property-based language for system synthesis problems.

    Autoren: Yvars, Pierre-Alain Zimmer, Laurent

    Quelle: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

    Schlagwörter: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Derivación deductiva de programas funcionales con patrones

    Autoren: Velázquez Iturbide, Ángel

    Thesis Advisors: Cerrada Somolinos, José Antonio

    Schlagwörter: Informática

    Zugangs-URL: http://hdl.handle.net/10803/453220

    View record in TDX
    Zu den Favoriten
  4. 4

    Authoring Human Simulators via Probabilistic Functional Reactive Program Synthesis.

    Autoren: Chung, Michael Jae-Yoon Cakmak, Maya

    Quelle: ACM/IEEE International Conference on Human-Robot Interaction; Mar2022, p727-730, 4p

    Schlagwörter: SOCIAL robots, HUMAN-robot interaction, ROBOTS, HUMAN beings

    Zu den Favoriten
  5. 5

    THE CONTRIBUTION OF TOMSK RESEARCH AND EDUCATIONAL PARK TO DEVELOPMENT OF RESEARCH ON CYBERNATICS IN THE 1950-1960s.

    Autoren: Sorokin, Alexander N.

    Quelle: International Multidisciplinary Scientific Conference on Social Sciences & Arts SGEM; 2014, p609-616, 8p

    Schlagwörter: CYBERNETICS research, TOMSK State University (Siberia, Russia), COMPUTER engineering, TECHNOLOGICAL innovations

    People: TARASENKO, F. P., MEDVEDEV, G. A., ZAKREVSKY, A. D., TARASENKO, V. P.

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

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

    Autoren: Edmund K Burke Matthew Hyde Graham Kendall et al.

    Weitere Verfasser: Edmund K Burke Matthew Hyde Graham Kendall et al.

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

    Schlagwörter: 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

    Dateibeschreibung: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

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

    Autoren: Edmund K. Burke Matthew Hyde Graham Kendall et al.

    Weitere Verfasser: Edmund K. Burke Matthew Hyde Graham Kendall et al.

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

    Schlagwörter: 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

    Dateibeschreibung: 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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Automatic Verilog Code Generation through Grammatical Evolution

    Autoren: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

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

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

    Dateibeschreibung: 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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

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

    Autoren: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Synthesis of fault-tolerant concurrent programs

    Autoren: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

    Autoren: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

    Quelle: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

    Schlagwörter: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    The quantum monadology.

    Autoren: Sati, Hisham Schreiber, Urs

    Quelle: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    The estimation of Hölderian regularity using genetic programming

    Autoren: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques et al.

    Weitere Verfasser: Trujillo, Leonardo Legrand, Pierrick Lévy Véhel, Jacques et al.

    Quelle: 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

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

    Geographisches Schlagwort: Portland Oregon, United States

    Verfügbarkeit: https://inria.hal.science/inria-00538943
    https://inria.hal.science/inria-00538943/document
    https://inria.hal.science/inria-00538943/file/t10fp182-trujillo.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Synthesis of Concurrent Systems with Many Similar Processes

    Autoren: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Graph structured program evolution with automatically defined nodes

    Autoren: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Shinichi Shirakawa Tomoharu Nagao The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: 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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Automated fixing of programs with contracts

    Autoren: Yi Wei Yu Pei Carlo A. Furia et al.

    Weitere Verfasser: Yi Wei Yu Pei Carlo A. Furia et al.

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

    Schlagwörter: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    On complete completion using types and weights

    Autoren: Tihomir Gvero Viktor Kuncak Ivan Kuraj et al.

    Weitere Verfasser: Tihomir Gvero Viktor Kuncak Ivan Kuraj et al.

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    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

    Autoren: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Thomas Helmuth Lee Spector The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    A Convolutional Neural Network-based Interaction Behavior Analysis and Creativity Evaluation System for Programming Games for 0-6 Years Old Children in Educational Big Data Environment.

    Autoren: Su, Yuanyuan Sun, Xianda

    Quelle: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127b, p6133-6151, 19p

    Schlagwörter: CONVOLUTIONAL neural networks, BEHAVIORAL assessment, BIG data, EARLY childhood education, HUMAN activity recognition, GAMES

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Typedirected completion of partial expressions

    Autoren: Daniel Perelman Sumit Gulwani Thomas Ball et al.

    Weitere Verfasser: Daniel Perelman Sumit Gulwani Thomas Ball et al.

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: 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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: