Sökning: "Mjukvara"
Visar resultat 1 - 5 av 78 avhandlingar innehållade ordet Mjukvara.
1. Advancements in stratified flows through simulation, experiment and open research software development
Sammanfattning : Two studies of two-dimensional models of flows influenced by stratification and stratification/rotation are carried out in order to investigate whether a two-dimensional model can reproduce a downscale energy cascade with an associated k − 5/3 wavenumber spectrum. Firstly, a series of highly resolved numerical simulations of the classical shallow water model is carried out. LÄS MER
2. Enhancing Physics Learning through Instruction, Technical Vocabulary and ICT : A Case of Higher Education in Rwanda
Sammanfattning : The overarching aim of this thesis is to explore how teaching and learning in tertiary education is performed in times of change both in language policy and learning approaches. The study takes social constructivist and socio-cultural theories as its major points of departure. LÄS MER
3. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code
Sammanfattning : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. LÄS MER
4. Languages and Tools for Optimization of Large-Scale Systems
Sammanfattning : Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. LÄS MER
5. Automated Deductive Verification of Safety-Critical Embedded Software
Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER