Search Results - ((automatic OR automatizacia) OR automation) programming—program modification

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Authors: Hocaoğlu, Mehmet Fatih

Source: Simulation; Sep2025, Vol. 101 Issue 9, p951-979, 29p

Subject Terms: PETRI nets, LOGIC programming, SCHEDULING, SIMULATION methods & models, DISCRETE event simulation, MODULAR design

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

A systematic review of refactoring opportunities by software antipattern detection.

Authors: Kalhor, Somayeh Keyvanpour, Mohammad Reza Salajegheh, Afshin

Source: Automated Software Engineering; Nov2024, Vol. 31 Issue 2, p1-65, 65p

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

Authors: Swapan Basu

Resource Type: eBook.

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

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

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

General survey of design automation of digital computers.

Authors: Breuer, M.A.

Source: Proceedings of the IEEE; 1966, Vol. 54 Issue 12, p1708-1721, 14p

Tank-level robust control of LNG carrier based on hyperbolic tangent function nonlinear modification.

Authors: Li, Zongkuo Zhang, Xianku Huang, Junpeng

Source: Transportation Safety & Environment; Oct2024, Vol. 6 Issue 4, p1-7, 7p

Subject Terms: TANGENT function, LIQUEFIED natural gas, HYPERBOLIC functions, NONLINEAR functions, PID controllers, CONTAINER ships

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

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

Automatic code generation from unified modelling language sequence diagrams.

Authors: Kundu, Debasish Samanta, Debasis Mall, Rajib

Source: IET Software (Wiley-Blackwell); Feb2013, Vol. 7 Issue 1, p12-28, 17p

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Authors: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

The Evolution of Programs: Automatic Program Modification.

Authors: Dershowitz, Nachum Manna, Zohar

Source: IEEE Transactions on Software Engineering; Nov77, Vol. 3 Issue 6, p377-386, 10p, 2 Color Photographs

Subject Terms: AUTOMATIC programming (Computer science), COMPUTER software, COMPUTER files, COMPUTER programming, MATHEMATICAL programming, ELECTRONIC data processing

Development of the ECAT Preprocessor with the Trust Communication Approach.

Authors: Ovaz Akpinar, Kevser Ozcelik, Ibrahim

Source: Security & Communication Networks; 4/18/2018, p1-16, 16p

Subject Terms: COMPUTER network protocols, AUTOMATIC control systems, INTERNET protocols, COMPUTER security, DATA security

Controlling Draft Interactions Between Quadcopter Unmanned Aerial Vehicles with Physics-aware Modeling.

Authors: Matei, Ion Zeng, Chen Chowdhury, Souma et al.

Source: Journal of Intelligent & Robotic Systems; 2021, Vol. 101 Issue 1, p1-21, 21p

Migrating protocols in multi-threaded message-passing systems

Authors: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Contributors: Austin Anderson Julian Rathke The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Tech- niques, Automatic Programming- program modification, pro- gram transformation, D.1.3 [Programming Techniques, Concur- rent Programming- multi-threaded programming, D.2.7 [Soft- ware Engineering, Distribution, Maintenance, and Enhancement, D.3.1 [Programming Languages, Formal Definitions and Theory General Terms Languages, Typing Keywords Dynamic Software Update, Multi-Party Session Types, Distributed-Protocols

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972; http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.558.9972
http://www.cs.cmu.edu/~tdumitra/hotswup09/papers/hotswup09_submission_2.pdf

Fatal Software Failures in Spaceflight.

Authors: Prause, Christian R. Gerlich, Ralf Gerlich, Rainer

Source: Encyclopedia; Jun2024, Vol. 4 Issue 2, p936-965, 30p

Subject Terms: SOFTWARE failures, SPACE flight, SPACE exploration, SOFTWARE engineering, MODERN society

Embracing the Algol Effort in Czechoslovakia.

Authors: Durnova, Helena

Source: IEEE Annals of the History of Computing; Oct2014, Vol. 36 Issue 4, p26-37, 12p

Subject Terms: ALGOL (Computer program language), TECHNOLOGICAL innovations, COMPUTER programming, COMPUTER engineering, PROGRAMMING languages, INFORMATION processing, CZECHOSLOVAKIAN history, 1945-1992, TWENTIETH century, HISTORY

Geographic Terms: CZECHOSLOVAKIA

People: SVOBODA, Antonin

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)

Recent Technological Advancements in BIM and LCA Integration for Sustainable Construction: A Review.

Authors: Chen, Zhonghao Chen, Lin Zhou, Xingyang et al.

Source: Sustainability (2071-1050); Feb2024, Vol. 16 Issue 3, p1340, 30p

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

Authors: Verma, Vikas Jain, Manish

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

Subject Terms: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel