Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

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 the url to JY Tigli (To : tigli@polytech.unice.fr, Subject : [MUC Project] ) before february, the 15th, 2010.

Deadline : february, the 15th, 2010

Student Name Cursus (SI5 / Uibnet) Project Number Project Titlte Subject
Remigiusz Modrzejewski and Martín Ferrari 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 et 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
Stéphane Dupin et Laurie Trichet-Fougère 5 Function MessageBox / Oneaccess
Stephane Trepier 6 Function MessageBox / Allaccess
Samy Carmouche et Vincent Choury 7 Function TextToSpeech OneAccess
Thao Nguyen 8 project Function 10*, with the following function: node OneaccessNewvalue(customer_arrival: bool) returns (seat_num: int); With this function, I model a automatic checker at the entrance of a cinema. Assuming that the customer has an electronic ticket with the information of seat number written on it.
Mariem Abdelmoula 9 Function MessageBox / Allaccess
Nicolas Theroude 10 Function TextToSpeech AllAccess
Giuseppe Reina & Claudio Salmin 11 Function Beep/ Oneaccess
Tuan Tran Thai 12 Function beep/ AllAccess
Emilie Thibault et Alexandre Trovato 13 Fonction DialogBox AllAccess
ZARATI Aymen et BAKLOUTI Raoudha 14 MessageBox Thisaccess
Steve Colombié, Karim Matrah 15 Function Beep/ Oneaccess
Cyprien NICOLAS 16 DialogBox / OneAccess
Amine Rouini 17 MessageBox AllaccessNewvalue
Benabu Jeremy et Florent Joubert 18 DialogBox / OneAccess
Rayan ARNAOUT et Thomas BALOUET 19 fonction MessageBeep (http://msdn.microsoft.com/en-us/library/ms680356(VS.85).aspx) en allaccess
Ali Makke 20 Function Beep/This access
Oscar Carillo 21 light access
Yanwen Chen 22 Function Dialogbox/All Access
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
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)

Function* may be :

  • MessageBox Function ()
  • DialogBox Function ()
  • TexttoSpeech function ()
  • Beep function ()
  • … (you can find other functions in Win32 API)

anykind of function that allows to see and bring to light, the result of your synchronization mecanism

student_project_web_page.txt · Dernière modification: 2010/01/27 18:19 par tigli
Piste: Student Projects
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0