lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/memory2/readme-memory2.txt @ 2d37a1e1
| 1 | b8dc00eb | bourbouh | Sources for benchmarks: |
|---|---|---|---|
| 2 | |||
| 3 | ILLINOIS*, MESI*, MOESI*, SYNAPSE*: Based on problems by David Merchat |
||
| 4 | (courtesy of Anders Franzen) |
||
| 5 | |||
| 6 | |||
| 7 | Please note that many of these benchmarks contain deliberately introduced |
||
| 8 | modifications to alter their behaviors, and do not necessarily reflect the |
||
| 9 | original creator's design intentions. |