Différences

Ci-dessous, les différences entre deux révisions de la page.

--- muc_2009_2010 [2010/01/19 11:13] – tigli
+++ muc_2009_2010 [2010/02/24 13:38] (Version actuelle) – tigli
@@ Ligne 43: / Ligne 43: @@
+====Lecture 6 : Tutorial on Aspect of Assembly ====
-==== Student Projects ====
+  * Date : January, 26th 2010
+  * Instructor : M. Gautier
+  * Duration : 3h
+Ressources : [[MUC_2009_2010_lecture6 | Lecture6 ]]
-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 the url to JY Tigli (tigli@polytech.unice.fr) before  february, the 15th, 2010.
+===== Students Project =====
+[[Student Project Web Page]]
-Deadline : february, the 15th, 2010
+===== Final Examination =====
-^ Student Name      ^ Cursus (SI5 / Uibnet)        ^ Project Number          ^ Project Titlte ^ Subject       ^
+[[Final Examination Web Page]]
-|   Remigiusz Modrzejewski  |  |  0   | Barrier  | A barrier is a type of synchronization method. A barrier for a group of event means any event must stop at this point and cannot proceed until all other events  reach this barrier  |
-|  Bamba Inza  |  |  1   | Lock  | A lock is a synchronization mechanism for enforcing limits on access to a resource in an environment where there are many threads of execution. Locks are one way of enforcing concurrency control policies. Only one event is emitted at at time |
-| leclere - soussi     |  |  2   | Arbitration | Arbitration between input events  |
-|  Sami Raad  |  |  3   | Average   | Average value is emitted from the values of input events |
-|  CHOUNGMO FOFACK  |  |  4   | Moving average  | Average value is emitted from the values of input events  |
-|    |  |  5* | Function* Allaccess  | returned value of one external DLL function is emitted when all value parameters  are available (triggered on all input events) |
-|    |  |  6* | Function* Oneaccess  | returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events) |
-|    |  |  7* | Function* Thisaccess  | returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events) |
-|    |  |  8* | Function* AllaccessNewvalue  | new returned value of one external DLL function is emitted when all value parameters  are available (triggered on all input events and state change) |
-|    |  |  9* | Function* OneaccessNewvalue  | new returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events and state change ) |
-|    |  |  10* | Function* OneaccessNewvalue  | new returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events and state change) |
-|    |  |  11   |   |   |
-|    |  |  12   |   |   |
-|    |  |  13   |   |   |
-|    |  |  14   |   |   |
-|    |  |  15   |   |   |
-|    |  |  16   |   |   |
-|    |  |  17   |   |   |
-|    |  |  18   |   |   |
-|    |  |  19   |   |   |
-|    |  |  20   |   |   |
-|    |  |  21   |   |   |
-|    |  |  22   |   |   |
-|    |  |  23   |   |   |
-|    |  |  24   |   |   |
-|    |  |  25   |   |   |
-|    |  |  26   |   |   |
-|    |  |  27   |   |   |
-|    |  |  28   |   |   |
-|    |  |  29   |   |   |
-|    |  |  30   |   |   |
-|    |  |  31   |   |   |
-|    |  |  32   |   |   |
-|    |  |  33   |   |   |
-|    |  |  34   |   |   |
-|    |  |  35   |   |   |
-|    |  |  36   |   |   |
-|    |  |  37   |   |   |
-|    |  |  38   |   |   |
-|    |  |  39   |   |   |
-Function* can be :
-MessageBox Function ()
+===== Students List =====
-DialogBox Function ()
-TexttoSpeech function ()
+  - ABDELMOULA   	Mariem
-...
+  - ARNAOUT	Rayan
-anykind of function that allows to see the result of your synchornization mecanism
+  - BAKLOUTI      Raoudha
+  - BALOUET	Thomas
+  - BAMBA	Inza
+  - BEN ABU	Jeremy
+  - BOUCHEHBOUN	Raad
+  - CARMOUCHE	Samy
+  - CARRILLO	Oscar
+  - CHEN	YanWen
+  - CHOUNGMO FOFACK	Nicaise Eric
+  - CHOURY	Vincent
+  - COLOMBIÉ	Steve
+  - DUPIN	Stéphane
+  - FERRARI 	Martín Hernán
+  - JOUBERT	Florent
+  - LE CLERE	Thomas
+  - MAKKE	Ali Hassan
+  - MATRAH	Karim
+  - MODRZEJEWSKI	Remigiusz Jan
+  - NGUYEN	Phuong Thao
+  - NICOLAS	Cyprien
+  - RAAD	Sami
+  - REINA	Giuseppe
+  - ROUINI	Amine
+  - SALMIN	Claudio
+  - SOUSSI	El Houari
+  - THEROUDE	Nicolas
+  - THIBAULT	Emilie
+  - TREPIER	Stéphane
+  - TRICHET-FOUGERE	Laurie
+  - TROVATO	Alexandre
+  - TUAN	Tran Thai
+  - ZARATI	Aymen