Search Results - (automatizacia OR automatically) programming—program transformation general terms algorithms*

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)

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

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

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

Authors: Arie Gurfinkel Marijn Heule

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

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

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

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

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

Subject Terms: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

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)

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

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

Today's TBB

Authors: Michael J. Voss James R. Reinders

Resource Type: eBook.

Subjects: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

A Theory of Slicing for Imperative Probabilistic Programs.

Authors: AMTOFT, TORBEN BANERJEE, ANINDYA

Source: ACM Transactions on Programming Languages & Systems; Apr2020, Vol. 42 Issue 2, p1-71, 71p

Subject Terms: ALGORITHMS, SEMANTICS, EVIDENCE, PROBABILITY theory, PROOF theory

AUTOMAT[R]IX: learning simple matrix pipelines.

Authors: Contreras-Ochando, Lidia Ferri, Cèsar Hernández-Orallo, José

Source: Machine Learning; Apr2021, Vol. 110 Issue 4, p779-799, 21p

Subject Terms: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

Refactoring Using Type Constraints.

Authors: Tip, Frank Fuhrer, Robert M. Kieźun, Adam et al.

Source: ACM Transactions on Programming Languages & Systems; Apr2011, Vol. 33 Issue 3, p9:1-9:47, 47p

Subject Terms: SOFTWARE refactoring, CONSTRAINT satisfaction, PROGRAM transformation, ALGORITHMS, COMPUTER software development, COMPUTER programming, PROGRAMMING languages, SOURCE code, SOFTWARE engineering

Equivalent Transformations of Heterogeneous Meta-Programs.

Authors: Štuikys, Vytautas Damaševičius, Robertas

Source: Informatica; 2013, Vol. 24 Issue 2, p315-337, 23p

Subject Terms: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

Introduction to deep learning: minimum essence required to launch a research.

Authors: Wataya, Tomohiro Nakanishi, Katsuyuki Suzuki, Yuki et al.

Source: Japanese Journal of Radiology; Oct2020, Vol. 38 Issue 10, p907-921, 15p

Multi-Scale Information Collaborative Management Method in Hierarchical Construction Projects Based on Building Information Modeling.

Authors: Zhao, Xuefeng Yan, Wenkai Xia, Yu et al.

Source: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 24, p12053, 29p

Subject Terms: BUILDING information modeling, INFORMATION resources management, CONSTRUCTION projects, DATA management, INFORMATION modeling, CONSTRUCTION project management

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

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Authors: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Subjects: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

A Program Testing Assistant.

Authors: Chapman, David

Source: Communications of the ACM; Sep82, Vol. 25 Issue 9, p625-634, 10p

Subject Terms: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

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

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