Sirvi Autor "Apinis, Kalmer" järgi

Nüüd näidatakse 1 - 3 3

Lõimeanalüüs Goblintis
(Tartu Ülikool, 2011) Laanemets, Raivo; Vene, Varmo; Vojdani, Vesal; Apinis, Kalmer; Tartu Ülikool. Matemaatika-informaatikateaduskond; Tartu Ülikool. Arvutiteaduse instituut
C-keelsetes programmides lõimede loomise/lõpetamise struktuuri staatiline analüüs.
Programmianalüüs Goblint raamistikus
(Tartu Ülikool, 2009) Apinis, Kalmer; Vene, Varmo, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
Staatilise analüsaatori Goblinti regioonianalüüsi täiendamine aja partitsioneerimisega happens-before teabe alusel
(2016) Rõtov, Vootele; Vojdani, Vesal; Apinis, Kalmer
Seadmedraiverite ehk ohjurite paralleelne olemus muudab\n\rnendest vigade leidmise inimese jaoks väga keeruliseks. Staatiline analüsaator\n\rGoblint üritab automaatselt verifitseerida, et ohjuris puuduvad andmejooksud.\n\rSealjuures on suureks väljakutseks analüüsi täpsus. Käesolev töö arendab edasi\n\rGoblinti regioonianalüüsi, mis võimaldab arvesse võtta valdkonnale eriomaseid\n\rhappens-before tagatisi. Väljapakutud täienduse implementeerimise ning\n\rmuudatuste mõju analüüsimise aluseks on võetud Linuxi ohjurite alamhulk. Me\n\rnäitame, et mainitud edasiarendus suurendab Goblinti täpsust character tüüpi\n\rohjurite analüüsimisel.