JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Piste :
muc_2009_2010

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
muc_2009_2010 [2010/01/20 07:15] – tiglimuc_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* may be :  
-  * MessageBox Function () 
-  * DialogBox Function () 
-  * TexttoSpeech function () 
-  * Beep function ()  
-  *  
-  * ... (you can find other functions in [[http://msdn.microsoft.com/en-us/library/aa383686(VS.85).aspx|Win32 API]]) 
-anykind of function that allows to see and bring to light, the result of your synchronization mecanism  
  
 +===== Students List =====
  
-==== Final Examination ==== +  - ABDELMOULA    Mariem      
- +  - ARNAOUT Rayan 
- +  - BAKLOUTI      Raoudha  
-Students must : +  - BALOUET Thomas 
-  * compose groups of 3 to 4 students  +  - BAMBA Inza 
-  * choose 5 papers in the list below and send to JY Tigli by email (tigli@polytech.unice.fr) the list of the students in the group and the 5 chosen papers, before wenesday the 20th of january, in the evening.  +  - BEN ABU Jeremy 
- +  - BOUCHEHBOUN Raad 
-The 21 th of january, the list below will be completed with one group for each paper. +  - CARMOUCHE Samy 
- +  - CARRILLO Oscar 
-Then, each group of students must : +  - CHEN YanWen 
- +  - CHOUNGMO FOFACK Nicaise Eric 
-  * provide an abstract of the read paper (no more than 2 pages, ACM Format).    +  - CHOURY Vincent 
-  * give a talk presentation on their paper during 15 minutes (+5 minutes for questions) on february the 2nd in the morning between 8h30 and 12h45. +  - COLOMBIÉ Steve 
-  * put the abstract and the slides of their talk on a web site and send the url to JY Tigli (tigli@polytech.unice.fr) before  february, the 2nd, 2010. +  - DUPIN Stéphane 
- +  - FERRARI  Martín Hernán 
- +  - JOUBERT Florent 
-**Deadline : february, the 15th, 2010** +  - LE CLERE Thomas 
- +  - MAKKE Ali Hassan 
-^ Student Name      ^ Cursus (SI5 / Uibnet)        ^ Project Number          ^ Project Titlte ^ Subject       ^ +  - MATRAH Karim 
-|   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  | +  - MODRZEJEWSKI Remigiusz Jan 
-|  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 | +  - NGUYEN Phuong Thao 
-| leclere - soussi     |  |  2   | Arbitration | Arbitration between input events  | +  - NICOLAS Cyprien 
-|  Sami Raad  |  |  3   | Average   | Average value is emitted from the values of input events | +  - RAAD Sami 
-|  CHOUNGMO FOFACK  |  |  4   | Moving average  | Average value is emitted from the values of input events  | +  - REINA Giuseppe 
-|    |  |  5* | Function* Allaccess  | returned value of one external DLL function is emitted when all value parameters  are available (triggered on all input events) | +  - ROUINI Amine 
-|    |  |  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) | +  - SALMIN Claudio 
-|    |  |  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) | +  - SOUSSI El Houari 
-|    |  |  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) | +  - THEROUDE Nicolas 
-|    |  |  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 ) | +  - THIBAULT Emilie 
-|    |  |  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) | +  - TREPIER Stéphane 
-|    |  |  11   |   |   | +  - TRICHET-FOUGERE Laurie 
-|    |  |  12   |   |   | +  - TROVATO Alexandre 
-|    |  |  13   |   |   | +  - TUAN Tran Thai 
-|    |  |  14   |   |   | +  - ZARATI Aymen
-|    |  |  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* may be :  +
-  * MessageBox Function () +
-  * DialogBox Function () +
-  * TexttoSpeech function () +
-  * Beep function ()  +
-  *  +
-  * ... (you can find other functions in [[http://msdn.microsoft.com/en-us/library/aa383686(VS.85).aspx|Win32 API]]) +
-anykind of function that allows to see and bring to light, the result of your synchronization mecanism +
  
muc_2009_2010.1263971754.txt.gz · Dernière modification : 2010/01/20 07:15 de tigli