Št. zadetkov: 74
Diplomsko delo
Oznake:
odvisni tipi;pravilnost programov;programski jezik Idris;
Formalno dokazovanje pravilnosti programov se v ključnih primerih izvaja ročno. Programski jeziki z odvisnimi tipi kot logična ogrodja predstavljajo avtomatizirano alternativo ročnemu preverjanju pravilnosti. V tem diplomskem delu obravnavamo sisteme tipov ter programske jezike z odvisnimi tipi. ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
digitalni;mikrofluidika;biočip;sinteza;računalništvo;računalništvo in informatika;univerzitetni študij;diplomske naloge;
Sinteza digitalnih mikrofluidnih biočipov
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
deduplikacija;datotečni sistem;kopiraj ob pisanju;računalništvo;visokošolski strokovni študij;računalništvo in informatika;diplomske naloge;
V diplomskem delu je predstavljeno področje deduplikacije podatkov. Razloženi so osnovni koncepti, povezani okrog področja deduplikacije in predstavljeni glavni inženirski problemi, na katere naletimo pri snovanju ali uporabi deduplikativnih sistemov. Glavni poudarek je na deduplikaciji podatkov na ...
Leto:
2014
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
NET platforma;.NET interoperabilnost;Component Object Model;Automation;Win32;Platform Invocation Services;
.NET platforma predstavlja zelo pomemben element Windows sistema. Zaradi svoje vsestranskosti, bogatega sklada tehnologij ter velikega števila podprtih jezikov, je večinoma izrinila starejše tehnologije in tako postala primarna tehnologija za razvijanje aplikacije na operacijskem sistemu Microsoft W ...
Leto:
2015
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
urejanje;podatki;algoritmi;
V diplomskem delu je predstavljeno področje zunanjega urejanja. V nalogi je opisanih in primerjanih več algoritmov za zunanje urejanje, kako se obnašajo ter katere so njihove prednosti in slabosti. Algoritmi, ki jih primerjamo so navadno večsmerno zlivanje, navadno uravnoteženo zlivanje, naravno ura ...
Leto:
2015
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
odločitveni problem;uganka;računska zahtevnost;NP-polnost;prevedba;računalništvo;računalništvo in informatika;računalništvo in matematika;univerzitetni študij;diplomske naloge;interdisciplinarni študij;
Najtežje probleme v NP imenujemo NP-polni problemi, za njih pa trenutno velja, da jih ne znamo rešiti v polinomskem času. NP-polne odločitvene probleme najdemo na različnih področjih, od teorije grafov, do izjavne logike, nadalje pa velja, da ob odkritju rešitve enega od problemov znamo rešiti tudi ...
Leto:
2016
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
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)
Diplomsko delo
Oznake:
podobnost;različnost;mera podobnosti;primerjanje nizov;poravnava nizov;razdalja urejanja;najdaljše skupno podzaporedje;računalništvo;računalništvo in informatika;računalništvo in matematika;univerzitetni študij;diplomske naloge;interdisciplinarni študij;
Diplomska naloga Mere podobnosti nizov proučuje problem primerjanja nizov, kjer nas zanimajo ujemanja, ki dovoljujejo tudi napake. Takšnemu problemu pravimo tudi problem približnega ujemanja nizov in njegov bistveni del je definicija modela napak ter s tem izbira mere podobnosti oz. različnosti. V n ...
Leto:
2016
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
sistemsko programiranje;programska oprema;programski jezik;
Večina operacijskih sistemov je napisanih v programskem jeziku C. Podobno je s sistemsko programsko opremo, kot so npr. gonilniki, prevajalniki, razhroščevalniki, preverjevalniki diskov ipd. V zadnjem času se je pojavilo nekaj programskih jezikov, ki naj bi bili primerni tudi za sistemsko programira ...
Leto:
2016
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)
Diplomsko delo
Oznake:
drevo;izomorfizem;algoritem.;
V diplomskem delu so predstavljeni algoritmi za preverjanje enakovrednosti, oz. izomorfnosti dreves. Definirana so drevesa, opisani so osnovni koncepti drevesnih obhodov, podane so podrobnosti algoritmov za drevesni izomorfizem, med katerimi sta bolj podrobno predstavljena algoritma za izomorfizem n ...
Leto:
2016
Vir:
Fakulteta za računalništvo in informatiko (UL FRI)