Sökning: "krav och press"

Visar resultat 1 - 5 av 28 avhandlingar innehållade orden krav och press.

  1. 1. Architecture-Based Verification of Dependable Embedded Systems

    Författare :Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Sammanfattning : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. LÄS MER

  2. 2. Styrning som stöttning : en etnografisk fallstudie om en högstadielärares didaktiska ledarskap som stödstruktur för språk- och kunskapsutveckling

    Författare :Hanna Simola; Eva Sundgren; Karin Sheikhi; Lise Iversen Kulbrandstad; Mälardalens högskola; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; HUMANIORA; HUMANITIES; didactical leadership; the teacher’s leadership; leadership in the classroom; language- and knowledge-development working methods; scaffolding; the nearest development zone; interaction; positive learning climate; educational conditions of multilingual and newly-arrived pupils; didaktiskt ledarskap; lärarens ledarskap; ledarskap i klassrummet; språk- och kunskapsutvecklande arbetssätt; stöttning; den närmaste utvecklingszonen; interaktion; positivt lärandeklimat; flerspråkiga och nyanlända elevers utbildningsvillkor; Didactics; didaktik;

    Sammanfattning : I den här licentiatuppsatsen undersöks en lärares arbete med språk- och kunskapsutveckling i ett högstadieklassrum. Syftet är att belysa betydelsen av det didaktiska ledarskapet i undervisningen av nyanlända och flerspråkiga elever. LÄS MER

  3. 3. Timing and Schedulability Analysis of Real-Time Systems using Hidden Markov Models

    Författare :Anna Friebe; Thomas Nolte; Alessandro Papadopoulos; Filip Markovic; Liliana Cucu-Grosjean; Mälardalens universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : In real-time systems functional requirements are coupled to timing requirements, a specified event needs to occur at the appropriate time.  In order to ensure that timing requirements are fulfilled, there are two main approaches, static and measurement-based. LÄS MER

  4. 4. Battlefields of memory : The Macedonian conflict and Greek historical culture

    Författare :Erik Sjöberg; Daniel Lindmark; Mohammad Fazlhashemi; Antonis Liakos; Klas-Göran Karlsson; Umeå universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Greece; history; 20th century; historical culture; uses of history; Macedonian question; historiography; nationalism; genocide; identity politics; Grekland; historia; 1900-talet; historiekultur; historiebruk; den makedonska frågan; historiografi; nationalism; folkmord; identitetspolitik; historia; History; Makedoniska frågan; Macedonian question; Nordmakedonien; Grekland;

    Sammanfattning : In 1991, a diplomatic controversy arose between Greece and the newly independent Republic of Macedonia, regarding naming, minority rights and the use of historical symbols. The claims of the new state to the name Macedonia and the historical heritage associated with it were perceived as a threat against Greek national identity and history itself. LÄS MER

  5. 5. Embedded high-resolution stereo-vision of high frame-rate and low latency through FPGA-acceleration

    Författare :Carl Ahlberg; Mikael Ekström; Ignacio Bravo Munoz; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer vision; stereo vision; FPGA; embedded systems; Computer Science; datavetenskap;

    Sammanfattning : Autonomous agents rely on information from the surrounding environment to act upon. In the array of sensors available, the image sensor is perhaps the most versatile, allowing for detection of colour, size, shape, and depth. For the latter, in a dynamic environment, assuming no a priori knowledge, stereo vision is a commonly adopted technique. LÄS MER