Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
VIATRA2/Benchmarks
< VIATRA2
Revision as of 06:58, 9 July 2008 by Bergmanngabor.gmail.com (Talk | contribs) (→Object-relational mapping benchmark (field: model synchronisation))
The following benchmark cases demonstrate the performance of the VIATRA2 framework. Additionally, the first one has been elaborated in great detail to aid the learning and understanding of VIATRA2.
Contents
Mutual exclusion (A Varró benchmark)
The mutual exclusion benchmark
Petri-net model simulation benchmark
The Petri-net simulation bechmark
Object-relational mapping benchmark (field: model synchronisation)
Object-relational mapping benchmark