muc_2009_2010_lecture3
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
muc_2009_2010_lecture3 [2010/01/05 07:22] – tigli | muc_2009_2010_lecture3 [2010/01/05 07: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 | ||
+ | |||
Deadline : february, the 1st, 2010 | Deadline : february, the 1st, 2010 |
muc_2009_2010_lecture3.txt · Dernière modification : 2010/01/05 07:25 de tigli