|
|
|
|
|
|
|
|
|
|
|
| |
|
|
| |
|
|
|
Erlang programok refaktorálása
|
|
Csoport
|
1
|
|
Honlap
|
http://plc.inf.elte.hu/erlang/
|
|
Téma
|
-
Refaktorálás: Erlang nyelven készített programok jelentésmegőrző átalakítására szolgáló keretrendszer fejlesztése
-
Hatásanalízis: refaktorálási lépések vagy egyéb változtatások forráskódra illetve tesztekre gyakorolt hatásainak elemzése |
|
Ismeretek
|
|
|
Feladatok
|
- Erlang forráskód környezetfüggő formázása
- Erlang szeletelő prototípus készítése
- Eclipse felhasználói felület fejlesztése (főleg Java nyelven)
|
|
|
|
|
|
|
|
|
F# programok analízise
|
|
Csoport
|
3
|
|
Honlap
|
http://plc.inf.elte.hu/fsharp/
|
|
Téma
|
A projekt keretében F# programozási nyelven készített forrásprogramok elemzésével foglalkozunk. Ennek során célunk egy olyan keretrendszer létrehozása, amely megkönnyíti a nyelvhez különböző elemző és refaktoráló eszközök létrehozását. Ehhez kapcsolódóan elkezdtük egy saját lexer, parser, és egy Visual Studio AddIn fejlesztését, valamint implementáltunk metrikákat. |
|
Ismeretek
|
Fordítóprogramok (lex, yacc); funkcionális programozás (OCaml, SML, Haskell/Clean); Microsoft .NET; Microsoft Visual Studio |
|
Feladatok
|
Várható feladatok:
- A keretrendszer továbbfejlesztése
- F# programok erőforráshasználatának elemzése
|
|
|
|
Fordítóprogram DSP célú programozási nyelvhez
|
|
Csoport
|
5
|
|
Honlap
|
http://dsl4dsp.inf.elte.hu/
|
|
Téma
|
Feladatunk fordítóprogramot írni egy fejlesztés alatt álló funkcionális programozási nyelvhez. A nyelvet egy svéd kutatócsoport fejleszti, célja digitális jelfeldolgozásban használt algoritmusok magas szintű, hardware-független leírása. A forító Haskellben készül, egy adatfolyam-gráfot kell minél hatékonyabb C kódra fordítania, kihasználva az egyes cél-architektúrák által biztosított optimalizációs lehetőségeket. |
|
Ismeretek
|
Haskell, C programozási ismeretek és/vagy digitális jelfeldolgozásban való jártasság |
|
Feladatok
|
2009 őszi félévtől:
- a fordítóprogram előfeldolgozó moduljának implementációja (felhasználva a ghc egyes moduljait)
2009 tavasz félévtől várhatóan:
- többmagos processzorokra történő optimalizációval kapcsolatos feladatok
|
|
|
|
Distributed Agent-Based Modelling
|
|
Csoport
|
6
|
|
Honlap
|
http://distributedabm.elte.hu/
|
|
Téma
|
Célunk ágens-alapú szimulációk elosztott futtatását támogató módszerek fejlesztése. Témakörök:
- elosztott implementációs technikák összehasonlítása
- kommunikációs költségeket minimalizáló gráfvágások
- a kommunikációs költségek futás közbeni csökkentése dinamikus kapcsolati gráfok esetén
- magas szintű modellformalizációs technikák hatékonysága
- modellek automatikus párhuzamosítása
|
|
Ismeretek
|
|
|
Feladatok
|
- Ágens-alapú modellekben alkalmazott kommunikációs gráfok optimális partícionálása
- Partícionáló algoritmusok keresése/hatékonyság mérése/algoritmusok fejlesztése
- Gráf generáló szoftver modul készítése vagy integrációja
- Gráf kezelő modul fejlesztése vagy kiegészítése
- Szimulációs modell implementálása
- Tanulmányi rendszert szimuláló modell fejlesztése
- Adócsalási viselkedést szimuláló modell újraimplementálása, verifikálása
- Közlekedési szimulációs keretrendszer refaktorálása: elosztott futtatás lehetővé tétele
- Modelldefiníciós és modellreprezentációs módszerek vizsgálata
- Modelldefiníciós módszerek implementálása, fejlesztése Eclipse keretrendszerben
- Kódgeneráló pluginok fejlesztése Eclipse keretrendszerben
|
|
|
|
Java AST
|
|
Csoport
|
6
|
|
Honlap
|
| |
Téma
|
|
|
Ismeretek
|
|
|
Feladatok
|
|
|
| |
| Edit in Browser | /_layouts/images/icxddoc.gif | /hu/laborok/_layouts/formserver.aspx?XsnLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | FileType | xsn | 255 | | Edit in Browser | /_layouts/images/icxddoc.gif | /hu/laborok/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document | 255 | | Edit in Browser | /_layouts/images/icxddoc.gif | /hu/laborok/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.2 | 255 | | Edit in Browser | /_layouts/images/icxddoc.gif | /hu/laborok/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.3 | 255 | | Edit in Browser | /_layouts/images/icxddoc.gif | /hu/laborok/_layouts/formserver.aspx?XmlLocation={ItemUrl}&OpenIn=Browser | 0x0 | 0x1 | ProgId | InfoPath.Document.4 | 255 | | View in Web Browser | /_layouts/images/ichtmxls.gif | /hu/laborok/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsx | 255 | | View in Web Browser | /_layouts/images/ichtmxls.gif | /hu/laborok/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&DefaultItemOpen=1 | 0x0 | 0x1 | FileType | xlsb | 255 | | Snapshot in Excel | /_layouts/images/ewr134.gif | /hu/laborok/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsx | 256 | | Snapshot in Excel | /_layouts/images/ewr134.gif | /hu/laborok/_layouts/xlviewer.aspx?listguid={ListId}&itemid={ItemId}&Snapshot=1 | 0x0 | 0x1 | FileType | xlsb | 256 |
|
|
|
|
| |
|
|
|