Essays about: "Mark Håkansson"

Found 3 essays containing the words Mark Håkansson.

1. 1. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Mark Håkansson; [2022]
   Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

   Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

3. 2. Tillgången på födoresurser för pollinerande insekter i det skånska odlingslandskapet

   University essay from SLU/Dept. of Biosystems and Technology (from 130101)

   Author : Emma Håkansson; [2016]
   Keywords : biologisk mångfald; pollinering; skånskt jordbruk; biväxter; pollinerande insekter;

   Abstract : En litteratursökning har genomförts i syfte att kartlägga vilka födoresurser de pollinerande insekterna har att tillgå i det skånska odlingslandskapet. För att kunna ta reda på det beskrivs de grödor som odlas i Skåne och behöver eller gynnas av insektspollinering. READ MORE

4. 3. Finansiering av djurstallar

   University essay from SLU/Dept. of People and Society

   Author : Christian Håkansson; [2007]
   Keywords : stallar; finansiering; banklån;

   Abstract : Syftet med detta arbete är att kontrollera om det går att låna pengar till att bygga stallar för animalieproduktion även om det inte finns en gård bakom som det finns mark på. Anledningen till det är att jag tror att man blir en bättre producent om man specialiserar sig och inte håller på med allting. READ MORE