Sökning: "Petru Eles"

Visar resultat 6 - 10 av 43 avhandlingar innehållade orden Petru Eles.

1. 6. A Study of Combinatorial Optimization Problems in Industrial Computer Systems

   Författare :Markus Bohlin; Björn Lisper; Per Kreuger; Mikael Sjödin; Petru Eles; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi; Computer Science; datavetenskap;

   Sammanfattning : A combinatorial optimization problem is an optimization problem where the number of possible solutions are finite and grow combinatorially with the problem size. Combinatorial problems exist everywhere in industrial systems. LÄS MER

3. 7. Enhancing TSN Adoption by Industry : Tools to Support Migrating Ethernet-based Legacy Networks into TSN

   Författare :Daniel Bujosa Mateu; Seyed Mohammad Hossein Ashjaei; Julián Proenza; Alessandro Papadopoulos; Thomas Nolte; Petru Eles; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Legacy support; TSN.; Computer Science; datavetenskap;

   Sammanfattning : New technologies present opportunities and challenges for industries. One major challenge is the ease, or even feasibility, of its adoption. The Time-Sensitive Networking (TSN) standards offer a range of features relevant to various applications and are key for the transition to Industry 4.0. LÄS MER

4. 8. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems

   Författare :Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Computer systems; Real-time embedded systems; Petri nets; Semantics; Computer science; Datavetenskap;

   Sammanfattning : Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness. LÄS MER

5. 9. Verification and Scheduling Techniques for Real-Time Embedded Systems

   Författare :Luis Alejandro Cortés; Zebo Peng; Petru Eles; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer systems; Embedded computer systems; real-time systems; Computer science; Datavetenskap;

   Sammanfattning : Embedded computer systems have become ubiquitous. They are used in a wide spectrum of applications, ranging from household appliances and mobile devices to vehicle controllers and medical equipment. LÄS MER

7. 10. Parameterized Verification of Synchronized Concurrent Programs

   Författare :Zeinab Ganjei; Ahmed Rezine; Petru Ion Eles; Zebo Peng; Alastair Donaldson; Linköpings universitet; []
   Nyckelord :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