Suchergebnisse - ((automatische OR avtomatizacija) OR automation) programming—program transformation general terms

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

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

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

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

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)

Optimizing switching states using a current predictive control algorithm for multilevel cascaded H-bridge converters in solar photovoltaic integration into power grids.

Autoren: An Thi Hoai Thu Anh Tran Hung Cuong

Quelle: International Journal of Electrical & Computer Engineering (2088-8708); Jun2025, Vol. 15 Issue 3, p2726-2734, 9p

Schlagwörter: RENEWABLE energy sources, SOLAR power plants, SOLAR energy, COST functions, PHOTOVOLTAIC power systems

Simultaneous optimal system and controller design for multibody systems with joint friction using direct sensitivities.

Autoren: Verulkar, Adwait Sandu, Corina Sandu, Adrian et al.

Quelle: Multibody System Dynamics; May2025, Vol. 64 Issue 1, p1-31, 31p

Comparing an Artificial Intelligence Planner with Traditional Optimization Methods: A Case Study in the Dairy Industry.

Autoren: Müller, Felipe Martins Schneider, Vanessa Andréia de Araujo, Olinto Cesar Bassi et al.

Quelle: Algorithms; Apr2025, Vol. 18 Issue 4, p219, 31p

Schlagwörter: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Autoren: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Quelle: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Schlagwörter: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Autoren: Verma, Vikas Jain, Manish

Quelle: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Schlagwörter: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

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

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

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

Daily Program.

Quelle: American Journal of Health-System Pharmacy; 10/15/2023, Vol. 80 Issue 20, p1411-1500, 90p

Schlagwörter: PROFESSIONAL employee training, PHARMACOLOGY, INFORMATION resources

Geografische Kategorien: UNITED States

Building Information Modeling and Geographic Information System: Integrated Framework in Support of Facility Management (FM).

Autoren: Congiu, Eleonora Quaquero, Emanuela Rubiu, Giulia et al.

Quelle: Buildings (2075-5309); Mar2024, Vol. 14 Issue 3, p610, 31p

Schlagwörter: BUILDING information modeling, GEOGRAPHIC information systems, FACILITY management, REAL estate management, INFORMATION sharing, CHILDREN'S hospitals, PUBLIC buildings, GATES

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Autoren: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Quelle: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Autoren: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide et al.

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer science, Machine theory, Algorithms, Computer science—Mathematics, Discrete mathematics

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

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

Compiling Real Time Functional Reactive Programming

Autoren: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Dana N. Xu Siau-cheng Khoo The Pennsylvania State University CiteSeerX Archives

Quelle: http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors – optimization, I.2.2 [Artificial Intelligence, Automatic Programming – Program transformation. General Terms Algorithm, Performance, Languages Keywords Reactive System, Partial Evaluation, Tupling

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563; http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.4563
http://gallium.inria.fr/~naxu/research/CompileRTFRP.pdf

The MetaCoq Project.

Autoren: Sozeau, Matthieu Anand, Abhishek Boulier, Simon et al.

Quelle: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Schlagwörter: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografische Kategorien: PARIS (France)

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Autoren: Verma, Vikas Jain, Manish

Quelle: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Schlagwörter: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel