Suchergebnisse - automation programming—program transformation general terms algorithms

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

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

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

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

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

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)

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

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

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

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

Research on Some Control Algorithms to Compensate for the Negative Effects of Model Uncertainty Parameters, External Interference, and Wheeled Slip for Mobile Robot.

Autoren: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi et al.

Quelle: Actuators; Jan2024, Vol. 13 Issue 1, p31, 31p

Schlagwörter: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

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

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

ABSTRACTS from other ACM Publications.

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

Schlagwörter: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

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

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

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 II

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

ABSTRACTS from other ACM Publications.

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

Schlagwörter: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Autoren: LIU, YANHONG A. STOLLER, SCOTT D.

Quelle: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Schlagwörter: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity