Sökning: "klee"
Visar resultat 1 - 5 av 10 uppsatser innehållade ordet klee.
1. Methods from Linear Algebra for the Enumeration of Spanning Trees
Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)Sammanfattning : In this report, we study the enumeration of spanning trees in graphs, using two methods withinlinear algebra, Kirchhoff’s Matrix Tree Theorem and an alternative method, also referred to asLemma 1, derived by S. Klee and M.T Stamps in [KS20]. LÄS MER
2. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : 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. LÄS MER
3. Control Flow Based Static Execution Time Analysis Using Symbolic Execution
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. LÄS MER
4. Calculation of WCET with symbolic execution
Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknikSammanfattning : Calculating WCET for schedulability analysis of RTIC applications is today performed with a hybrid approach with both static analysis of code and hardware measurements. A fully static analysis tool would allow for a easier integration into a CI/CD pipeline without the actual hardware. LÄS MER
5. AI in Marketing – Curse or Blessing? : Impacts of Programmatic Advertising and Personalized Content on Society
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : With the help of Programmatic Advertising and the resulting personalized content, consumers can be targeted precisely and with the help of Artificial Intelligence. The associated use of customer data creates ethical conflicts. LÄS MER