Výsledky vyhledávání - ((automatic OR automatizace) OR automation) programming—program synthesis general terms performance

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)

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

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

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

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

A review of horse welfare literature from 1980 to 2023 with a text mining and topic analysis approach.

Autoři: Benedetti, Beatrice Felici, Martina Nanni Costa, Leonardo a další

Zdroj: Italian Journal of Animal Science. Dec2023, Vol. 22 Issue 1, p1095-1109. 15p.

Témata: Text mining, Horses, Animal welfare, Pets, Pain measurement, Horse breeds

Geografický termín: Europe

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

A Behavior-based Analysis of Modal Problems

Autoři: Leonardo Trujillo Enrique Naredo Yuliana Martínez a další

Přispěvatelé: Leonardo Trujillo Enrique Naredo Yuliana Martínez a další

Zdroj: http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo-Spector.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming—program synthesis General Terms Performance, Experimentation, Theory Keywords Genetic Programming, Modal Problems, Behaviors, Novelty Search, Semantics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.5266
http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo-Spector.pdf

Searching for Novel Clustering Programs

Autoři: Enrique Naredo Leonardo Trujillo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Enrique Naredo Leonardo Trujillo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Performance, Theory, Experimentation Keywords Novelty Search, Genetic Programming, Clustering

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.5063
http://eplex.cs.ucf.edu/noveltysearch/userspage/GECCO-2013-Trujillo.pdf

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

Autoři: Edmund K Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K Burke Matthew Hyde Graham Kendall a další

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

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

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

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

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

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

Autoři: Edmund K. Burke Matthew Hyde Graham Kendall a další

Přispěvatelé: Edmund K. Burke Matthew Hyde Graham Kendall a další

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

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

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

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

Synthesis of fault-tolerant concurrent programs

Autoři: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul C. Attie E. Allen Emerson The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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

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

Evolving reusable3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://delivery.acm.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.8536
https://doi.org/10.1145/1580000/1570029/p931-allen.pdf?CFID%3D285174109%26CFTOKEN%3D69161341%26__acm__%3D1362002094_4ececb65726396e67a0d4df6ada875cc%26acc%3DACTIVE+SERVICE%26ip%3D130.203.136.92

Evolving reusable 3D packing heuristics with genetic programming

Autoři: Sam Allen Edmund K. Burke Matthew Hyde a další

Přispěvatelé: Sam Allen Edmund K. Burke Matthew Hyde a další

Zdroj: http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— program synthesis General Terms Design, Performance, Reliability Keywords Knapsack Packing, GP, Hyper-Heuristics, Heuristics

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.3801
http://www.cs.nott.ac.uk/%7Eekb/Publications/Gecco-09-3D.pdf

The reliability of confidence intervals for computational effort comparisons

Autoři: Matthew Walker Howard Edwards Chris Messom a další

Přispěvatelé: Matthew Walker Howard Edwards Chris Messom a další

Zdroj: http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program synthesis General Terms Experimentation, Measurement, Performance Keywords Genetic Programming, Computational Effort, Confidence Intervals, Wilson’s Method

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706; http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.4706
http://www.massey.ac.nz/~chmessom/Gecco2007paper2.pdf

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

Advanced Techniques for the Creation and Propagation of Modules

Autoři: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Paul Kaufmann Marco Platzner The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf.

Témata: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming— Program Synthesis General Terms Algorithms, Design, Experimentation, Performance Keywords Cartesian genetic programming (CGP, embedded cartesian

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.6377
http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Platzner/publications/kaufmann08_gecco/gecco08kaufmann.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)