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 7 of 7 for “"WebAssembly"”.
-
Julia in WebAssembly
WebAssembly is a modern binary instruction format that enables highly performant program execution in sandboxed execution environments. WebAssembly modules can be run natively in web browsers, or within lightweight, isolated, server-side runtimes. This project explores applications of WebAssembly …
-
Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language
WebAssembly is the first new programming language to be supported natively by all major Web browsers since JavaScript. It is designed to be a natural low-level compilation target for languages such as C, C++, and Rust, enabling programs written in these languages to be compiled and executed …
-
Browserify: Empowering Consistent and Efficient Application Deployment across Heterogeneous Mobile Devices
… on low-end devices. The recent rise of the WebAssembly has shed some light on the two challenges. WebAssembly is a young low-level programming language supported by every modern browser. WebAssembly promises to deliver signi cantly higher performance than Javascript and is designed to have …
-
Verkkoselaimen rajapinnat ja niiden hyödyntäminen selainpeleissä ja selainpelimoottoreissa
… ovat alkaneet tukea uusia HTML5-, WebGL- ja WebAssembly rajapintoja. Nämä rajapinnat mahdollistavat useita tärkeitä asioita peleille kuten laitteistokiihdytetyn 3D-grafiikan esittämisen, suorituskykyisen koodin suorittamisen ja esimerkiksi peliohjaimen tilan lukemisen. Tutkielma on …
-
Privilege-Separating Embedded Applications using Web Assembly in the Plat FIDO2 Security Key
… in the embedded context, Plat uses a new WebAssembly-based toolchain for ARM microcontrollers to implement and enforce isolation between individual components of an existing system without rewriting drivers and application code. This toolchain includes special support for device drivers, …
-
Lightweight Formal Methods for Correct, Efficient Systems Programming
… a popular production compiler infrastructure for WebAssembly where miscompilation bugs can cause serious security vulnerabilities. In sum, these projects point to a future where lightweight formal methods help us build compilers for fast and reliable computer systems.
-
Přenositelné vývojové prostředí pro YARA-X
Cílem této práce je vytvořit webové vývojové prostředí a související softwarové komponenty v rámci projektu YARA-X. Zatímco většina stávajících řešení je založena na cloud architektuře, tato práce se zaměřuje na vytvoření řešení, které není závislé na vzdáleném serveru a je schopné poskytovat …