Search for dissertations about: "Temporal Properties"

Showing result 1 - 5 of 346 swedish dissertations containing the words Temporal Properties.

  1. 1. Procedure-Modular Verification of Temporal Safety Properties

    Author : Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal 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. 2. Body movement as material : Designing temporal expressions

    Author : Linnea Bågander; Clemens Thornquist; Lise Amy Hansen; Högskolan i Borås; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Design; body; body as material; fashion design; performing arts; temporal form; practice-led research; design methods; motion design; Textiles and Fashion Design ; Textil och mode konstnärlig ;

    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. 3. Temporal properties of spoken Swedish

    Author : Bertil Lyberg; Stockholms universitet; []
    Keywords : HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; Svenska; Fonetik;

    Abstract : .... READ MORE

  4. 4. Road Surface and Tyre Interaction : Functional Properties affecting Road Dust Load Dynamics and Storage

    Author : Joacim Lundberg; Sigurdur Erlingsson; Mats Gustafsson; Xavier Querol; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; Road dust; Road abrasion wear; Studded tyre abrasion wear; Texture; Emissions; Abrasion wear model; NORTRIP; PM10; Particles; Stone Mastic Asphalt – SMA; Porous Pavements; Double Layered Porous Asphalt Concrete – DLPAC; Road traffic noise; Rolling Resistance; Friction; Holistic; Function; Functional properties; Functional demands; Temporal variation; Spatial variation; Vägdamm; Vägslitage; Dubbdäcksslitage; Textur; Emissioner; Slitagemodell; NORTRIP; PM10; Partiklar; Asfaltsbetong; stenrik - ABS; Dränerande beläggning; Dubbeldränerande beläggning; Buller; Rullmotstånd; Friktion; Holistisk; Funktion; Funktionskrav; Tidsvariation; Rumsvariation; Byggvetenskap; Civil and Architectural Engineering; Building Materials; Byggnadsmaterial;

    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. 5. The Impact of Application and Architecture Properties on Real-Time Multiprocessor Scheduling

    Author : Jan Jonsson; Chalmers University of Technology; []
    Keywords : real-time scheduling; multiprocessor architectures; architecture properties; application properties; performance evaluation; predictability;

    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