Sökning: "Computer Science with specialization in Real Time Systems"

Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Computer Science with specialization in Real Time Systems.

  1. 1. Improving Low-Power Wireless Protocols with Timing-Accurate Simulation

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Fredrik Österlind; Uppsala universitet.; Uppsala universitet.; SICS.; [2011]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap med inriktning mot datorkommunikation; Computer Science with specialization in Computer Communication; Low-Power Wireless Protocols; Wireless Sensor Networks; Contiki; Cooja; Simulation;

    Sammanfattning : Low-power wireless technology enables numerous applications in areas from environmental monitoring and smart cities, to healthcare and recycling. But resource-constraints and the distributed nature of applications make low-power wireless networks difficult to develop and understand, resulting in increased development time, poor performance, software bugs, or even network failures. LÄS MER

  2. 2. Real-Time Workload Models Expressiveness vs. Analysis Efficiency

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Martin Stigge; Uppsala universitet.; Uppsala universitet.; [2014]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time Systems;

    Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER

  3. 3. Models and Complexity Results in Real-Time Scheduling Theory

    Detta är en avhandling från Uppsala : Acta Universitatis Upsaliensis

    Författare :Pontus Ekberg; Uppsala universitet.; Uppsala universitet.; [2015]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; Scheduling theory; Task models; Computational complexity; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

    Sammanfattning : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. LÄS MER

  4. 4. Hierarchical Modeling and Analysis of Real Time Systems

    Detta är en avhandling från Uppsala : Institutionen för informationsteknologi

    Författare :Alexandre David; Uppsala universitet.; Uppsala universitet.; [2003]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science with specialization in Real Time Systems; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. LÄS MER

  5. 5. Towards content distribution in opportunistic networks

    Detta är en avhandling från Uppsala University

    Författare :Thabotharan Kathiravelu; Uppsala universitet.; Uppsala universitet.; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Datavetenskap med inriktning mot datorkommunikation; Computer Science with specialization in Computer Communication;

    Sammanfattning : Opportunistic networking is a new communication paradigm. Content Distribution in opportunistic networks is challenging due to intermittent connectivity, short connection durations and a highly dynamic topology. Research is needed to develop new applications and protocols that can distribute content in opportunistic networks. LÄS MER