Search for dissertations about: "Petru Ion Eles"
Showing result 1 - 5 of 8 swedish dissertations containing the words Petru Ion Eles.
-
1. Parameterized Verification of Synchronized Concurrent Programs
Abstract : 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. READ MORE
-
2. Performance and Security Analysis for GPU-Based Applications
Abstract : 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. READ MORE
-
3. Test Optimization for Core-based System-on-Chip
Abstract : 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. READ MORE
-
4. System-Level Design of GPU-Based Embedded Systems
Abstract : 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. READ MORE
-
5. Security-Aware Design of Cyber-Physical Systems for Control Applications
Abstract : 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. READ MORE