Search for dissertations about: "soft constraints"

Showing result 6 - 10 of 31 swedish dissertations containing the words soft constraints.

  2. 6. Sources of Dust Extinction in Type Ia Supernovae : Measurements and constraints from X-rays to the Infrared

    Author : Joel Johansson; Edvard Mörtsell; Ariel Goobar; Rahman Amanullah; Bruno Leibundgut; Stockholms universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; supernovae; interstellar dust; circumstellar dust; cosmology; fysik; Physics;

    Abstract : The use of Type Ia supernovae (SNe Ia) as distance indicators is essential for studying the expansion history of the Universe and for exploring the nature of dark energy. However, a lack of understanding of the progenitor systems and the empirically derived colour-brightness corrections represent severe limitations for SNe Ia as cosmological probes. READ MORE

  4. 7. Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing

    Author : Dimitar Nikolov; Institutionen för elektro- och informationsteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; soft errors; fault tolerance; real-time systems; checkpointing; reliability;

    Abstract : Increasing soft error rates in recent semiconductor technologies enforce the usage of fault tolerance. While fault tolerance enables correct operation in the presence of soft errors, it usually introduces a time overhead. READ MORE

  5. 8. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

    Author : Sofie Ahlberg; Dimos Dimarogonas; Knut Åkesson; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Agent Systems; Control Synthesis; Hard and Soft Constraints; Human-in-the-Loop; Automatic Control; Electrical Engineering; Elektro- och systemteknik;

    Abstract : With the increase of robotic presence in our homes and work environment, it has become imperative to consider human-in-the-loop systems when designing robotic controllers. This includes both a physical presence of humans as well as interaction on a decision and control level. READ MORE

  6. 9. Adaptive Middleware for Self-Configurable Embedded Real-Time Systems : Experiences from the DySCAS Project and Remaining Challenges

    Author : Magnus Persson; Martin Törngren; DeJiu Chen; Thiemo Voigt; KTH; []
    Keywords : adaptivity; embedded real-time systems; DySCAS; DyLite; quality of service QoS ; load balancing; resource constraints; model-based design; component-based design; software architecture; adaptive middleware;

    Abstract : Development of software for embedded real-time systems poses severalchallenges. Hard and soft constraints on timing, and usually considerableresource limitations, put important constraints on the development. Thetraditional way of coping with these issues is to produce a fully static design,i.e. READ MORE

  7. 10. Scheduling and Optimization of Fault-Tolerant Embedded Systems

    Author : Viacheslav Izosimov; Zebo Peng; Petru Eles; Anton Cervin; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Real-Time systems; Design optimization; Fault tolerance; Transient faults; Soft errors; Computer and systems science; Data- och systemvetenskap;

    Abstract : Safety-critical applications have to function correctly even in presence of faults. This thesis deals with techniques for tolerating effects of transient and intermittent faults. Reexecution, software replication, and rollback recovery with checkpointing are used to provide the required level of fault tolerance. READ MORE