Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors
A framework for the Dependability analysis of UML-based system designs with maintenance › Rendszerintegráció és -felügyelet laboratórium › Back-annotation of Simulation Traces with Change-Driven Model Transformations › Advanced Techniques and Tools in Secure Collaborative Modeling › A modellvezérelt szoftvertervezés alapjai ›

incremental graph pattern matching - RETE - benchmarking

A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation

  • incremental graph pattern matching - RETE - benchmarking
  • Viatra
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation", Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
PDF: 
application/pdf iconFull text
  • BibTex
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster