Sökning: "Petru Ion Eles"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden Petru Ion Eles.

  1. 1. Parameterized Verification of Synchronized Concurrent Programs

    Författare :Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    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. 2. Test Optimization for Core-based System-on-Chip

    Författare :Anders Larsson; Erik Larsson; Zebo Peng; Petru Ion Eles; Nicola Nicolici; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    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

  3. 3. 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 :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

  4. 4. Security-Aware Design of Cyber-Physical Systems for Control Applications

    Författare :Rouhollah Mahfouzi; Petru Ion Eles; Zebo Peng; Samarjit Chakraborty; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    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

  5. 5. Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies

    Författare :Traian Pop; Petru Ion Eles; Zebo Peng; Luis Almeida; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Distributed embedded systems; Real-time analysis; Scheduling; Design optimisation; FlexRay; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : The growing amount and diversity of functions to be implemented by the current and future embedded applications (like, for example, in automotive electronics) have shown that, in many cases, time-triggered and event-triggered functions have to coexist on the computing nodes and to interact over the communication infrastructure. When time-triggered and event-triggered activities have to share the same processing node, a natural way for the execution support can be provided through a hierarchical scheduler. LÄS MER