Outils pour utilisateurs
muc_2009_2010_lecture3
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | |||
|
muc_2009_2010_lecture3 [2010/01/05 08:22] tigli |
muc_2009_2010_lecture3 [2010/01/05 08:25] (Version actuelle) tigli |
||
|---|---|---|---|
| Ligne 41: | Ligne 41: | ||
| ===== Part 3 : Student Projects ===== | ===== Part 3 : Student Projects ===== | ||
| + | |||
| + | Students must provide : | ||
| + | * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code) | ||
| + | * A sample WComp assembly to illustrate how this proved component works. | ||
| + | * A document with all necessary explanations | ||
| + | |||
| + | Put all these files and documents on a web site and send them to JY Tigli before february, the 1st, 2010. | ||
| + | |||
| Deadline : february, the 1st, 2010 | Deadline : february, the 1st, 2010 | ||
muc_2009_2010_lecture3.1262676131.txt.gz · Dernière modification: 2010/01/05 08:22 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
