Sökning: "Larsen Kim"
Hittade 4 avhandlingar innehållade orden Larsen Kim.
1. Event Pattern Detection for Embedded Systems
Sammanfattning : 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. LÄS MER
2. Gender and physiology in ice hockey : a multidimensional study
Sammanfattning : 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. LÄS MER
3. Automatic Model Generation and Scalable Verification for Autonomous Vehicles : Mission Planning and Collision Avoidance
Sammanfattning : 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. LÄS MER
4. Regular Model Checking
Sammanfattning : 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. LÄS MER