Suchergebnisse - ((automatizacni OR automatically) OR automation) programming-program synthesis general terms

Treffer weiter einschränken
  1. 1

    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
  2. 2

    Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

    Autoren: Wei-Chuan Wang

    Quelle: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

    Schlagwörter: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

    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
  4. 4

    MOGE: GP classification problem decomposition using multi-objective optimization

    Autoren: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf.

    Schlagwörter: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms Algorithms, Performance, Design, Experimentation. Keywords Genetic Programming, Multi-objective Classification

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631; http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.8631
    http://www.cs.york.ac.uk/rts/docs/GECCO_2006/docs/p863.pdf

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

    Hammer for Coq: Automation for Dependent Type Theory.

    Autoren: Czajka, Łukasz Kaliszyk, Cezary

    Quelle: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

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

    Analysis and Transformation of Constrained Horn Clauses for Program Verification.

    Autoren: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

    Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

    Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

    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
  8. 8

    Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

    Autoren: Bernd Finkbeiner Laura Kovács

    Resource Type: eBook.

    Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

    Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  9. 9

    ABSTRACTS from other ACM Publications.

    Quelle: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

    Schlagwörter: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

    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
  11. 11

    Behavioral Traces and Player Typologies in Gamified VR: Insights for Adaptive and Inclusive Design.

    Autoren: Geriş, Ali

    Quelle: Systems; Sep2025, Vol. 13 Issue 9, p739, 23p

    Schlagwörter: MOTIVATION (Psychology), IMMERSIVE design, USER-centered system design, UNIVERSAL design

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

    A Study of Technological Intentionality in C++ and Generative Adversarial Model: Phenomenological and Postphenomenological Perspectives.

    Autoren: Mykhailov, Dmytro Liberati, Nicola

    Quelle: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p

    Schlagwörter: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

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

    The Impact of Code Bloat on Genetic Program Comprehension: Replication of a Controlled Experiment on Semantic Inference.

    Autoren: Kosar, Tomaž Kovačević, Željko Mernik, Marjan et al.

    Quelle: Mathematics (2227-7390); Sep2023, Vol. 11 Issue 17, p3744, 20p

    Schlagwörter: GENETIC code, UNDERGRADUATES, GRAMMAR

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

    IDE augmented with human-learning inspired natural language programming.

    Autoren: Young, Mitchell Nan, Zifan Shen, Xipeng

    Quelle: ICSE: International Conference on Software Engineering; 2022, p110-114, 5p

    Schlagwörter: NATURAL language processing, SOURCE code, DATABASES, COMPUTER software, COMPUTER systems

    Zu den Favoriten
  15. 15

    Energy-Efficient Joint Partitioning and Offloading for Delay-Sensitive CNN Inference in Edge Computing.

    Autoren: Zha, Zhiyong Yang, Yifei Xia, Yongjun et al.

    Quelle: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p

    Schlagwörter: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

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

    Jungloid Mining: Helping To Navigate the API Jungle

    Autoren: David Mandelin Lin Xu Rastislav Bodík et al.

    Weitere Verfasser: David Mandelin Lin Xu Rastislav Bodík et al.

    Quelle: http://pag.csail.mit.edu/reading-group/mandelin05jungloids.pdf.

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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.8442
    http://pag.csail.mit.edu/reading-group/mandelin05jungloids.pdf

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

    Abstract Jungloid Mining: Helping to Navigate the API Jungle ∗

    Autoren: David Mandelin Lin Xu Rastislav Bodík et al.

    Weitere Verfasser: David Mandelin Lin Xu Rastislav Bodík et al.

    Quelle: http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf.

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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.783
    http://www.cs.berkeley.edu/~bodik/research/pldi05-prospector.pdf

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

    J-Orchestra: Enhancing Java Programs with Distribution Capabilities

    Autoren: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.2.3 [Software Engineering, Coding Tools and Techniques—Object-oriented programming, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement—Enhancement, D.1.2 [Programming Techniques, Automatic Programming—Program transformation, Automatic Programming—Program synthesis General Terms, Experimentation, Languages Additional Key Words and Phrases, Separation of concerns, Distributed Computing, Java, Middleware, RMI, Bytecode engineering

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166; http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.4166
    http://www.cs.vt.edu/~tilevich/papers/jorchestra.pdf

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

    Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III

    Autoren: Arie Gurfinkel Marijn Heule

    Resource Type: eBook.

    Schlagworte: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

    Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  20. 20

    An Investigation into Using Genetic Programming as a Means of Inducing Solutions to Novice Procedural Programming Problems

    Autoren: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf.

    Schlagwörter: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.152.7997
    http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1781.pdf

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

Suchwerkzeuge: