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 1 of 1 for “"Web page decomposition"”.
-
Building abstractions for fast, secure, reliable computer systems
… data plane level, exploiting data parallelism in web pages, and formally verifying security invariants in operating system kernels. This dissertation presents the design, implementation, and evaluation of the above systems, and shows that choosing the proper set of abstractions is an essential …