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 4 of 4 for “"enabling programs"”.

  1. Language and compiler support for stream programs

    Stream programs represent an important class of high-performance computations. Defined by their regular processing of sequences of data, stream programs appear most commonly in the context of audio, video, and digital signal processing, though also in networking, encryption, and other areas. Stream …

    mit Repository record for Language and compiler support for stream programs (opens in a new tab)

  2. Enhancing availability and security through boundless memory blocks

    … automatically eliminates buffer overflow errors, enabling programs to continue to execute through memory errors without memory corruption. Buffer overflow vulnerabilities are caused by programming errors that allow an attacker to cause the program to write beyond the bounds of an allocated memory …

    mit Repository record for Enhancing availability and security through boundless memory blocks (opens in a new tab)

  3. Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language

    … target for languages such as C, C++, and Rust, enabling programs written in these languages to be compiled and executed efficiently on the Web. WebAssembly’s specification is managed by the W3C WebAssembly Working Group (made up of representatives from a number of major tech companies). …

    cambridge Repository record for Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language (opens in a new tab)