Search Results - automation programming—program transformation general terms design~

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

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

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

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

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

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

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

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

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

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

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

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

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Authors: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

Subject Terms: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

Design Maintenance Systems.

Authors: Baxter, Ira D.

Source: Communications of the ACM; Apr92, Vol. 35 Issue 4, p73-89, 17p

Subject Terms: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

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

Authors: Yvars, Pierre-Alain Zimmer, Laurent

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

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

A Variability-Aware Robust Design Methodology for Integrated Circuits by Geometric Programming.

Authors: Zhang, Yi Zhou, Junlong Chen, Li et al.

Source: Journal of Circuits, Systems & Computers; May2019, Vol. 28 Issue 5, pN.PAG-N.PAG, 19p

Subject Terms: ROBUST control, GEOMETRIC programming, INTEGRATED circuit design, ROBUST optimization, INTEGRATED circuits, GEOMETRIC modeling

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

Authors: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei et al.

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

Subject Terms: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

A generative design approach for modular construction in congested urban areas.

Authors: Wei, Yuxi Choi, Hyungjoo Lei, Zhen

Source: Smart & Sustainable Built Environment; 2022, Vol. 11 Issue 4, p1163-1181, 19p

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

Authors: An Thi Hoai Thu Anh Tran Hung Cuong

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

Subject Terms: RENEWABLE energy sources, SOLAR power plants, SOLAR energy, COST functions, PHOTOVOLTAIC power systems

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

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

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

Subject Terms: AUTOMATED planning & scheduling, ARTIFICIAL intelligence, LANGUAGE planning, MATHEMATICAL optimization, DAIRY products

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

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

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

Authors: Verma, Vikas Jain, Manish

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

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

The MetaCoq Project.

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

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

Subject Terms: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geographic Terms: PARIS (France)

ABSTRACTS from other ACM Publications.

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

Subject Terms: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

Authors: Mykhailov, Dmytro Liberati, Nicola

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

Subject Terms: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

ABSTRACTS from other ACM Publications.

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

Subject Terms: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

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

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

Hammer for Coq: Automation for Dependent Type Theory.

Authors: Czajka, Łukasz Kaliszyk, Cezary

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