Suchergebnisse - (automatic OR automatische) programming—program transformation general terms algorithms

Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Programs

Autoren: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: J. Guadalupe Ramos The Pennsylvania State University CiteSeerX Archives

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

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

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

Verfügbarkeit: 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.

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)

Logic program proportions.

Autoren: Antić, Christian

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

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

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

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

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

ABSTRACTS from other ACM Publications.

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

Schlagwörter: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

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

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

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

Autoren: Du, Jianghui

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

Schlagwörter: DIAGENESIS, AUTOMATIC differentiation, ISOTOPES, STABLE isotopes, DIFFERENTIAL equations, TRACE elements

Geografische Kategorien: PLOVDIV (Bulgaria)

Today's TBB

Autoren: Michael J. Voss James R. Reinders

Resource Type: eBook.

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

ABSTRACTS from other ACM Publications.

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

Schlagwörter: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

ABSTRACTS from other ACM Publications.

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

Schlagwörter: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

An Interview with Edsger W. Dijkstra.

Autoren: Misa, Thomas J.

Quelle: Communications of the ACM; Aug2010, Vol. 53 Issue 8, p41-47, 7p, 1 Black and White Photograph

Schlagwörter: COMPUTER programmers, COMPUTER programming education, MULTILINGUALISM

People: DIJKSTRA, Edsger Wybe

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

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

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

Schlagwörter: 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.

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

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

Autoren: Verma, Vikas Jain, Manish

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

Schlagwörter: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

A two-level vertex-searching global algorithm framework for bilevel linear fractional programming problems.

Autoren: Chen, Hui-Ju

Quelle: Systems Science & Control Engineering; Dec2020, Vol. 8 Issue 1, p488-499, 12p

Schlagwörter: ALGORITHMS, LINEAR programming, FRACTIONAL programming, BILEVEL programming, NONCONVEX programming, GLOBAL optimization