Search for dissertations about: "Temporal Properties"
Showing result 1 - 5 of 372 swedish dissertations containing the words Temporal Properties.
-
1. Procedure-Modular Verification of Temporal Safety Properties
Abstract : 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. READ MORE
-
2. Body movement as material : Designing temporal expressions
Abstract : 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. READ MORE
-
3. Temporal properties of spoken Swedish
Abstract : .... READ MORE
-
4. Road Surface and Tyre Interaction : Functional Properties affecting Road Dust Load Dynamics and Storage
Abstract : 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. READ MORE
-
5. The Impact of Application and Architecture Properties on Real-Time Multiprocessor Scheduling
Abstract : 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. READ MORE