|
|
 |
|
|
|
|
|
|
| Detalji |
| Projekt: |
Logičke i matematičke osnove računarstva |
| Voditelj: |
Dean Rosenzweig |
| Ustanova: |
Fakultet strojarstva i brodogradnje, Zagreb |
| Sažetak: |
Predvidjamo 2 glavna smjera istraživanja.
Polazište prvog smjera je okolnost da je nedostatno razumijevanje operativne semantike paralelnih procesa glavna prepreka adekvatnoj primjeni višeprocesorskih i višejezgrenih računalnih arhitektura, koje prema konsenzusu struke jedine još mogu dovesti do ozbiljnog napretka u performansi. Hipoteza je da eksperimentalni programski jezik AsmL, razvijen u Microsoft Research, uz adekvatnu prilagodbu teoriji interaktivnih algoritama kako ju razvijaju Y.Gurevich, A.Blass, glavni istraživač i drugi, može biti adekvatna platforma za ovladavanje arhitekturama bliske budućnosti. Stoga nastavljamo s istraživanjem teorije interaktivnih algoritama, te konceptualnih osnova i implementacijskih strategija za interaktivnu verziju jezika AsmL.
Drugi smjer je nastavak dosadašnjeg rada na modeliranju apstraktne kriptografije sredstvima teorije apstraktnih strojeva Y.Gurevicha, uspostavi odnosa s konkretnim kriptografskim postupcima, i razvoju izvedenih alata za verifikaciju sigurnosnih svojstava protokola i sustava. |
|
|
|
|
|
|
|
