Avancerad sökning
Visar resultat 1 - 5 av 8 avhandlingar som matchar ovanstående sökkriterier.
1. Parameterized Verification of Synchronized Concurrent Programs
Sammanfattning : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. LÄS MER
2. Performance and Security Analysis for GPU-Based Applications
Sammanfattning : Graphics Processing Units (GPUs) are becoming more and more prevalent in general-purpose computing. GPUs are used in areas from embedded systems to super-computing. LÄS MER
3. Test Optimization for Core-based System-on-Chip
Sammanfattning : The semiconductor technology has enabled the fabrication of integrated circuits (ICs), which may include billions of transistors and can contain all necessary electronic circuitry for a complete system, so-called System-on-Chip (SOC). In order to handle design complexity and to meet short time-to-market requirements, it is increasingly common to make use of a modular design approach where an SOC is composed of pre-designed and pre-verified blocks of logic, called cores. LÄS MER
4. System-Level Design of GPU-Based Embedded Systems
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
5. Security-Aware Design of Cyber-Physical Systems for Control Applications
Sammanfattning : With cyber-physical systems opening to the outside world, security can no longer be considered a secondary issue. In this work, we focus on security threats to control applications in cyber-physical systems. LÄS MER