Search for dissertations about: "Larsen Kim"
Found 4 swedish dissertations containing the words Larsen Kim.
-
1. Event Pattern Detection for Embedded Systems
Abstract : Events play an important role in many computer systems, from small reactive embedded applications to large distributed systems. Many applications react to events generated by a graphical user interface or by external sensors that monitor the system environment, and other systems use events for communication and synchronisation between independent subsystems. READ MORE
-
2. Gender and physiology in ice hockey : a multidimensional study
Abstract : Background That men are prioritised over women has been called the “gender regime in sport”, and has in part been explained by the gender difference in performance. However, gender differences in physical performance between women and men can be debated to depend on how comparisons are made and on the fact that there are many different confounders that may influence the results. READ MORE
-
3. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Abstract : Autonomous vehicles such as mobile driver-less construction equipment bear the promise of increased safety and industrial productivity by automating repetitive tasks and reducing manual labor costs. These systems are usually involved in safety- or mission-critical scenarios, therefore they require thorough analysis and verification. READ MORE
-
4. Regular Model Checking
Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE