Sökning: "runtime system"

Visar resultat 6 - 10 av 139 avhandlingar innehållade orden runtime system.

1. 6. System-Level Design of GPU-Based Embedded Systems

   Författare :Arian Maghazeh; Zebo Peng; Petru Ion Eles; Unmesh D. Bordoloi; Akash Kumar; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; GPU; GPGPU; embedded system; heterogeneous computing; system-level design;

   Sammanfattning : Modern embedded systems deploy several hardware accelerators, in a heterogeneous manner, to deliver high-performance computing. Among such devices, graphics processing units (GPUs) have earned a prominent position by virtue of their immense computing power. LÄS MER

3. 7. Concurrency Bugs : Characterization, Debugging and Runtime Verification

   Författare :Sara Abbaspour Asadollah; Hans Hansson; Tao Yue; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Concurrent software has been increasingly adopted in recent years, mainly due to the introduction of multicore platforms. However, concurrency bugs are still difficult to test and debug due to their complex interactions involving multiple threads (or tasks). Typically, real world concurrent software has huge state spaces. LÄS MER

4. 8. Secure System Virtualization : End-to-End Verification of Memory Isolation

   Författare :Hamed Nemati; Mads Dam; Gustavo Betarte; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; Cache attack; Security Monitor; Information Flow; Computer Science; Datalogi;

   Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER

5. 9. Runtime Monitoring for Safe Automated Driving Systems

   Författare :Ayhan Mehmed; Sasikumar Punnekkat; Michael Paulitsch; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Mass-produced passenger vehicles are one of the greatest inventions of the 20th century that significantly changed human lives. Several safety measures such as traffic signs, traffic lights, mandatory driver education, seat belts, airbags, and anti-lock braking systems were introduced throughout the years. LÄS MER

7. 10. Towards Runtime-Assisted Cache Management for Task-Parallel Programs

   Författare :Madhavan Manivannan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; task parallelism; cache hierarchy; runtime system; dead blocks; multi-core architecture; sharing patterns;

   Sammanfattning : Architects have adopted the shared memory model that implicitly manages cache coherence and cache capacity in hardware, mainly to aid programmability of multi-core architectures. The hardware mechanisms are however prone to inefficiencies because they are not tailored to the behavior of individual parallel applications. LÄS MER