Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Virtual File System"”.
-
Model Checking Pointer Safety in Compiled Programs
… drivers. An in-depth case study on the Linux Virtual File System illustrates that the SOCA technique can be applied to verify program properties beyond pointer safety. Our evaluation testifies SOCA's suitability as an effective and efficient bug-finding tool.
-
Úložiště Gentoo Portage jako souborový systém založený na relační databázi
Práce ze zabývá implementací programu, který pomocí knihovny FUSE dokáže zpřístupnit data v relační databázi jako klasické úložiště Gentoo Portage. Čtenář je nejdříve seznámen s jeho strukturou. V práci je popsána analýza požadavků na program a dabázi, dále jejich návrh a v předposlední kapitole je …