Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 3
Sledenje programom v operacijskem sistemu Linux
David Mohar, Jurij Mihelič
Diplomsko delo
Oznake: testiranje;Linux;sistemski klic;sledenje;prestrezanje;ptrace;računalništvo;računalništvo in informatika;računalništvo in matematika;univerzitetni študij;diplomske naloge;interdisciplinarni študij;
V diplomskem delu bomo pokazali, kako lahko tehniko sledenja programom uporabimo ne samo za razhroščevanje, ampak tudi kot dodatno orodje pri njenem testiranju, ki je dandanes zelo pomemben del razvoja. V prvem delu je predstavljenega nekaj teoretičnega ozadja o testiranju programske opreme in delov ...
Leto: 2016 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Verifying time complexity of Turing machines
David Gajser, Sergio Cabello, Bojan Mohar
Doktorska disertacija
Oznake: Turing machine;relativization;NP-completeness;crossing sequence;decidability;lower bound;time complexity;running time;linear time;
Osrednji problem v disertaciji je sledeč: "Naj bo ▫$T \colon \mathbb{N} \rightarrow \mathbb{R}_{\,\geq 0}$▫ poljubna funkcija. Kako težko je preveriti, ali je časovna zahtevnost danega Turingovega stroja ▫$T(n)$▫? Je to sploh mogoče preveriti?" Naš prvi večji prispevek pove, da je za vse "normalne" ...
Leto: 2015 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Spremembe in zgradba zgornje gozdne meje na Snežniku
Jan Mohar, Matija Klopčič, David Hladnik
Diplomsko delo
Oznake: zgornja gozdna meja;sestojna meja;Snežnik;vzdolžni profil;sestojna zgradba;
Diplomsko delo obravnava spremembe v pomiku zgornje gozdne meje (ZGM) med letoma 1954 in 2015 ter zgradbo ZGM preko analize vzdolžnih profilov terena in vegetacije v glavnih smereh neba in analize sestojne zgradbe in sestave na začasnih raziskovalnih ploskvah. Aktualno ZGM smo določili z uporabo lid ...
Leto: 2021 Vir: Biotehniška fakulteta (UL BF)
Št. zadetkov: 3
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: