Sökning: "Dependable Communication and Computation Systems"

Visar resultat 11 - 15 av 34 avhandlingar innehållade orden Dependable Communication and Computation Systems.

1. 11. Model-Integrated Engineering of Smart Energy Distribution Systems

   Författare :Nikolai Galkin; Valeriy Vyatkin; Chen-Wei Yang; Tatiana Liakh; Joao Martins; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Model-Based Systems Engineering (MBSE) is a method that is used to support analysis, design, independent verification, and validation inherent in the development of software and hardware systems. MBSE applications are present in many areas of our daily lives, including manufacturing, robotics, healthcare, automation, etc. LÄS MER

3. 12. Garbage collecting reactive real-time systems

   Författare :Martin Kero; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : As real-time systems become more complex, the need for more sophisticated runtime kernel features arises. One such feature that substantially lessens the burden of the programmer is automatic memory management, or garbage collection. However, incorporating garbage collection in a real-time kernel is not an easy task. LÄS MER

4. 13. Garbage collection for reactive real-time systems

   Författare :Martin Kero; Roger Henriksson; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Predictable use of resources, such as processor time and memory, is a desirable property for virtually any computer system. In real-time computing, static predictability is of particular concern. LÄS MER

5. 14. Creating and maintaining topologies in wireless networks

   Författare :Tomas Johansson; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : Wireless ad-hoc networks differs in many aspects compared to traditional infrastructured networks. Among other things, individual nodes cannot be expected to know the topology of the entire network. LÄS MER

7. 15. The Euclidean traveling salesman problem with neighborhoods and a connecting fence

   Författare :Håkan Jonsson; Luleå tekniska universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

   Sammanfattning : An important class of problems in robotics deals with the planning of paths. In this thesis, we study this class of problems from an algorithmic point of view by considering cases where we have complete knowledge of the environment and each solution must ensure that a point-sized robot capable of moving continuously and turning arbitrarily accomplishes the following: (1) visits a given set of objects attached to an impenetrable simple polygon in the plane, and (2) travels along a path of minimum length over all the possible paths that visit the objects without crossing the polygon. LÄS MER