|
1112. Operacijska semantika za jezik s časovno omejenimi viriGašper Žajdela, 2023, magistrsko delo/naloga Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija Celotno besedilo (datoteka, 521,90 KB) Gradivo ima več datotek! Več... |
|
1114. Paralelizacija grafovskih algoritmov v funkcijskih programskih jezikihTjaž Eržen, 2024, delo diplomskega seminarja/zaključno seminarsko delo/naloga Ključne besede: paralelizacija, grafovski algoritmi, funkcijski programski jeziki, OCaml, iskanje v širino (BFS), Dijkstrov algoritem, Floyd-Warshallov algoritem, večjedrno računanje Celotno besedilo (datoteka, 440,06 KB) |
|
|
|
|
1119. Določitev obremenitvenega stanja pri vklopu prestave v sekvenčnem menjalniku motornega kolesaMatija Gorela, 2023, diplomsko delo Ključne besede: menjalnik, motocikel, zobnik, prestave, sunek sile, kontaktne napetosti, Abaqus Celotno besedilo (datoteka, 2,01 MB) |
|