Suchergebnisse - "Program Synthesis Keywords Program Synthesis"

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1

    Synthesizing data structure manipulations from storyboards

    Autoren: Rishabh Singh Armando Solar-lezama The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Rishabh Singh Armando Solar-lezama The Pennsylvania State University CiteSeerX Archives

    Quelle: http://people.csail.mit.edu/rishabh/papers/storyboardFSE11.pdf.

    Schlagwörter: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, I.2.2 [Artificial Intelligence, Program Synthesis Keywords Program Synthesis, Storyboard Programming, Data struc- ture

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.1550; http://people.csail.mit.edu/rishabh/papers/storyboardFSE11.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.1550
    http://people.csail.mit.edu/rishabh/papers/storyboardFSE11.pdf

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

    Review and Mapping of Search-Based Approaches for Program Synthesis.

    Autoren: Saber, Takfarinas Tao, Ning

    Quelle: Information; May2025, Vol. 16 Issue 5, p401, 28p

    Schlagwörter: SOFTWARE development tools, SEARCH algorithms, COMMUNITY-based programs, HEURISTIC programming, METAHEURISTIC algorithms

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

    Synthesizing Framework Models for Symbolic Execution.

    Autoren: Jinseong Jeon Xiaokang Qiuy Fetter-Degges, Jonathan et al.

    Quelle: ICSE: International Conference on Software Engineering; 5/14/2016, p156-167, 12p

    Schlagwörter: COMPUTER software, APPLICATION program interfaces, JAVA programming language, SOFTWARE frameworks, STANDARDS

    Reviews & Products: ANDROID (Operating system)

    Zu den Favoriten
  4. 4

    Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

    Autoren: Brigitte Pientka Cesare Tinelli

    Resource Type: eBook.

    Schlagworte: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

    Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  5. 5

    Computational Intelligence in Machine Learning : Select Proceedings of ICCIML 2021

    Autoren: Amit Kumar Jacek M. Zurada Vinit Kumar Gunjan et al.

    Resource Type: eBook.

    Schlagworte: Computational intelligence, Machine learning, Artificial intelligence—Data processing, Artificial intelligence

    Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, MATHEMATICS / Probability & Statistics / General, TECHNOLOGY & ENGINEERING / Engineering (General)

    Zu den Favoriten
  6. 6

    Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

    Autoren: Tim Menzies Justyna Petke

    Resource Type: eBook.

    Schlagworte: Software engineering, Operating systems (Computers), Compilers (Computer programs), Artificial intelligence, Algorithms, Logic design

    Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Logic Design, COMPUTERS / Operating Systems / General, COMPUTERS / Programming / Algorithms

    Zu den Favoriten

Suchwerkzeuge: