Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
muc_2009_2010 [2010/01/20 08:19] tigli |
muc_2009_2010 [2010/02/24 14:38] 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 2nd, 2010** | + | - LE CLERE Thomas |
- | + | - MAKKE Ali Hassan | |
- | === Format of the final Paper === | + | - MATRAH Karim |
- | + | - MODRZEJEWSKI Remigiusz Jan | |
- | The final paper will be in ACM format, with 4 pages of length, in english. | + | - NGUYEN Phuong Thao |
- | Templates of such format can be found at http://www.acm.org/sigs/publications/proceedings-templates | + | - NICOLAS Cyprien |
- | + | - RAAD Sami | |
- | === Students Projects References === | + | - REINA Giuseppe |
- | + | - ROUINI Amine | |
- | + | - SALMIN Claudio | |
- | ^ Project ^ Context ^ References ^ | + | - SOUSSI El Houari |
- | |RUNES : Reconfigurable Ubiquitous Networked Embedded Systems |IST project (Europe) | http://www.ist-runes.org/ | | + | - THEROUDE Nicolas |
- | |AMIGO : Ambient intelligence for the networked home environment | IST project (Europe)| http://www.hitech-projects.com/euprojects/amigo/ | | + | - THIBAULT Emilie |
- | | OXYGEN | MIT Project (USA) | http://www.oxygen.lcs.mit.edu/ | + | - TREPIER Stéphane |
- | | GAIA | University of Illinois at Urbana-Champaign (USA) | http://gaia.cs.uiuc.edu/| | + | - TRICHET-FOUGERE Laurie |
- | | Ambient-oriented programming | Vrije Universiteit Brussel (VUB) project (Belgium) | http://prog.vub.ac.be/amop/start | | + | - TROVATO Alexandre |
- | | e-World Lab | University of South-Australia |http://e-world.unisa.edu.au/ | | + | - TUAN Tran Thai |
- | | Mobile Ubiquitous Services & Technologies Group |University of Technology of Sydney (Australia) |http://www-staff.it.uts.edu.au/~peterl/mobilelab/| | + | - ZARATI Aymen |
- | | COMPOR Project | Universidade_Federal_de_Campina_Grande (Brazil) |http://wiki.compor.net/index.php/Home| | + | |
- | | WASP Design Programming Model and Secure Enterprise Integration Component | IST project | http://www.hitech-projects.com/euprojects/wasp/| | + | |
- | | OPENCOM | Lancaster University Project (UK) | http://www.comp.lancs.ac.uk/computing/research/mpg/reflection/opencom.php | | + | |
- | | COMPADRES | University of California (USA) | http://doc.ece.uci.edu/compadres/ and http://www.springerlink.com/content/4384tg3q6uh08074/| | + | |
- | | XPCOM (Cross-Platform Component Object Model) |Mozilla Fundation |http://www.mozilla.org/projects/xpcom/ | | + | |
- | | EQUATOR Component Toolkit (ECT) | Interdisciplinary Research Collaboration (IRC) of EPSRC (Engineering and Physical Sciences Research Council) in UK |http://www.equator.ac.uk/index.php/articles/578 and http://equip.sourceforge.net/| | + | |
- | | MARCH (Mobilising Advanced Technology for Care at Home) | GIST (Glasgow Interactive Systems) group, University of Glasgow (UK) | http://www.dcs.gla.ac.uk/~mcgeemr/MATCH.html | | + | |
- | | BEACH (Basic Environment for Active Collaboration with Hypermedia)| Integrated Publication and Information Systems Institute (Darmstadt, Germany) |http://www.ipsi.fraunhofer.de/ambiente/english/projekte/software/beach.html| | + | |
- | | Fosstrak (RFID Software Platform) | ETH Zurich, pervasive computing project (Switzerland) |http://www.vs.inf.ethz.ch/res/show.html?what=fosstrak and http://www.fosstrak.org/| | + | |
- | |Smartive Project| National Institute of Informatics Project - Honiden Lab, University of Tokyo (Japan) |http://smartive.jp/eng/index.htm| | + | |
- | |OSRG Project| Distributed Computing Lab (Nakajima Lab), Waseda University (Japan)|http://www.dcl.info.waseda.ac.jp/groups/osrg.html| | + | |
- | |CORTEX, CO-operating Real-time senTient objects | IST Project (Europ) | http://cortex.di.fc.ul.pt/ | | + | |
- | |SAFRAN| INRIA Project OBASCO |http://ralyx.inria.fr/2006/Raweb/obasco/uid44.html | | + | |
- | |CAMidO| GET INT | http://www-public.int-edu.eu/~taconet/LibreService/Publis/PosterEuIroSys06.pdf| | + | |
- | |WSAMI: A Middleware Infrastructure for Ambient Intelligence based on Web Services | INRIA Project ARLES |http://www-rocq.inria.fr/arles/download/ozone/index.htm| | + | |
- | + | ||
- | + | ||
- | + | ||
- | === Teams and Projects === | + | |
- | + | ||
- | ^ Project ^ ^ Student 1 ^ Student 2 ^ Student 3 ^ Student 4 ^ URL of the Team ^ | + | |
- | |RUNES : Reconfigurable Ubiquitous Networked Embedded Systems|1|jannotta|barafani|antonell|ngalea|http://projet.pfe.free.fr/middleware/| | + | |
- | |AMIGO : Ambient intelligence for the networked home environment|2|aknouche|dilet|lafois| |http://its-services.fr/~benjamin/IAM-POLYTECH/ | | + | |
- | |OXYGEN|3|alberto|boulay|galanti| |http://courswiki.essi.fr/IAM01/Oxygen| | + | |
- | |GAIA|4|soutade|monteiro|algay| |http://dedale.eu.org/~soutade/IAM01/wiki/doku.php?id=start | | + | |
- | |Ambient-oriented programming|5|brel|borg|dupain| |http://www.polytech.unice.fr/~brel/middleware/| | + | |
- | |e-World Lab|6|jguillau|guiou|ennabli| |http://tchitchoubyne.free.fr/EWorld| | + | |
- | |WASP Design Programming Model and Secure Enterprise Integration Component|7|serme|stperrin|cocucci| |https://244.homedns.org/~stephane/mediawiki-1.12.0/index.php/WASP| | + | |
- | |OPENCOM|8|burckel|leance|weissbar| |http://www.weissbart.com/fr/openCom.html| | + | |
- | |XPCOM (Cross-Platform Component Object Model)|9|vallois| | | |http://courswiki.polytech.unice.fr/EmmanuelVallois/XPCOM| | + | |
- | |EQUATOR Component Toolkit (ECT)|10|esteves|inghille| | |http://www.polytech.unice.fr/~esteves/IAM-MIDDLEWARE/| | + | |
- | |BEACH (Basic Environment for Active Collaboration with Hypermedia)|11|palacin|marting|martarello| |http://martarello.free.fr/beach/| | + | |
- | |Fosstrak (RFID Software Platform)|12|poccioli|maubert|schambac| |http://fox1preps.free.fr/IAM/| | + | |
- | |COMPADRES|13|tlebrun|chalmeto| | |http://www.polytech.unice.fr/~chalmeto/ubiquitous/doc.html| | + | |
- | |Mobile Ubiquitous Services & Technologies Group|14|chalumea|vannucci|yecine06| |http://achalumeau.neuf.fr/iam01/index.html| | + | |
- | |COMPOR Project| | | | | | | | + | |
- | |Smartive Project| | | | | | | | + | |
- | |OSRG Project| | | | | | | | + | |
- | + | ||
- | + | ||
- | === Examination Session (12 Feb 2009) === | + | |
- | + | ||
- | ^ Schedule ^ Project ^ ^ Student 1 ^ Student 2 ^ Student 3 ^ Student 4 ^ | + | |
- | | 13h30 - 13h50 |RUNES : Reconfigurable Ubiquitous Networked Embedded Systems|1|jannotta|barafani|antonell|ngalea| | + | |
- | | 13h50 - 14h10 |AMIGO : Ambient intelligence for the networked home environment|2|aknouche|dilet|lafois| | | + | |
- | | 14h10 - 14h30 |OXYGEN|3|alberto|boulay|galanti| | | + | |
- | | 14h30 - 14h50 |GAIA|4|soutade|monteiro|algay| | | + | |
- | | 14h50 - 15h10 |Ambient-oriented programming|5|brel|borg|dupain| | | + | |
- | | 15h10 - 15h30 |e-World Lab|6|jguillau|guiou|ennabli| | | + | |
- | | 15h30 - 15h50 |WASP Design Programming Model and Secure Enterprise Integration Component|7|serme|stperrin|cocucci| | | + | |
- | | 15h50 - 16h10 |OPENCOM|8|burckel|leance|weissbar| | | + | |
- | | 16h10 - 16h30 |XPCOM (Cross-Platform Component Object Model)|9|vallois| | | | | + | |
- | | 16h30 - 16h50 |EQUATOR Component Toolkit (ECT)|10|esteves|inghille| | | | + | |
- | | 16h50 - 17h10 |BEACH (Basic Environment for Active Collaboration with Hypermedia)|11|palacin|marting|martarello| | | + | |
- | | 17h10 - 17h30 |Fosstrak (RFID Software Platform)|12|poccioli|maubert|schambac| | | + | |
- | | 17h30 - 17h50 |COMPADRES|13|tlebrun|chalmeto| | | | + | |
- | | 17h50 - 18h10 |Mobile Ubiquitous Services & Technologies Group|14|chalumea|vannucci|yecine06| | | + | |