Výsledky vyhledávání - (automatic OR automatically) programming—program transformation general terms algorithms

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Autoři: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf.

Témata: evaluation, program analysis, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms algorithms, performance, theory Keywords narrowing, quasi-termination, offline partial evaluation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892; http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.4892
http://www.dsic.upv.es/users/elp/german/icfp05/paper.pdf

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

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

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

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

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

Autoři: Verulkar, Adwait Sandu, Corina Sandu, Adrian a další

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

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autoři: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a další

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

Témata: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

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

Témata: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Logic program proportions.

Autoři: Antić, Christian

Zdroj: Annals of Mathematics & Artificial Intelligence; Apr2025, Vol. 93 Issue 2, p321-342, 22p

SedTrace 1.0: a Julia-based framework for generating and running reactive-transport models of marine sediment diagenesis specializing in trace elements and isotopes.

Autoři: Du, Jianghui

Zdroj: Geoscientific Model Development; 2023, Vol. 16 Issue 20, p5865-5894, 30p

Témata: DIAGENESIS, AUTOMATIC differentiation, ISOTOPES, STABLE isotopes, DIFFERENTIAL equations, TRACE elements

Geografický termín: PLOVDIV (Bulgaria)

ABSTRACTS from other ACM Publications.

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

Témata: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

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

Autoři: Liu, Shizhong Zhang, Ruiyin Ge, Jialin a další

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

Témata: TRUSS bridges, CONCRETE-filled tubes, ANSYS (Computer system), BRIDGE design & construction, DYNAMIC stiffness, FATIGUE limit, AUTOMOBILE vibration

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

Autoři: Zhao, Xuefeng Yan, Wenkai Xia, Yu a další

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

Témata: 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.

Autoři: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

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

Témata: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

A Program Testing Assistant.

Autoři: Chapman, David

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

Témata: COMPUTER software testing, COMPUTER programming, DEBUGGING, COMPUTER science, INFORMATION technology, ALGORITHMS

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

Autoři: Verma, Vikas Jain, Manish

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

Témata: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

ABSTRACTS from other ACM Publications.

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

Témata: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

Autoři: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi a další

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

Témata: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

Building Information Modeling and Geographic Information System: Integrated Framework in Support of Facility Management (FM).

Autoři: Congiu, Eleonora Quaquero, Emanuela Rubiu, Giulia a další

Zdroj: Buildings (2075-5309); Mar2024, Vol. 14 Issue 3, p610, 31p

Témata: BUILDING information modeling, GEOGRAPHIC information systems, FACILITY management, REAL estate management, INFORMATION sharing, CHILDREN'S hospitals, PUBLIC buildings, GATES

AUTOMAT[R]IX: learning simple matrix pipelines.

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

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

Témata: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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

How open innovation specialists contribute to corporate sustainability and responsibility: A latent Dirichlet allocation approach.

Autoři: Culasso, Francesca Giacosa, Elisa Giordino, Daniele a další

Zdroj: Business Ethics, the Environment & Responsibility; Jan2025, Vol. 34 Issue 1, p174-188, 15p

Témata: SOCIAL responsibility of business, OPEN innovation, SUSTAINABLE development, JOB vacancies, CORPORATE sustainability, ARCHETYPES