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 “"Houdini"”.
-
A Security Benchmarking Framework for Empirical Evaluation of Container Confinement
This thesis presents Houdini, a modular framework for empirically testing container confinement. Houdini executes scripted tests, called tricks, inside an isolated virtual machine to observe whether features like namespaces, cgroups, seccomp, and AppArmor are enforced at runtime. By simulating …
-
Learning inductive invariants using Winnow algorithm
… We compare our learning algorithm against Houdini and Sorcar by evaluating the algorithm on a subset of two different classes of benchmarks. The first class of benchmark is obtained from the GPUVerify tool, and the second class of benchmark is derived from Neider et al. (2018). On the …
-
Myths Of The House Theatre Of Chicago (2002-2007): A Dramaturgical Study Of Chicago's "next Big Thing"
… Terrible Tragedy of Peter Pan, Death and Harry Houdini, the three plays of The Valentine Trilogy and The Sparrow, this study aims to identify what elements are at work in The House's hero stories.</p>
-
A KINETIC SUN-SHADING SYSTEM FOR THE TROPICS : DYNAMIC INTERACTION BETWEEN THE SKIN AND ECOLOGY IN SINGAPORE
… system. An animation-based software, called Houdini analyzes the performance of the kinetic sunshades as it morphs to various optimizations. The geometric dimensions and kinetic movements (rotation) of the sunshades will be studied through the daylight hours of the day in Singapore’s tropical …