Sökning: "soft constraints"
Visar resultat 6 - 10 av 31 avhandlingar innehållade orden soft constraints.
6. Sources of Dust Extinction in Type Ia Supernovae : Measurements and constraints from X-rays to the Infrared
Sammanfattning : 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. LÄS MER
7. Fault Tolerance for Real-Time Systems: Analysis and Optimization of Roll-back Recovery with Checkpointing
Sammanfattning : 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. LÄS MER
8. Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
Sammanfattning : 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. LÄS MER
9. Adaptive Middleware for Self-Configurable Embedded Real-Time Systems : Experiences from the DySCAS Project and Remaining Challenges
Sammanfattning : 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. LÄS MER
10. Scheduling and Optimization of Fault-Tolerant Embedded Systems
Sammanfattning : 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. LÄS MER