Differences
This shows you the differences between two versions of the page.
|
mgs_tutorial_applications [2012/08/27 15:31] giavitto created |
mgs_tutorial_applications [2012/08/27 15:31] (current) giavitto [Non-rewriting based] |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| === Blob computing === | === Blob computing === | ||
| - | === Proto | + | === Proto === |
| - | === Data parallelism | + | === Data parallelism === |
| ===== Transition Systems and Verifications ===== | ===== Transition Systems and Verifications ===== | ||
