Suchergebnisse - (((automatic OR automatizace) OR automatización) OR automation) programming—program transformation

Modeling and system analysis of applied mathematics and programming problems.

Autoren: Khodiyev, Shukhrat Nazirova, Dilorom

Quelle: AIP Conference Proceedings; 2025, Vol. 3356 Issue 1, p1-12, 12p

Schlagwörter: APPLIED mathematics, SYSTEMS theory, TEMPERATURE distribution, UNIVERSITY research, COMPUTER simulation, MATHEMATICAL programming, PROGRAM transformation, AUTOMATION

Plant Intelligent Automation and Digital Transformation : Volume I: Process and Factory Automation

Autoren: Swapan Basu

Resource Type: eBook.

Schlagworte: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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)

Derivación deductiva de programas funcionales con patrones

Autoren: Velázquez Iturbide, Ángel

Thesis Advisors: Cerrada Somolinos, José Antonio

Schlagwörter: Informática

Zugangs-URL: http://hdl.handle.net/10803/453220

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

Automation of water circulation regulation and nutritional administration in catfish cultivation ponds with Bioflocculation technology.

Autoren: Ashari, Irvan Yudhana, Anton

Quelle: Signal & Image Processing Letters; 2023, Vol. 5 Issue 1, p19-30, 12p

Schlagwörter: CATFISHES, WATER quality, WATER use, STANDARD deviations, AUTOMATION, PUMPING machinery

Geografische Kategorien: INDONESIA

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

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

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

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

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Autoren: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

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

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

Design Maintenance Systems.

Autoren: Baxter, Ira D.

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

Schlagwörter: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

A Convolutional Neural Network-based Interaction Behavior Analysis and Creativity Evaluation System for Programming Games for 0-6 Years Old Children in Educational Big Data Environment.

Autoren: Su, Yuanyuan Sun, Xianda

Quelle: Journal of Combinatorial Mathematics & Combinatorial Computing; Dec2025, Vol. 127b, p6133-6151, 19p

Schlagwörter: CONVOLUTIONAL neural networks, BEHAVIORAL assessment, BIG data, EARLY childhood education, HUMAN activity recognition, GAMES

Analysis of Vehicle-Induced Vibration Response and Impact Coefficient for Composite Truss Bridge with Partially Concrete-Filled Rectangular Steel Tube Members.

Autoren: Liu, Shizhong Zhang, Ruiyin Ge, Jialin et al.

Quelle: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p

Schlagwörter: TRUSS bridges, CONCRETE-filled tubes, ANSYS (Computer system), BRIDGE design & construction, DYNAMIC stiffness, FATIGUE limit, AUTOMOBILE vibration

Implementing fault-tolerance in real-time systems by program transformations

Autoren: Tolga Ayav Pascal Fradet Alain Girault et al.

Weitere Verfasser: Tolga Ayav Pascal Fradet Alain Girault et al.

Quelle: http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf.

Schlagwörter: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916
http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf

Comprehensive Performance Evaluation of an Unmanned Excavator Based on Signal Stability Extraction.

Autoren: Zhang, Binrui Ye, Min Lian, Gaoqi et al.

Quelle: Machines; Mar2024, Vol. 12 Issue 3, p173, 19p

Schlagwörter: EXCAVATING machinery, ANALYTIC hierarchy process, FEATURE extraction, CONSTRUCTION equipment, IMAGE analysis, FUZZY numbers

Core role-based access control: Efficient implementations by transformations

Autoren: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

Weitere Verfasser: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

Quelle: http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf.

Schlagwörter: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341
http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf

Automatic Program Specialization for Java

Autoren: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

Weitere Verfasser: Ulrik P. Schultz Julia L. Lawall Charles Consel et al.

Quelle: http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz.

Schlagwörter: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Optimization, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms, Design, Experimentation Additional Key Words and Phrases, Automatic program specialization, object-oriented languages, partial evaluation, Java, optimization

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.1203
http://www.cs.ucsb.edu/~ckrintz/papers/schultz-specialization.pdf.gz