Sökning: "internal temporal properties"

Visar resultat 6 - 10 av 20 avhandlingar innehållade orden internal temporal properties.

1. 6. Towards a Predictable Component-Based Run-Time System

   Författare :Rafia Inam; Mikael Sjödin; Jukka Mäki-Turja; Tullio Vardanega; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; real-time systems; component based software engineering; hierarchical scheduling; Computer Science; datavetenskap;

   Sammanfattning : In this thesis we propose a technique to preserve the temporal properties of realtime components during their integration and reuse. We propose a new concept of runnable virtual node which is a coarse-grained real-time component that provides functional and temporal isolation with respect to its environment. LÄS MER

3. 7. Hierarchical scheduling for predictable execution of real-time software components and legacy systems

   Författare :Rafia Inam; Mikael Sjödin; Jukka Mäki-Turja; Moris Behnam; Giuseppe Lipari; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; real-time systems; component integration and reuse; hierarchical scheduling; multicore; Computer Science; datavetenskap;

   Sammanfattning : This dissertation presents techniques to achieve predictable execution of coarse-grained software components and for preservation of temporal properties of components during their integration and reuse.The dissertation presents a novel concept runnable virtual node (RVN) which interaction with the environment is bounded both by a functional and a temporal interface, and the validity of its internal temporal behaviour is preserved when integrated with other components or when reused in a new environment. LÄS MER

4. 8. Participles in Time. The Development of the Perfect Tense in Swedish

   Författare :Ida Larsson; Göteborgs universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; Scandinavian syntax; Swedish; language change; tense; aspect; perfect; participle; supine; resultative; unaccusativity; auxiliary selection;

   Sammanfattning : This thesis concerns the syntactic-semantic development of the perfect tense from a construction with possessive HAVE and a tenseless participial complement. Both participles and auxiliary are assumed to have internal syntactic structure, and the different perfect-type constructions can thus be related synchronically and diachronically to each other. LÄS MER

5. 9. Low power synthesis of BDD mapped circuits

   Författare :Mikael Kerttu; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial Electronics; Industriell elektronik;

   Sammanfattning : Power consumption is an important design constraint for circuits used in portable devices. In this thesis an analytic approach to minimize the power dissipation of Binary Decision Diagram (BDD) mapped digital circuits is presented. LÄS MER

7. 10. Towards Safer and Risk-aware Motion Planning and Control for Robotic Systems

   Författare :Fernando S. Barbosa; Jana Tumova; Stephen Smith; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; Datalogi;

   Sammanfattning : Safety and risk-awareness are important properties for robotic systems, be it for protecting them from potentially dangerous internal states, or for avoiding collisions with obstacles and environmental hazards in disaster scenarios. Ensuring safety may be the role of more than one algorithmic layer in a system, each with varying assumptions and guarantees. LÄS MER