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 3 of 3 for “"Bifrost"”.
-
Achieving network resiliency using sound theoretical and practical methods
… of a networked system. We therefore introduce BiFrost, an open-source tool that aims to verify safety and security proper- ties about data-plane programs. BiFrost translates data-plane programs into functionally equivalent sequential circuits, and then uses well-established hardware reduction, …
-
The Luxembourg film industry seen through the lense of Porter's theories on competition and performance
… Larusdottir Advisor: Bjarni Jonsson Institute: Bifrost University Course: Master Thesis in International Business – 30 credits Purpose: The purpose of this study is to extract the key success factors for a Luxembourg Film Company by doing analysis of the Luxembourg film industry. Methodology: …
-
Development and Characterization of an Interprocess Communications Interface and Controller for Bipedal Robots
… system, implemented with the internally created Bifrost IPC, developed by Team VALOR for the DARPA Robotics Challenge (DRC) with the high level software developed by Team ViGIR that uses the Robot Operating System (ROS) IPC framework. The Valor ROS Controller also acts as a robot controller …