A Graph Transformation System formalism for correctness of Transactional Memory algorithms

Mapping Intimacies ◽

10.1145/3475061.3475080 ◽

2021 ◽

Author(s):

Diogo Cardoso ◽

Luciana Foss ◽

Andre Du Bois

Keyword(s):

Transactional Memory ◽

Graph Transformation ◽

Transformation System

Download Full-text

A Graph Transformation System formalism for Software Transactional Memory Opacity

Proceedings of the XXIII Brazilian Symposium on Programming Languages - SBLP 2019 ◽

10.1145/3355378.3355387 ◽

2019 ◽

Author(s):

Diogo J. Cardoso ◽

Luciana Foss ◽

Andre R. Du Bois

Keyword(s):

Transactional Memory ◽

Graph Transformation ◽

Software Transactional Memory ◽

Transformation System

Download Full-text

[email protected] at SemEval 2019 Task 1: Graph Transformation System from Stanford Basic Dependencies to Universal Conceptual Cognitive Annotation (UCCA)

10.18653/v1/s19-2013 ◽

2019 ◽

Author(s):

Dang Tuan Nguyen ◽

Trung Tran

Keyword(s):

Graph Transformation ◽

Transformation System

Download Full-text

Automatic Refinement of Platform Independent Models Using Graph Transformation System

2009 Fourth International Conference on Frontier of Computer Science and Technology ◽

10.1109/fcst.2009.116 ◽

2009 ◽

Author(s):

Sattar Hashemi ◽

M. R. ZadMiralvad

Keyword(s):

Graph Transformation ◽

Transformation System

Download Full-text

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification

Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development ◽

10.5220/0004321200620074 ◽

2013 ◽

Keyword(s):

Graph Transformation ◽

Transformation System ◽

Attributed Graph ◽

Software Modelling

Download Full-text

Warshall Based Detection of Conflicts and Dependencies in Graph Transformation System

10.1109/cise.2009.5364740 ◽

2009 ◽

Author(s):

Junbing Chen ◽

Zhijian Wang ◽

Si Qian ◽

Bo Chen

Keyword(s):

Graph Transformation ◽

Transformation System

Download Full-text

Spider Graphs: a graph transformation system for spider diagrams

Software & Systems Modeling ◽

10.1007/s10270-013-0381-1 ◽

2013 ◽

Vol 14 (4) ◽

pp. 1421-1453 ◽

Author(s):

Paolo Bottoni ◽

Andrew Fish ◽

Francesco Parisi Presicce

Keyword(s):

Graph Transformation ◽

Transformation System ◽

Spider Diagrams

Download Full-text

A Formal Approach using PEPA to Performance Analysis of Service-Oriented Architecture Style Specified through Graph Transformation System

International Journal of Computer Science and Engineering ◽

10.14445/23488387/ijcse-v5i7p104 ◽

2018 ◽

Vol 5 (7) ◽

pp. 21-29

Author(s):

Afshin Bamshadi ◽

Keyword(s):

Performance Analysis ◽

Service Oriented Architecture ◽

Graph Transformation ◽

Transformation System ◽

Formal Approach ◽

Service Oriented ◽

Architecture Style

Download Full-text

Bidirectional Model Transformations Using a Handcrafted Triple Graph Transformation System

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-319-62569-0_10 ◽

2017 ◽

pp. 201-220 ◽

Author(s):

Thomas Buchmann ◽

Sandra Greiner

Keyword(s):

Graph Transformation ◽

Model Transformations ◽

Transformation System

Download Full-text

An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms

KI 2009: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04617-9_26 ◽

2009 ◽

pp. 201-208 ◽

Author(s):

Hauke Tönnies

Keyword(s):

Evolutionary Algorithms ◽

Graph Transformation ◽

Transformation System ◽

Modelling Framework

Download Full-text

A Generative Design Method Based on a Graph Transformation System

10.1007/978-3-030-87897-9_33 ◽

2021 ◽

pp. 367-378

Author(s):

Grażyna Ślusarczyk ◽

Barbara Strug ◽

Ewa Grabska

Keyword(s):

Design Method ◽

Graph Transformation ◽

Transformation System ◽

Generative Design

Download Full-text