Výsledky vyhledávání - ((automatizacni OR automatically) OR automation) programming-program synthesis general terms*

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

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

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

Témata: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

MOGE: GP classification problem decomposition using multi-objective optimization

Autoři: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Andrew Mcintyre Malcolm Heywood The Pennsylvania State University CiteSeerX Archives

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

Témata: 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

Popis souboru: 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

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

Hammer for Coq: Automation for Dependent Type Theory.

Autoři: Czajka, Łukasz Kaliszyk, Cezary

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

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

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

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

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

ABSTRACTS from other ACM Publications.

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

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

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

Témata: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoři: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a další

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

Témata: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Autoři: Geriş, Ali

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

Témata: MOTIVATION (Psychology), IMMERSIVE design, USER-centered system design, UNIVERSAL design

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

Autoři: Mykhailov, Dmytro Liberati, Nicola

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

Témata: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

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.

Autoři: Wei-Chuan Wang

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

Témata: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

Autoři: Kosar, Tomaž Kovačević, Željko Mernik, Marjan a další

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

Témata: GENETIC code, UNDERGRADUATES, GRAMMAR

IDE augmented with human-learning inspired natural language programming.

Autoři: Young, Mitchell Nan, Zifan Shen, Xipeng

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

Témata: NATURAL language processing, SOURCE code, DATABASES, COMPUTER software, COMPUTER systems

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

Autoři: Zha, Zhiyong Yang, Yifei Xia, Yongjun a další

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

Témata: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

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://pag.csail.mit.edu/reading-group/mandelin05jungloids.pdf.

Témata: 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

Popis souboru: application/pdf

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

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

Abstract 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/~bodik/research/pldi05-prospector.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.128.783

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

J-Orchestra: Enhancing Java Programs with Distribution Capabilities

Autoři: Eli Tilevich The Pennsylvania State University CiteSeerX Archives

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

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

Témata: 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

Popis souboru: 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

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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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

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

Autoři: Nelishia Pillay The Pennsylvania State University CiteSeerX Archives

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

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

Témata: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis. General Terms, Algorithms, Experimentation, Theory. Keywords Genetic programming

Popis souboru: 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

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