Výsledky vyhledávání - Automatic Programming—Program transformation General Terms Design

Core role-based access control: Efficient implementations by transformations

Autoři: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

Přispěvatelé: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

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

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

Popis souboru: application/pdf

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

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

Autoři: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

Přispěvatelé: Ulrik P. Schultz Julia L. Lawall Charles Consel a další

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

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

Popis souboru: application/pdf

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

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

From Datalog rules to efficient programs with time and space guarantees

Autoři: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Yanhong A. Liu Scott D. Stoller The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf.

Témata: and logic languages, D.3.4 [Programming Languages, Processors—code generation, optimization, E.1 [Data, Data Structures—arrays, lists, queues, records, E.2 [Data, Data Storage Representations—linked representations, F.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—computations on discrete structures, H.2.3 [Information Systems, Database Management—query languages, H.2.4 [Information Systems, Systems—query processing, rule-based databases, I.2.2 [Artificial Intelligence, Automatic Programming—program transformation General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Complexity analysis, Datalog, data structure design, incremental computation, indexing, indexed representations, linked representations

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.8989
http://ftp.cs.sunysb.edu/pub/liu/Rules-TOPLAS09.pdf

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

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

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)

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

Design Maintenance Systems.

Autoři: Baxter, Ira D.

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

Témata: SOFTWARE engineering, COMPUTER software development, COMPUTER systems, SYSTEMS design, SYSTEMS development, COMPUTER software

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

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

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)

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

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

The MetaCoq Project.

Autoři: Sozeau, Matthieu Anand, Abhishek Boulier, Simon a další

Zdroj: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Témata: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografický termín: PARIS (France)

ABSTRACTS from other ACM Publications.

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

Témata: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)

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

Learning programs by learning from failures.

Autoři: Cropper, Andrew Morel, Rolf

Zdroj: Machine Learning; Apr2021, Vol. 110 Issue 4, p801-856, 56p

Témata: INDUCTION (Logic), LOGIC programming

Development in sprinkler irrigation technology in China^*.

Autoři: Yan, Haijun Hui, Xin Li, Maona a další

Zdroj: Irrigation & Drainage; Nov2020 Supplement S2, Vol. 69 Issue 2, p75-87, 13p

Témata: SPRINKLER irrigation, IRRIGATION equipment, PRECISION farming, SUSTAINABLE development, SYSTEMS design, TECHNOLOGY

Geografický termín: CHINA

Korporace: JOHN Wiley & Sons Inc.

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