Search Results - Automatic Programming—program modification

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

Kleene Algebra with Tests

Authors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Contributors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Subject Terms: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

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

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

Substructural logic and partial correctness

Authors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Contributors: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.cornell.edu/~kozen/papers/slapc.pdf.

Subject Terms: Manipulation, Languages and Systems—special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming—program modification, program synthesis, program transformation, program verification General Terms, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390; http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3390
http://www.cs.cornell.edu/~kozen/papers/slapc.pdf

Simulation of a Self-adaptive Run-time Environment with Hardware and Software Components

Authors: Onur Derin Alberto Ferrante The Pennsylvania State University CiteSeerX Archives

Contributors: Onur Derin Alberto Ferrante The Pennsylvania State University CiteSeerX Archives

Source: http://people.alari.ch/derino/Research/publications/20090825-DeFe-SINTER.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Program- ming, D.3.4 [Programming Languages, Processors— run-time environments, I.2.2 [Artificial Intelligence, Au- tomatic Programming—program modification General Terms Experimentation, Performance, Reliability, Theory Keywords Component-based design, HW/SW co-design, Self-adaptive systems, Simulation

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.5154
http://people.alari.ch/derino/Research/publications/20090825-DeFe-SINTER.pdf

E.: Overcoming JVM HotSwap constraints via binary rewriting

Authors: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Contributors: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.1887; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.1887
http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Overcoming JVM HotSwap Constraints via Binary Rewriting

Authors: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Contributors: Dong Kwan Kim Eli Tilevich The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf.

Subject Terms: Categories and Subject Descriptors D.1.2 [Programming Techniques, Automatic Programming—program modification, program transformation, D.2.3 [Software Engineering, Coding Tools and Techniques—object-oriented programming General Terms Languages, Experimentation Keywords HotSwap, Binary Refactoring, Virtual Superclass, JVM Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902; http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.4902
http://www.cs.vt.edu/~tilevich/papers/HotSWUp08.pdf

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

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

Using LSTM to Identify Help Needs in Primary School Scratch Students.

Authors: Imbernón Cuadrado, Luis Eduardo Manjarrés Riesco, Ángeles de la Paz López, Félix

Source: Applied Sciences (2076-3417); Dec2023, Vol. 13 Issue 23, p12869, 22p

Subject Terms: SCHOOL children, ACCOUNTING ethics, SEX discrimination, ARTIFICIAL intelligence, PROGRAMMING languages

Adaptive Deep Learning Model for Software Bug Detection and Classification.

Authors: Sivapurnima, S. Manjula, D.

Source: Computer Systems Science & Engineering; 2023, Vol. 45 Issue 2, p1234-1248, 16p

Subject Terms: DEEP learning, WEB bugs (Website tracking devices), COMPUTER software, ACCURACY, CONDITIONAL random fields

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

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

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

ABSTRACT Tuple-Space Mapper: Design, Challenges and Goals

Authors: Joseph A. Cottam The Pennsylvania State University CiteSeerX Archives

Contributors: Joseph A. Cottam The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.indiana.edu/l/www/ftp/techreports/TR648.pdf.

Subject Terms: Visualization, Domain Specific Language, Declarative Language, Generative Programming. Index Terms, I.3.4 [Computer Graphics, Graphics Utilities— Software support I.2.2 [Computing Methodologies, Automatic Programming—Program synthesis D.3.2 [Programming Languages

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.2792; http://www.cs.indiana.edu/l/www/ftp/techreports/TR648.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.2792
http://www.cs.indiana.edu/l/www/ftp/techreports/TR648.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

European Journal of Preventive Cardiology.

Source: European Journal of Preventive Cardiology; 2024 Supplement, Vol. 31, preceding pi2-i673, 674p

Revolutionizing waste-to-energy: harnessing the power of triboelectric nanogenerators.

Authors: Kumar, Khanapuram Uday Hajra, Sugato Mohana Rani, Gokana et al.

Source: Advanced Composites & Hybrid Materials; Jun2024, Vol. 7 Issue 3, p1-42, 42p

Towards automated modification of legacy assets.

Authors: Verhoef, C.

Source: Annals of Software Engineering; May2000, Vol. 9 Issue 1-4, p315-336, 22p