Advanced search

Showing result 1 - 5 of 372 swedish dissertations matching the above criteria.

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

   Author : Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
   Keywords : 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

4. 2. Body movement as material : Designing temporal expressions

   Author : Linnea Bågander; Clemens Thornquist; Lise Amy Hansen; Högskolan i Borås; []
   Keywords : 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

5. 3. Temporal properties of spoken Swedish

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

   Abstract : .... READ MORE

6. 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 : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; 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

7. 5. The Impact of Application and Architecture Properties on Real-Time Multiprocessor Scheduling

   Author : Jan Jonsson; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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