Sökning: "temporal properties"
Visar resultat 1 - 5 av 377 avhandlingar innehållade orden temporal properties.
1. Procedure-Modular Verification of Temporal Safety Properties
Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER
2. Body movement as material : Designing temporal expressions
Sammanfattning : Movement and temporal qualities have a significant effect on design expressions. However, in the design of dress these are often overlooked, and the static form of a positioned body is considered to be the main driver of design. This work explores the expressions of the body in motion, engaged in the interaction constituted by wearing. LÄS MER
3. Temporal properties of spoken Swedish
Sammanfattning : .... LÄS MER
4. Road Surface and Tyre Interaction : Functional Properties affecting Road Dust Load Dynamics and Storage
Sammanfattning : Luftburna partiklar (PM) är ett problem för människans hälsa, där flertalet samband mellan negativa hälsoeffekter finns mellan luftföroreningar finns, bland annat för respiratoriska sjukdomar, lungcancer och kardiovaskulära sjukdomar med flera. I länder där dubbdäck används, till exempel Sverige, Finland och Norge, och sandning av vägar och gator genomförs vintertid för att säkerställa god friktion kommer en betydande andel av partiklarna från vägslitage och nedkrossning av sand vilket bidrar till PM10. LÄS MER
5. The Impact of Application and Architecture Properties on Real-Time Multiprocessor Scheduling
Sammanfattning : Guaranteeing the temporal correctness of a real-time system is a very challenging problem since application and architecture properties may be hard to model accurately. For example, modern computer architectures are typically equipped with mechanisms, such as cache memories and instruction pipelines, whose behavior are by nature stochastic. LÄS MER